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 into existing development flows, optimizing development and increasing communication among team members.
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