Empowering High-Assurance Embedded Software Development
Tailored for developing critical embedded software systems, Ansys SCADE Suite supports Model-Based Systems Engineering (MBSE) principles, enabling the design, simulation, verification, and automatic generation of certified code for safety-critical applications. The suite integrates various tools: SCADE System for system modeling and architecture design, SCADE Display for Human-Machine Interface (HMI) design, and SCADE Suite KCG (Kernel Code Generator) for automatic code generation. This cohesive approach ensures consistency throughout the development lifecycle, adhering to industry standards such as DO-178C for avionics, ISO 26262 for automotive, and IEC 61508 for industrial automation. With capabilities for formal verification and model-based testing it is the preferred choice for delivering high-assurance software systems.
- Critical Applications
- FMU-FMI, AUTOSAR Support
- Advanced Model-Based Software Design
- Automatic Code Generation
- Up to 50% Cost Reduction
- VRX, TwinBuilder Integration
- End-to-end Traceability
Check out the key features of SCADE Suite
Certified Code Generation
The transformation of high-level models into certified production code for safety-critical applications is automated, ensuring compliance with stringent industry standards (e.g., DO-178C, ISO 26262) and supporting efficient verification and validation processes.
Python-based API
Customization and automation through scripting in Python are enabled, allowing users to extend functionality, automate repetitive tasks, and integrate seamlessly with external tools.
Seamless Target Integration
Seamless deployment of generated code onto various target platforms is possible, ensuring compatibility and optimization for embedded systems such as microcontrollers and processors, and supporting real-time execution and hardware-in-the-loop (HIL) testing.
Verification and Validation
The reliability and safety of embedded software are ensured with the software's comprehensive tools for formal verification, model-based testing, and simulation-based verification.
Simulink Import
Integration of models and designs created in MathWorks Simulink into the SCADE environment is possible, facilitating collaborative workflows and allowing the leveraging of Simulink models within SCADE for further refinement, verification, and automatic code generation.
Reduction of Manual Testing
Testing processes are automated by importing Simulink models directly into SCADE, which minimizes manual testing tasks while enhancing efficiency and accuracy in software development.
Guaranteed Model Completeness
This feature ensures that all aspects of system behavior are captured in the model, including tools and methodologies to verify that it covers all specified requirements and scenarios, thereby minimizing the risk of oversight or incomplete testing.
MISRA Compliance
Adherence to MISRA coding guidelines for high-integrity software is ensured, including automated checks and enforcement of guidelines during code generation. This aids in the development of reliable and secure embedded systems.
Related blog posts
The Free Download of Ansys SCADE Student Is Available
Ansys SCADE Student software helps students acquire basic design and development skills. As more and more students participate in design competitions, capstone projects and simulation-led design for homework and projects, they need ...
Software Sales
If you have any general questions about our Ansys, Moldex3D, Dante, Particleworks, or CF Turbo simulation software (quotation, licensing, training), please contact us using one of the following contact details. Please note that our software is only available to customers from the following countries: Hungary, Slovenia, Croatia, Serbia, Bosnia and Herzegovina, Montenegro, and Macedonia.
sales (at) econengineering.com
+36 1 279 0320
Greg Lipóczi, Dr.
Commercial Director
László Molnár, Ph.D.
Academic & Key Account Representative
Péter Bara
Key Account Manager
East Hungary
János Simon
Key Account Manager
West Hungary
