ANSYS SCADE Suite Capabilities

Advanced Model-Based Design

SCADE Suite Advanced Modeler provides software data flow and state machine design and simulation capabilities in a fully integrated environment. The environment connects with configuration management tools, SCADE Display, SCADE Architect, ANSYS Twin Builder, National Instruments Veristand™ and FMI compliant tools, and includes the following model-based design capabilities:

  • Intuitive and familiar graphical notation based on unlimited nesting of data flows and hierarchical state machines
  • Graphical decision diagrams
  • Array iterators to facilitate operator multi-instantiation and perform complex data processing
  • Model completeness and determinism guaranteed
  • Strongly-typed language
  • Static consistency checking
  • Easy reuse and readability of design
  • Efficient editing features, such as multiple connection drawing, navigation in model, search and unlimited undo
  • Semantic comparison of various versions of models, packages, operators, or state machines with location and reporting features
  • SCADE Suite library components: integrators, hysteresis, quantizers, filters, flip-flops, truth tables, look-up tables, matrix operators, etc.
  • Import of legacy code into designs
  • Read/write access to SCADE Suite project and model files via Eclipse Modeling Framework (EMF) or Tcl API
  • Wizard for script development

VIDEO: How does ANSYS SCADE Suite work?

SCADE Suite: Advanced Model-Based Design

Synchronization with Software Architecture Design

Integration of SCADE Architect and SCADE Suite provides you with tools for the complete software design process, from architecture to detailed design of components, including:

  • Evolution of architecture and design of software components in parallel and resynchronization upon request at chosen project milestones
  • Bi-directional synchronization between architecture models and design models
  • Consistent and efficient management of I/Os and data definitions and changes
  • No duplication of efforts in synchronizing interfaces defined at the architecture level and refined at the design level

VIDEO: Integrated Workflow for Software-intensive Embedded Systems

SCADE Suite: Synchronization with Software Architecture Design

Timing and Stack Size Optimization

SCADE Suite Timing and Stack Optimizer estimates the relative Worst Case Execution Time (WCET) or stack usage of tasks in an application. Based on estimation results, you can easily focus iteratively on the application parts that are causing long execution times or unsatisfactory memory usage, and refine the application profiling by optimizing SCADE Suite models and/or tune SCADE Suite KCG code generator options. SCADE Suite Timing and Stack Optimizer is powered by AbsInt aiT.

The Timing and Stack Optimizer provides:

  • Analysis of Worst Case Execution Time (WCET) and stack usage of a SCADE Suite application independently from the actual target platform
  • Iterative process to focus on application parts that are causing long execution times or unsatisfactory stack usage, and to refine the application profiling by optimizing SCADE Suite models
  • Comparison of results between optimization sessions reported in SCADE Suite design environment
  • Automatic and customizable detailed reporting
  • Easy comparison of code performance by fine-tuning KCG options

VIDEO: Introduction to the ANSYS SCADE Suite Tool

SCADE Suite: Timing and Stack Size Optimization

Simulating and Debugging

Once described with graphical and/or textual blocks in SCADE Suite, you can simulate a software design or any of its blocks. SCADE Suite simulation capabilities are based on the actual SCADE Suite generated code, and provide a powerful visual debugging environment that enables you to define stop conditions,set breakpoints within an execution cycle and examine the internal variables and output values. You can also record and play back scenarios. The ASCII format of the scenarios makes it easy to integrate the SCADE Suite simulation phase within existing workflows. SCADE Suite simulation tasks can be tailored and automated using the Tcl scripting language.

SCADE Suite simulation and debugging capabilities include:

  • Executable SCADE Suite designs
  • Detailed simulation of actual SCADE Suite-generated code
  • Scenario recording and playback
  • Early detection of specification errors
  • Automatic non-regression tests
  • Interactive and batch modes
  • Access to variables and probes for debugging in the graphical model
  • Breakpoints on control, data and time criteria
  • Support of SCADE Test Environment input formats
  • Co-simulation with MathWorks® Simulink® and MATLAB®
  • Simulation driven by Tcl scripts for complex customized scenarios
  • Slave mode for connection to your simulation environment and tools (co-simulation)
  • Functional Mock-up Unit export (32/64-bits) from SCADE Suite models for connection to ANSYS Twin Builder® and any FMI-compliant system simulation tools

VIDEO: How to Use the ANSYS SCADE Suite Simulator?

SCADE Suite: Simulating and Debugging

Design Verification

SCADE Suite Design Verifier (DV) is a verification assistant that formally expresses and assesses safety requirements, providing a productive way to find bugs early in the development process. Properties to verify are defined with SCADE itself. The boolean outputs are the proof objectives for DV, which then automatically produces counterexamples. DV can also be used to find division-by-zero operations.

SCADE Suite: Design Verification

Automatic Code Generation

SCADE Suite KCG is a C and Ada code generator from Scade models that has been qualified as a development tool for DO-178B software up to Level A and DO-178C/DO-330 at TQL-1; certified for IEC 61508 at SIL 3 and for EN 50128 at SIL 3/4; and qualified for ISO 26262 software up to ASIL D. This code generator saves verification effort in the coding phase, such as code reviews and low-level testing on the SCADE Suite KCG generated code. This productivity improvement shortens certification and/or modification time and effort. SCADE Suite KCG has successfully passed the qualification procedure on several large programs, and is currently used in production for a number of programs in Europe, Asia and the Americas.

Generated code properties

  • Fulfills embeddable code constraints: static memory allocation, static bounded loops, no recursion
  • Generates high quality and safe C and Ada production code: optimized, customizable, readable and traceable
  • Introduces no dead code
  • Produces portable code

