業界規格
DO-178Cと関連規格
DO-178Cは DO-178B規格のアップデートであり、現在の業界における開発および検証での実践に即した、モデルベースの開発と検証 (DO-331)および形式的手法 (DO-333)の補足が含まれています。ツール検定は DO-330で対応しています。
MATLABと金宝appは、以下の図やこのビデオシリーズでも説明されているとおり、DO-178Cに対応するモデルベースデザイン(MBD)モデルベース開発)をサポートしています。
「金宝appSimulink」を使用したモデリングは、チームの ARP 4754の作業に役立ちます。特に、システムレベルの要件の検証、要件ベースでのテストの開発、サプライヤーが 模拟と 嵌入式编码器を使用して DO-178レベル A.フライトコードを生成する際に使用する低レベルのソフトウェア要件の定義に役立ちます。」
巴西航空工业公司罗德里戈·丰特斯·苏托
MATLABおよび 模金宝app拟での DO-178規格
製品
- 検定モデル検証向け金宝app、金宝app模拟试验、金宝app模拟链路检查、および金宝app模拟链路覆盖
- 検定コード生成向け嵌入式编码器および金宝appSimulink代码检查器
- 検定形式検証向け多空间Bug查找器および多空间码验证器
- 検定テスト生成向け金宝appSimulink设计验证程序および金宝app模拟链路覆盖
- 検定ソフトウェアテスト向け金宝app模拟试验
- 検定コードカバレッジ解析向け金宝app模拟链路覆盖
- トレーサビリティとドキュメンテーション向け金宝app模拟链路要求および金宝appSimulink报告生成器
- ツール検定向けDO资格鉴定套件
サービス
ビデオ、网状物セミナー、およびデモ
- 編集時チェックにより準拠性の問題を早期に発見(1:28)
- DO-178C開発プロセスにおける認定ツールの使用(11 ビデオ)
- DO-178フライトソフトウェア開発向け 模金宝app拟(35:24)
- 数学作品ツールを用いた DO-178Cソフトウェア開発向けモデルベースデザイン(9 ビデオ)
- 国防部および DO-178C(7:01)
- DO-178ケーススタディ(文件交换)
MATLABおよび 模金宝app拟製品ファミリがサポートする関連規格
- DO-178C、航空システムと機器の認定におけるソフトウェアの検討事項
- DO-278A、通信、航法、監視/航空交通管理 (CNS/ATM)システムソフトウェアにおける整合性保証のガイドライン
- DO-248C、DO-178Cおよび DO-278Aのサポート情報
- DO-330、ソフトウェアツールの適格性の証明に関する考慮事項
- DO-331、DO-178Cおよび DO-278Aを補足するモデルベースの開発と検証
- DO-332、DO-178Cおよび DO-278Aを補足するオブジェクト指向テクノロジーと関連手法
- DO-333、DO-178Cおよび DO-278Aを補足する形式的手法
プレス
ユーザー事例
- 利奥纳多がレーダー航法ソフトウェアの開発と DO-178Cへの準拠を加速
- 巴西航空工业公司レガシー 500飛行制御システムの要件エンジニアリングとプロトタイピングを加速
- 贝尔直升机世界初の商業用フライバイワイヤ ヘリコプターを開発
- BAE系统公司モデルベースデザインにより DO-178Bレベル A.飛行ソフトウェアをオンスケジュールで納品
- 以色列航空航天工业公司,DO-178Bレベル B認定の電気ハイブリッド航空機牽引車向けソフトウェアを開発
- 阿莱尼亚·阿尔马基、DO-178Bレベル A.認証取得に向けて自動操縦ソフトウェアを開発
- 国家航空航天实验室,DO-178B飛行ソフトウェア開発でのモデルベースデザインの利点を実証
- 空客直升机、DO-178B認定ソフトウェアの開発をモデルベースデザインで加速
- 空中客车公司モデルベースデザインを用いて A380向け燃料管理システムを開発
- 霍尼韦尔設計時間を 60% 短縮
- 韩国航空航天工业公司,DO-178C規格に準拠したヘリコプター用アクティブ振動制御システムソフトウェアを開発
- 劳斯莱斯:モデルベースの製品ラインにおける取り組み