做- 254

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

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

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