DO178_case_study

バージョン 1.3 (41.3 MB) 作成者: Bill Potter
Case Study for DO-178 using MathWorks tools

ダウンロード 3.2K 件

更新 2020/5/18

GitHub から

GitHub でライセンスを表示

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.

引用

Bill Potter (2022). DO178_case_study (https://github.com/wfpotter/DO178_Case_Study/releases/tag/1.3), GitHub. 取得済み .

MATLAB リリースの互換性
作成: R2019b
R2019b 以降と互換性あり
プラットフォームの互換性
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

この GitHub アドオンでの問題を表示または報告するには、GitHub リポジトリにアクセスしてください。
この GitHub アドオンでの問題を表示または報告するには、GitHub リポジトリにアクセスしてください。