图片缩略图

DO178_case_study

版本1.3 (41.3 MB) 比尔波特
使用MathWorks工具的DO-178案例研究

3K下载

更新2020年5月18日

来自GitHub.

在GitHub上查看许可证

本案例研究使用一个简单的直升机控制系统来演示一个兼容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)。检索

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 /启动

工具/实用程序/ eport_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库