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.
Reliable Embedded Software Development Solutions
Ansys embedded software development solutions align the design process according to safety standard objectives, reduce development costs, and accelerate time to certification by a factor of two.
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 applications with high dependability requirements. SCADE solutions are highly interoperable and can be easily integrated into existing development flows, optimizing development and increasing communication among team members.
- Develop and integrate advanced algorithms and features
- Improve consistency and traceability throughout the workflow
- Verify and validate the code and design
- Automatically generate code that meets certification requirements
SCADE Suite
SCADE Suite is a model-based development environment for the design and verification of critical embedded software, as well as safety-certified code generation.
- Reliable model-based embedded software design
- Debugging and simulation
- Qualifiable/certified automatic code generation
- Certification kits to meet safety requirements
SCADE Display
Scade Display facilitates embedded graphics, display and HMI development, and safety-certified code generation.
- Versatile graphic design and development environment
- Supports multiple safety standards
- Integrated with SCADE Suite
SCADE Test
SCADE Test provides everything you need to test, verify and validate your applications and achieve reliable embedded software.
- Complete testing environment for requirements validation
- Software testing in a system-in-the-loop environment
- Model and code coverage analysis
SCADE Architect
SCADE Architect provides system and software architecture modeling capabilities with full support for industrial systems engineering processes.
- Model-Based embedded systems and software architecture design
- Generate consistent, comprehensive ICDs
- Integrated with SCADE applications for software-intensive systems design
SCADE Solutions for ARINC 661
SCADE Solutions for ARINC 661 helps you develop cockpit display systems that meet the ARINC 661 Standard for avionics displays.
• Prototype and design ARINC 661 compliant cockpit display systems and user applications
• Customizable library of compliant widgets
• Automatically generate binary and XML Definition Files (DF)
SCADE Life Cycle
SCADE Lifecycle offers systems and software lifecycle management and bridges other SCADE solutions with requirement management tools.
- Comprehensive requirements traceability for critical design processes
- Automatic report generation
- Integrate other SCADE tools with version and configuration management
SCADE Vision
SCADE Vision automates the identification of potential vulnerabilities in autonomous vehicle perception systems.
• Discover weaknesses in your embedded perception software
• Minimize expensive road testing
• Break the drive-find-fix barrier
Embedded software is increasingly being used in smart devices, but imperfect code can be the cause of many product failures.
Ansys 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 defence 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 Certifier
- 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