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.
Citation pour cette source
Pat Canny (2026). DO178_case_study (https://github.com/wfpotter/DO178_Case_Study/releases/tag/1.3), GitHub. Extrait(e) le .
Compatibilité avec les versions de MATLAB
Plateformes compatibles
Windows macOS LinuxCatégories
- 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 >
Tags
Découvrir Live Editor
Créez des scripts avec du code, des résultats et du texte formaté dans un même document exécutable.
| Version | Publié le | Notes de version | |
|---|---|---|---|
| 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 |
