File Exchange

image thumbnail


version 1.3 (43.5 MB) by Bill Potter
Case Study for DO-178 using MathWorks tools


Updated 18 May 2020

View Version History

GitHub view license on GitHub

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.

Cite As

Bill Potter (2021). DO178_case_study (, GitHub. Retrieved .

Comments and Ratings (15)

Furkan Bayrak


I found the solution regarding my previous problem. If you go in the model advisor and run the Simulink Code Inspector checks on the AHRS_voter, some fails will came out.
Solve these fails as suggested in the results and everithing will work fine.


I followed the case study and I see that Simulink Code Inspector verification FAILS on the AHRS_voter.
Looking at the report I see a lot of "Failed to trace" and "Unable to process".

The big question is: How to debug and fix this?

Yongjian Feng

Jin-seok Jeong

Rafael Peña Alzola

Jingru Bao

Bao Nguyen

Irfan Majid

I have downloaded and installed the toolbox file but cannot figure out how to access it

amber qayum

Dev Patel

Very Helpful. Thanks.


Yogananda Jeppu

This is great. Thanks.


Great job putting this all together! Would be great to see more information regarding robustness testing and automatic test generation.

MATLAB Release Compatibility
Created with R2019b
Compatible with R2019b and later releases
Platform Compatibility
Windows macOS Linux

Community Treasure Hunt

Find the treasures in MATLAB Central and discover how the community can help you!

Start Hunting!