图像缩略图

do178_case_study

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

3.1k下载

更新2020年5月18日

来自Github

在GitHub上查看许可证

该案例研究使用简单的直升机控制系统来证明与ARP4754A,DO-178C和DO-331兼容的工作流程。案例研究始于系统级要求,并通过可执行的对象代码验证一直提供工作流程。尽管该演示使用了许多Mathworks工具箱许可证,但除MATLAB和SIMULINK外,还可以查看预先生成的工件,而无需将所有这些工具箱安装在MATLAB和SIM万博1manbetxULINK上。

引用为

比尔·波特(2022)。do178_case_study(https://github.com/wfpotter/do178_case_study/releases/tag/1.3),github。检索

do_03_design/ahrs_voter/规范

do_03_design/artuatorloop/规格

do_03_design/fcc/规格

do_03_design/heli_inner_loop/规格

do_03_design/heli_outer_loop/规范

工具/检查/MW

工具/compatible_blocks

工具/模板/model_configurations

工具/实用程序

工具/实用程序/代码

工具/实用程序/建模

工具/实用程序/project_management

工具/实用程序/project_management/关闭

工具/实用程序/project_management/启动

工具/实用程序/report_generation

工具/实用程序/要求_管理

工具/实用程序/验证/dynamic_testing

工具/实用程序/验证/static_analysis

工作

do_03_design/ahrs_voter/规范

do_03_design/artuatorloop/规格

do_03_design/fcc/规格

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/规格

do_03_design/heli_outer_loop/规范

do_03_design/common/block_libraries/规范

工具/compatible_blocks

工具/模板/model_configurations

工具/模板/model_templates

工作

导航

要查看或报告此GitHub附加组件中的问题,请访问GitHub存储库
要查看或报告此GitHub附加组件中的问题,请访问GitHub存储库