INFO:
Learn how to use Model-Based Design and formal methods with Simulink, Stateflow, Embedded Coder, and the DO Qualification Kit in a process compliant with DO-178C, DO-331, DO-333, and DO-330.
Introduction to Model-Based Development for DO-178C | Using Qualified Tools in a DO-178C Development Process, Part 1 - MATLAB & Simulink