Products

New Ways to Verify Automatically Generated Flight Code using Simulink and Embedded Coder for DO-178

Model-Based Design enables automatic generation of flight code that is both efficient and easily verified at the model, source code, and executable object code levels. Learn more.

DO Qualification Kit (for DO-178)