Technical Articles

Verify Automatically Generated Flight Code for DO-178

By Tom Erkkinen, MathWorks


Automatically generating code from simulation models is a key development activity in Model-Based Design. Successful deployment to a high-performance embedded system requires production of extremely efficient code. Code efficiency objectives include minimizing memory usage and maximizing execution speed. Successful deployment for military and defense systems also requires the ability to rigorously verify the code to ensure compliance with requirements and conformance to standards.

This article, published in EE Times, describes how to measure code efficiency and perform code verification activities using MATLAB, Simulink, and Embedded Coder. The development and verification activities discussed are intended to satisfy DO-178B and upcoming DO-178C objectives, including the Model-Based Development and Verification supplement planned for release with the DO-178C update.

Read full article

Published 2012

View Articles for Related Capabilities

View Articles for Related Industries