Qualifiable/Certified SCADE Suite KCG 6.4

  • Qualifiable as a DO-330 TQL-1 tool under DO-178C
  • Qualifiable as a development tool under DO-178B
  • Qualified under ISO 26262:2011 at ASIL D and C
  • Certified under IEC 61508:2010 at SIL 3
  • Certified under EN 50128:2011 at SIL 3/4

SCADE Suite KCG 6.5

  • C and Ada code generation
  • Language and typing extensions (new iterators, bitwise operators, 8/16/32/64-bit numeric types (signed/ unsigned) and 32/64-bit floats

SCADE Suite KCG Ada Code Generator

  • Produces standard Ada 95 code that is compliant with SPARK 95.
  • Seamlessly fits into the development flows of existing Ada users.

Code Integration

  • Automatic integration of the generated code to Wind River® VxWorks® 653 and VxWorks® CERT, Green Hills® Software INTEGRITY™-178B, SYSGO PikeOS and other RTOSes
  • Customizable RTOS adaptors for generated code
  • ASAM MCD-2 MC code calibration capability linked to model

VIDEO: How does ANSYS SCADE Suite deal with Automatic Code Generation?

SCADE Suite: Automatic Code Generation

Best-in-class Qualification/Certification Support

The SCADE Suite toolkit offers a complete solution for the development of high-integrity embedded applications. The Scade language has been specifically designed in cooperation with customers and authorities to address high-integrity embedded applications.

The SCADE Suite KCG C and Ada code generator is qualified/certified as a DO-330 TQL-1 tool under DO-178C, ISO 26262:2011 at ASIL D and C, IEC 61508:2010 at SIL 3 and EN 50128:2011 at SIL 3/4. The tool itself has been developed following these standards.

The SCADE Suite C Compiler Verification Kit (CVK) is an integral part of Esterel Technologies Combined Testing Process. CVK is a test suite that contains all possible C constructs (and combinations of these constructs to a certain level of complexity) that can be generated by SCADE Suite KCG C Code Generator. CVK is used to verify that the target C compiler correctly compiles the C code generated by SCADE Suite. The objective of this verification is to obtain the required level of confidence that there is no discrepancy between Source and Object Code that can be introduced by compiler/linker, according to a procedure that obeys DO-178C. CVK supports early verification of the correctness and consistency between the development tools chain and the target platform. It demonstrates that the C code generated by SCADE Suite KCG is correctly compiled by the C target compiler and that the resulting code executes correctly on a given target platform. CVK also supports customizable automation execution scripts.

The DO-178B and C Certification Plans for SCADE Applications contain generic certification plans for embedded applications with either DO-178B or DO-178C objectives. These plans can be customized to the specific project environment and can then be audited by safety authorities (FAA, EASA, etc.). ANSYS experts can help with the customization.

SCADE Suite: Best-in-class Qualification/Certification Support

Systems Simulation Capabilities

SCADE Suite Advanced Modeler includes ANSYS Twin Builder Entry. Twin Builder is a powerful platform for modeling, simulating and analyzing virtual system prototypes. It enables product development teams to verify and optimize performance of their software-controlled, multidomain systems designs. Twin Builder also provides:

  • Flexible modeling capabilities and tight integrations with ANSYS solutions for 3-D multiphysics simulation and ANSYS SCADE products for embedded software design
  • Broad support for assembling system-level physical models and helping product development organizations connect conceptual design, detailed analysis and system verification

VIDEO: DC Motor Control Model Design in ANSYS SCADE Suite and ANSYS Twin Builder

SCADE Suite: Systems Simulation Capabilities

SCADE Tools Integration

SCADE Suite easily integrates with tools for systems architecture design, HMI development and testing and application lifecycle management, providing a complete environment for all embedded software development activities.

Synchronization with System Design

SCADE Suite enables you to refine software components based on structural system modeling in the SCADE Architect environment. This ensures:

  • Bi-directional synchronization between system models and software models
  • Consistent and efficient management of I/Os and data definitions and changes
  • No duplication of efforts in synchronizing interfaces defined at the system level and refined at the software level

Rapid Prototyping

SCADE Suite connection with SCADE Test Rapid Prototyper helps you to:

  • Design and build interactive graphical panels for SCADE Suite simulation sessions
  • Access a library of predefined and customizable widgets (controls and indicators)
  • Automatically generate executable applications for Windows, Apple iOS, or Android platforms
  • Generate 32/64-bit Functional Mock-up Units (FMU) for connection to ANSYS Twin Builder and FMI-compliant system simulation tools

Development of Embedded Human-Machine Interfaces (HMI)

SCADE Suite enables you to design the control logic associated with graphical HMIs designed in SCADE Display. Features include:

  • Co-design: Tight design-level integration of critical logic and graphic components in embedded applications
  • Co-simulation: Early prototyping and validation in white-box and black-box mode between display application logic and graphic components
  • Co-reporting: Integration of report generation between SCADE Suite models and SCADE Display graphical specifications
  • Co-generation: Integrated deployment of SCADE Suite and SCADE Display generated code

Application Life Cycle Management

SCADE Suite integration with SCADE LifeCycle provides the following capabilities:

  • Project monitoring with SCADE LifeCycle Dashboard to compute metrics reported on predefined and customizable dashboards
  • Requirements management and traceability with SCADE LifeCycle Requirements Management Gateway
  • Automatic documentation generation with SCADE LifeCycle Reporter
  • Integration with SCADE LifeCycle Reporter and SCADE LifeCycle Requirements Management Gateway shared with SCADE Display and SCADE Architect

VIDEO: Integrated Workflow for Software-intensive Embedded Systems

SCADE Suite: SCADE Tools Integration