本案例研究使用一个简单的直升机控制系统来演示一个兼容ARP4754A、DO-178C和DO-331的工作流。本案例研究从系统级需求开始,并提供了贯穿可执行对象代码验证的整个工作流。尽管演示使用了许多MathWorks工具箱许可证,除了MATLAB和Simulink之外,预生成的工件也可以查看,而无需将所有这些工具箱安装在MATLAB和Simu金宝applink之上。
引用
比尔·波特(2021)。do178_case_study.(https://github.com/wfpotter/do178_case_study/releases/tag/1.3),github。检索到。
MATLAB版本兼容性
创建R2019b
兼容R2019B及更高版本
平台兼容性
窗户 macOS Linux.类别
标签
DO_03_Design AHRS_voter /规范
DO_03_DESIGN / ACTUATORLOOP /规范
DO_03_Design / FCC /规范
do_03_design / heli_inner_loop /规范
do_03_design / heli_outer_loop /规范
工具/支票/ MW
工具/ compatible_blocks.
工具/模板/ model_configurations
工具/工具
工具/工具/ code_generation
工具/工具/建模
工具/实用程序/ project_management
工具/实用程序/ project_management / shutdown
工具/实用程序/ project_management / startup
工具/工具/ report_generation
工具/实用程序/要求_管理者
工具/工具/验证/ dynamic_testing
工具/工具/验证/ static_analysis
工作
DO_03_Design AHRS_voter /规范
DO_03_DESIGN / ACTUATORLOOP /规范
DO_03_Design / FCC /规范
do_03_design / fcc /验证/ design_error_detections / dead_logic
do_03_design / fcc /验证/ design_error_detections / dead_logic / dead_logic
do_03_design / fcc /验证/ design_error_detections / design_error
do_03_design / heli_inner_loop /规范
do_03_design / heli_outer_loop /规范
do_03_design / common / block_libraries /规范
工具/ compatible_blocks.
工具/模板/ model_configurations
工具/模板/ model_templates
工作
导航
要查看或报告这个GitHub插件中的问题,请访问github存储库。
要查看或报告这个GitHub插件中的问题,请访问github存储库。