本案例研究使用一个简单的直升机控制系统来演示一个兼容ARP4754A、DO-178C和DO-331的工作流。本案例研究从系统级需求开始，并提供了贯穿可执行对象代码验证的整个工作流。尽管该演示使用了许多MathWorks工具箱许可证，除了MATLAB和Simulink，预生成的工件也可以查看，而不必将所有这些工具箱安装在MATLAB和Simul金宝appink之上。
引用作为
比尔·波特(2021)。DO178_case_studyGitHub (https://github.com/wfpotter/DO178_Case_Study/releases/tag/1.3)。检索．
意见及评分(15）
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 /规范
工具/检查/兆瓦
工具/ compatible_blocks
工具/模板/ model_configurations
工具/工具
工具/工具/ code_generation
工具/工具/建模
工具/工具/ project_management
工具/工具/ project_management /关闭
工具/工具/ project_management /启动
工具/工具/ report_generation
工具/工具/ requirements_management
工具/工具/验证/ 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 /共同/ block_libraries /规范
工具/ compatible_blocks
工具/模板/ model_configurations
工具/模板/ model_templates
工作
导航
你也可以从以下列表中选择一个网站:
我找到了解决以前问题的办法。如果您进入模型顾问并运行Simulink Code Inspector对AHRS_vo金宝appter的检查，就会出现一些失败。
按照结果中建议的方法解决这些失败，一切都会正常工作。
我跟踪了案例研究，发现Simulink代码检查器在AHRS_voter上验证失败。金宝app
在查看报告时，我看到很多“追踪失败”和“无法处理”的字样。
最大的问题是:如何调试和修复这个问题?
我已经下载并安装了工具箱文件，但不知道如何访问它
很有帮助。谢谢。
这是伟大的。谢谢。
把这些放在一起真是太棒了!希望看到更多关于健壮性测试和自动测试生成的信息。