本案例研究使用一个简单的直升机控制系统来演示与ARP4754A、DO-178C和DO-331兼容的工作流程。案例研究从系统级需求开始,并提供贯穿可执行目标代码验证的工作流程。尽管演示使用了许多MathWorks工具箱许可证,但除了MATLAB和Simulink之外,还可以查看预先生成的工件,而不必将所有这些工具箱安装在MATLAB和Si万博1manbetxmulink之上。
引用
《比尔·波特》(2022)。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リポジトリにアクセスしてください。