Ansys SCADE Suite is a model-based development environment for reliable embedded software, which provides linkage to requirements management, model-based design, verification, qualifiable/certified code generation capabilities and interoperability with other development tools and platforms.
Modern automobiles, aircraft, and other complex industrial products are composed of multiple electronic components, perfectly integrated to provide critical functionality. Underlying these advanced systems are millions of lines of embedded software code that ensure their flawless operation under every operating scenario.
Ansys SCADE Suite saves verification effort and improves productivity without compromising safety and reliability in critical applications.
Ansys SCADE Suite drastically reduces safety certification costs by simplifying critical control application design and automating verification, qualifiable/certified code generation, and documentation generation.
Ansys SCADE Suite integrates seamlessly in the user flow, thanks to its support of interoperability standards, and its Python-based customization capabilities.
Automotive leader automates 95% of development processes to achieve unrivaled accuracy, speed and cost savings.
In the race to launch new hybrid and electric vehicle models, Ansys SCADE has emerged as a valuable strategic tool for Subaru over the past decade, supporting the automaker’s commitment to uncompromising safety and quality. The time saved during the end-to-end development of the ECU — without sacrificing the accuracy of its control software — has been crucial to Subaru’s ability to introduce innovative new technologies.
The process of generating software code for the ECU begins by defining the control logic for bringing all the parts of the car's electronics architecture together. This set of logic-based rules ensures that all the car's electronics are integrated safely and securely. It manages the system interactions, sends alerts when needed and can also shut down systems in an emergency. It controls vehicle dynamics, engine function, the vehicle's energy consumption and the load management of the electric battery.
CAPABILITIES
Ansys SCADE Suite, a model-based development environment for critical embedded software, lets users design and validate critical embedded software with minimum project certification costs. Its formally-defined Scade language makes notation intuitive and unambiguous
Ansys SCADE Suite is a complete model-based solution for designing, analyzing, simulating and verifying reliable embedded software for critical applications.
With Ansys SCADE Suite, you will use an intuitive graphical notation with support for unlimited nesting of data flows and hierarchical state machines. Use the rule checker to make sure that your code complies with applicable standards. A Python-based framework enables you to create your own rules and metrics for a completely tailored solution to every project.
This integration enables parallel evolution of architecture and design with synchronization available upon request and at project milestones. Bi-directional synchronization between architecture and design models reduces or eliminates duplication of efforts in synchronizing interfaces for maximum efficiency. Synchronization between Ansys SCADE Suite and Ansys SCADE Architect supports architecture design down to code production flow in contexts like IMA, FACE and AUTOSAR.
VIDEO: Integrated Workflow for Software-intensive Embedded Systems
Ansys SCADE Suite’s code generator fulfills the specifications provided in the model without the need for code verification. As a result, it is crucial to verify that the model’s behavior is correct. Our software comes equipped with multiple model-level analyses to verify model correctness and ensure a short development time. You’ll be able to perform static analysis of the model. Static analysis of the model (i.e., checks that the model is consistent, data flows are properly typed, initializations are properly done) are achieved by the front-end of the code generator and is therefore qualified at the highest levels for the various software safety standards. With the Rule Checker, you can customize and add specific checks using a Python-based framework that supports a justification mechanism for required or advisory rules.
Ansys SCADE Suite Design Verifier is a verification assistant that formally expresses and assesses safety requirements, providing a productive way to find bugs early in the development process. It is powered by Prover® Technology and supported by a multicore-enabled formal proof engine with floating point computation support.
Ansys SCADE Suite allows you to define a software design with graphical and textual blocks. Once defined, you can simulate a software design or any of its individual blocks using the simulation capabilities based on automatically generated code. Simulation and debugging capabilities include executable designs, detailed simulation of actual generated code, scenario recording and playback, early detection of specification errors, automatic non-regression tests, and more.
Ansys 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, meaning that KCG development process complies with these software safety standards. Ansys SCADE Suite enables multicore code generation using the Multicore Code Generator. Specific instances of operators are identified in the model to become parallelizable tasks. The specification of these tasks is independent from the model, allowing for various configurations.
VIDEO: How does Ansys SCADE Suite deal with Automatic Code Generation?
Ansys SCADE Suite easily integrates with tools for systems architecture design, HMI development and testing and application life cycle management, providing a complete environment for all embedded software development activities
The Ansys SCADE Suite’s Advanced Modeler includes Twin Builder , 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.
Ansys SCADE Suite extends and simplifies system design capabilities for the automotive market. It supports a development flow starting from AUTOSAR Software Component (SWC) to AUTOSAR RTE-compliant code generation for the Runnables: you can start a development flow based on the AUTOSAR standard to create AUTOSAR RTE-compliant code generated by the Ansys SCADE Suite’s KCG code generator. The solution also enables you to import and export AUTOSAR ARXML interexchange format, allows multi-synchronization between system engineers and generates compliant code.
RESOURCES & EVENTS
