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.
引用格式
Pat Canny (2026). DO178_case_study (https://ww2.mathworks.cn/matlabcentral/fileexchange/56056-do178_case_study), MATLAB Central File Exchange. 检索时间: .
MATLAB 版本兼容性
创建方式
R2019b
与 R2019b 及更高版本兼容
平台兼容性
Windows macOS Linux类别
- Code Generation > DO Qualification Kit (for DO-178) >
- Aerospace and Defense > DO Qualification Kit (for DO-178) >
- Verification, Validation, and Test > Simulink Test >
- Code Verification > Polyspace Code Prover >
- Verification, Validation, and Test > Polyspace Code Prover >
- Code Generation > Embedded Coder >
- Reporting and Database Access > Simulink Report Generator >
- Verification, Validation, and Test > Simulink Check > Check Model Compliance >
在 Help Center 和 MATLAB Answers 中查找有关 DO Qualification Kit (for DO-178) 的更多信息
标签
| 版本 | 已发布 | 发行说明 | |
|---|---|---|---|
| 1.4 | Added link to in-product example |
||
| 1.3 | See release notes for this release on GitHub: https://github.com/wfpotter/DO178_Case_Study/releases/tag/1.3 |
||
| 1.2 | Updated for R2019a to use Simulink Requirements, system Composer and Simulink Projects. |
|
|
| 1.1.0.1 | Updated license |
|
|
| 1.1.0.0 |
