DO-254 規格は、ハードウェアが航空機搭載システムでの使用認定を受けるための一連の目標を定義しています。MATLAB® および Simulink® は、DO-254 の目標達成を支援し、以下のプロセスをサポートします。
- 要件の管理とトレース
- 設計規格への準拠
- HDL 設計
- 検証と妥当性確認
また、モデルベースデザイン (MBD、モデルベース開発) を用いることで、要件の早期検証、要件への自動リンク、モデルとコードの規格チェック、コード生成、レポート アーティファクトの生成、および異なるレベルでのテストケースの再利用を関連付けて、コスト削減と開発期間短縮の利点を実現しながら、DO-254 の目標を達成することができます。
DO-254 サポート資料
- モデルベースデザインを使用して DO-254 への準拠を実証する方法 (8:25)
- SoC に実装された飛行制御システムの認証 (13:33)
- HDL Coder で生成されたコードを使用して STARC および DO-254 準拠を達成
- 組み込みシステム向け MATLAB および Simulink
- MathWorks と Speedgoat のソリューションを使用した航空宇宙分野向け HIL および自動テスト アプリケーション
- Universal Verification Methodology (UVM)
- SystemVerilog アサーション
- DO-254 モデルベースデザイン ワークフローの詳細ポスター