Keys to Safety Critical Embedded Software Development Success

The Internet of Things and the abundance of smart applications have significantly increased the need for the safety critical embedded software that controls these devices. You’ve probably heard some of the following stats. Nearly 400,000 software and system engineers work in the oil and gas industry. In the energy and nuclear sectors, software-based instrumentation and controls have become state of the art. The aerospace industry has witnessed a 500 percent increase in source lines of code over the past decade. And, there are 10 million software lines of code in modern vehicles!


Making sure that the embedded code that controls these devices is working as designed is of utmost importance.  Any incorrect code could have catastrophic results.  When validating and verifying embedded software, test engineers face a number of difficult challenges. Test creation and maintenance, together with execution and coverage analysis, are time-intensive activities, often involving a great deal of manual work. In addition, software testing efforts performed late in the development stage generate expensive design rework. In some cases, software requirements are inadequate or even incomplete to meet user needs. Software design can be insufficiently documented, and test execution infrastructure must adapt to a variety of hardware targets. But by the end of the process, from a mission-critical standpoint, there should be no software errors in the final product.

But how can you speed development time and make sure that your testing process is adequate, especially if you are developing software that must meet certification standards like DO-178C or ISO 26262?

I’m pleased to report that we have a new tool that can help you to automate your embedded software verification and validation process, along with all testing activities! This new tool, ANSYS SCADE Test, is specifically designed to follow your testing processes and procedures.


SCADE Test is part of the ANSYS SCADE embedded software family of products designed to accelerate systems and software engineering. Once system and subsequent software requirements are determined, you can deploy SCADE Test’s software verification and validation tools, including requirements validation and test authoring/management, to ensure that the final implementation will fulfill requirements. Once the software design is developed, test tools enable executing tests on host along with model and code-coverage analysis, exercising all of the model. When testing confirms that the software design is acceptable, code is generated and tested on the target. Ultimately, SCADE Test helps to detect and eliminate embedded code errors early in the design process, when the cost of fixing them is minimal.

ansys webinars this weekWatch this on demand webinar where you can learn more about the intricacies of ANSYS SCADE Test.  I promise you won’t be disappointed!



This entry was posted in Embedded Software and tagged , , , , by François -Xavier Dormoy. Bookmark the permalink.

About François -Xavier Dormoy

François -Xavier Dormoy is the Senior Product Manager for the ANSYS SCADE Test product line within the Systems Business Unit at ANSYS. François is also responsible for the Energy vertical within this business unit. François joined ANSYS subsidiary Esterel Technologies in 2002 as a Technical Product Manager and has served in various engineering positions during his 14 years with the company, including Vice President of Engineering. Prior to joining Esterel, François worked at Telelogic and Verilog. Francois holds a Master of real-time embedded software from the Université Paul Sabatier in Toulouse, France.

One thought on “Keys to Safety Critical Embedded Software Development Success

  1. Pingback: セーフティ・クリティカルな組込みソフトウェア開発を成功に導く鍵 | ANSYS ブログANSYS ブログ

Comments are closed.