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 仓库