Embedded software is increasingly being used in smart devices, but imperfect code can be the cause of many product failures. Industry leaders estimate that every 1,000 lines of embedded software contain eight bugs. To manage this quality risk and meet higher standards for software certification, you need to leverage embedded software development and verification tools, as well as certified code generators.
Ansys provides model-based embedded software development and simulation environment with a built-in automatic code generator to accelerate embedded software development projects. System and software engineers use Ansys SCADE solutions to graphically design, verify and automatically generate critical embedded systems and software applications with high dependability requirements. SCADE solutions are highly interoperable and can be easily integrated, optimizing development and increasing communication among team members.
Certified code generation across industries
SCADE code generators and verification tools have been qualified/certified at the highest level of safety across six market segments by more than 10 safety authorities worldwide, including:
- DO-178C up to Level A for aerospace and defense applications by FAA, EASA, Transport Canada, CAAC and ANAC
- ISO 26262 up to ASIL D for automotive applications by TÜV SÜD
- IEC 61508 up to SIL 3 for transportation and industrial applications by TÜV SÜD
- EN 50128 up to SIL 3/4 for rail transportation applications by TÜV SÜD, EBA and Certifer
- IEC 60880 demonstrated compliance for nuclear applications by many nuclear safety authorities
SCADE speeds the embedded software development and verification process
SCADE users report the following development and verification cost improvements:
- Alignment of the design process according to safety standard objectives
- Reduction of development costs by 50%, on average
- Acceleration of time to certification by a factor of two
Model-based Systems Engineering
Model-based systems engineering (MBSE) is key to using systems models to define requirements, design, analysis, and verification and validation activities throughout the development cycle.
EMBEDDED CONTROL SOFTWARE DEVELOPMENT
More and more, in applications from commercial aircraft to autonomous vehicles, the quality of the embedded software development process determines operational efficiency and safety.
MAN-MACHINE INTERFACE SOFTWARE
Despite all their autonomy, today’s smart products still must interact with a human being occasionally through an intuitive, easy-to-use man-machine interface. You can optimize the usability and reliability of . .
VIRTUAL SYSTEMS PROTOTYPING
While physical prototypes are still valuable for late-stage testing of a new product, digital prototypes are the only way to go when you are exploring the numerous design possibilities early in the process.
FUNCTIONAL SAFETY ANALYSIS
The analysis and verification of functional safety for electronic control systems in industries like automotive, aerospace and defense, rail, nuclear, etc., are critical to system design and implementation.
SCADE Suite is a Model-Based Development Environment for critical embedded software, which provides requirements management, model-based design, verification, qualifiable/certified code generation, and interoperability with other development tools anLearn More
SCADE Vision automates the identification of potential vulnerabilities in autonomous vehicle perception systems. It is intended for safety analysts, neural network developers and designers of machine learning-based perception systems.Learn More
SCADE Architect is part of the Ansys Embedded Software family of products, which gives you a design environment for systems with high dependability requirements.Learn More
Ansys SCADE Test is a complete testing environment for requirements validation, as well as test case creation and management. You can automate test case execution both on host and on target, measure coverage and manage test results for any SCADE applLearn More
Ansys SCADE LifeCycle embedded software solution provides unique support for application life cycle management. It features requirements traceability via application life cycle management (ALM) tools, traceability from models, configuration and changLearn More
SCADE Solutions for ARINC 661 Compliant Systems is a toolset that empowers you to prototype and design ARINC 661 compliant systems, embedded Cockpit Display Systems (CDS) and User Applications (UA).Learn More