DO Qualification Kit (for DO-178 and DO-254)

更新

DO-178 対応の航空電子工学システムソフトウェアの認証

キットのワークフロー ガイダンスやその他の資料を使用して、DO-178C 認証プロセスをサポートします。上記のリソースを使用することで、DO-330、DO-331、DO-333 などの補完規定に対応した Simulink および Polyspace ソフトウェアツールの使用が容易になります。

DO-254 に対応した航空電子工学システムハードウェアの認証

DO Qualification Kit には、DO-254 への準拠を実証する際に、Simulink の検証ツールを簡単に利用できるようにするためのワークフロー ガイダンスとその他の資料が用意されています。

ツールの適格性確認

キットに用意されている文書テンプレート、テストケース、およびテスト手順を使用して、DO-178C で指定されたツール適格性確認手法を実装し、サポート対象の Simulink および Polyspace 製品の適格性を確認します。

「モデルベースデザインを用いて当社は最初のフライトを無事成功させました。制御や統合の点で何も問題はありませんでした。Embedded Coder を用いて当社の Simulink モデルから制御則のコードを生成することで、手動のコード生成による遅れを無くし、開発チームは自由になった時間でプログラムのより広範な目標を達成できました。」

Mike Bothwell, Bell Helicopter