DO-254 規格は、ハードウェアが航空機搭載システムでの使用認定を受けるための一連の目標を定義しています。MATLAB® および Simulink® は、DO-254 の目標達成を支援し、以下のプロセスをサポートします。

  • 要件の管理とトレース
  • 設計規格への準拠
  • HDL 設計
  • 検証と妥当性確認

また、モデルベースデザイン (MBD、モデルベース開発) を用いることで、要件の早期検証、要件への自動リンク、モデルとコードの規格チェック、コード生成、レポート アーティファクトの生成、および異なるレベルでのテストケースの再利用を関連付けて、コスト削減と開発期間短縮の利点を実現しながら、DO-254 の目標を達成することができます。