DO178_case_study
- 4 files
- 65 downloads
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 (2020). DO178_case_study (https://www.mathworks.com/matlabcentral/fileexchange/56056-do178_case_study), MATLAB Central File Exchange. Retrieved .
Comments and Ratings (9)
Updates
| 1.2 | Updated for R2019a to use Simulink Requirements, system Composer and Simulink Projects. |
|
| 1.1.0.1 | Updated license |
MATLAB Release Compatibility
Platform Compatibility
Windows macOS LinuxCategories
- Code Generation > Embedded Coder > Code Generation from Simulink Models >
- Verification, Validation, and Test > Simulink Test >
- Code Generation > DO Qualification Kit (for DO-178) >
- Simulation Graphics and Reporting > Simulink Report Generator >
- Verification, Validation, and Test > Polyspace Code Prover >
- Verification, Validation, and Test > Simulink Check > Check Model Compliance >
Tags
Discover Live Editor
Create scripts with code, output, and formatted text in a single executable document.
Select a Web Site
Choose a web site to get translated content where available and see local events and offers. Based on your location, we recommend that you select: .
Select web siteYou can also select a web site from the following list:
Americas
- América Latina (Español)
- Canada (English)
- United States (English)
Europe
- Belgium (English)
- Denmark (English)
- Deutschland (Deutsch)
- España (Español)
- Finland (English)
- France (Français)
- Ireland (English)
- Italia (Italiano)
- Luxembourg (English)
- Netherlands (English)
- Norway (English)
- Österreich (Deutsch)
- Portugal (English)
- Sweden (English)
- Switzerland
- United Kingdom (English)
Jingru Bao (view profile)
Bao Nguyen (view profile)
Irfan Majid (view profile)
I have downloaded and installed the toolbox file but cannot figure out how to access it
V B Gangadhara Rao Nalamati (view profile)
amber qayum (view profile)
Dev Patel (view profile)
Very Helpful. Thanks.
Arturo (view profile)
Yogananda Jeppu (view profile)
This is great. Thanks.
Mikhail (view profile)
Great job putting this all together! Would be great to see more information regarding robustness testing and automatic test generation.