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.
Citar como
Bill Potter (2024). DO178_case_study (https://github.com/wfpotter/DO178_Case_Study/releases/tag/1.3), GitHub. Recuperado .
Compatibilidad con la versión de MATLAB
Compatibilidad con las plataformas
Windows macOS LinuxCategorías
- 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 >
Etiquetas
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!Descubra Live Editor
Cree scripts con código, salida y texto formateado en un documento ejecutable.
DO_03_Design/AHRS_voter/specification
DO_03_Design/ActuatorLoop/specification
DO_03_Design/FCC/specification
DO_03_Design/Heli_inner_loop/specification
DO_03_Design/Heli_outer_loop/specification
tools/checks/mw
tools/compatible_blocks
tools/templates/model_configurations
tools/utilities
tools/utilities/code_generation
tools/utilities/modeling
tools/utilities/project_management
tools/utilities/project_management/shutdown
tools/utilities/project_management/startup
tools/utilities/report_generation
tools/utilities/requirements_management
tools/utilities/verification/dynamic_testing
tools/utilities/verification/static_analysis
work
DO_03_Design/AHRS_voter/specification
DO_03_Design/ActuatorLoop/specification
DO_03_Design/FCC/specification
DO_03_Design/FCC/verification/design_error_detections/dead_logic
DO_03_Design/FCC/verification/design_error_detections/dead_logic/dead_logic
DO_03_Design/FCC/verification/design_error_detections/design_error
DO_03_Design/Heli_inner_loop/specification
DO_03_Design/Heli_outer_loop/specification
DO_03_Design/common/block_libraries/specification
tools/compatible_blocks
tools/templates/model_configurations
tools/templates/model_templates
work
navigation
Versión | Publicado | Notas de la versión | |
---|---|---|---|
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 |