DO178_case_study

Version 1.3 (42.8 MB) by Bill Potter
Case Study for DO-178 using MathWorks tools
3.7K Downloads
Updated Mon, 18 May 2020 15:24:20 +0000

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 (2024). DO178_case_study (https://github.com/wfpotter/DO178_Case_Study/releases/tag/1.3), GitHub. Retrieved .

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!

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

Version Published Release Notes
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

To view or report issues in this GitHub add-on, visit the GitHub Repository.
To view or report issues in this GitHub add-on, visit the GitHub Repository.