DO178_case_study

Case Study for DO-178 using MathWorks tools

Note: this File Exchange submission is no longer maintained. Please refer to the in-product example here for a more recent version of the DO-178C/DO-331 case study: https://www.mathworks.com/help/qualkitdo/ug/helicopter-flight-control-do-qual-example.html

For licensing information, please refer to this page: https://www.mathworks.com/products/do-178.html

This case study uses a simple helicopter control system to demonstrate a workflow compatible with ARP4754A, DO-178C and DO-331. The case study starts with system level requirements and provides the workflow all the way through executable object code verification. Although the demo uses many MathWorks toolbox licenses, in addition to MATLAB and Simulink, pre-generated artifacts are available for viewing without having to have all of those toolboxes installed on top of MATLAB and Simulink.