Master Class: Accelerating Production of Industry-Compliant Embedded Software Using Model-Based Design

In high-integrity embedded applications, where extremely high product confidence is needed as a failure may prove to be catastrophic, it is crucial to develop a more robust code. 

Simulink^® enables users to design and simulate algorithms and quickly deploy production-quality software from these algorithms. Instead of writing thousands of lines of code by hand, engineers can leverage automatic code generation to increase productivity, improve quality, and foster innovation. Equivalence testing to ensure robust code transformation is a recommended practice by multiple industry standards. 

Along with code generation, you will also learn how to use Polyspace^® for formal verification of the embedded software. Polyspace provides two capabilities within this workflow: the inclusion of compliance checking with coding rules and, more importantly, the application of formal methods to prove the absence of runtime error. 

In this master class, engineers from MathWorks will introduce the embedded software development workflow using tools that guarantee a robust and efficient workflow. Learn more about how Model-Based Design supports a faster transition from design to deployment with streamlined verification and validation workflow.