本案例研究使用一个简单的直升机控制系统来演示一个兼容ARP4754A、DO-178C和DO-331的工作流。本案例研究从系统级需求开始,并提供了贯穿可执行对象代码验证的整个工作流。尽管该演示使用了许多MathWorks工具箱许可证,除了MATLAB和Simulink,预生成的工件也可以查看,而不必将所有这些工具箱安装在MATLAB和Simul万博1manbetxink之上。
引用作为
比尔·波特(2021)。DO178_case_studyGitHub (https://github.com/wfpotter/DO178_Case_Study/releases/tag/1.3)。检索.
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
工作
导航
要查看或报告这个GitHub插件中的问题,请访问GitHub库.
要查看或报告这个GitHub插件中的问题,请访问GitHub库.