DO178_case_study
使用MathWorks工具的DO-178案例研究
本案例研究使用一个简单的直升机控制系统来演示与ARP4754A、DO-178C和DO-331兼容的工作流程。案例研究从系统级需求开始,并提供贯穿可执行目标代码验证的工作流程。尽管演示使用了许多MathWorks工具箱许可证,但除了MATLAB和Simulink之外,还可以查看预先生成的工件,而不必将所有这些工具箱安装在MATLAB和Si万博1manbetxmulink之上。
引用作为
比尔·波特(2023)。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
工作
导航
版本 | 发表 | 发布说明 | |
---|---|---|---|
1.3 | 参见GitHub上此版本的发布说明:https://github.com/wfpotter/DO178_Case_Study/releases/tag/1.3 |
||
1.2 | 针对R2019a更新,以使用Simulink需求、系万博1manbetx统编写器和Simulink项目。 |
|
|
1.1.0.1 | 更新许可证 |
|
|
1.1.0.0 |
要查看或报告此GitHub插件中的问题,请访问GitHub库.
要查看或报告此GitHub插件中的问题,请访问GitHub库.