DO Qualification Kit には、DO-178C、DO-278A、および関連する補足規定に基づくプロジェクト向けに、Simulink および Polyspace ソフトウェア検証ツールの適格性を確認するためのドキュメンテーション、テストケース、および手順が用意されています。このキットには、ツール適格性確認の計画、ツール運用要件に加えて、ソフトウェア検証ツールの適格性を確認するために必要なその他の資料が含まれています。このキットを使用することで、サポート対象の Simulink 製品で、モデルベースデザイン (MBD、モデルベース開発) のワークフローを使用して開発した組み込みシステムの認証を合理化できます。Polyspace 製品でこのキットを使用することで、従来のワークフローやモデルベースデザインを使用する組み込みシステムの認証を合理化できます。
DO Qualification Kit は、DO-254 に基づくプロジェクト向けの Simulink モデル検証ツールの適格性確認にも対応しています。Simulink Code Inspector および Polyspace コード検証ツールは HDL コードをサポートしていないため、DO-254 には適用できません。
ツール検証キットは、DO-330 ソフトウェアツールの適格性確認に関する考慮事項に基づき、Simulink および Polyspace 検証ツールの特定のバージョンに対応しています。ツール認証キットの成果物を特定のプロジェクト用に変更し、認証のために提出する DO-178C、DO-278A、および DO-254 認証パッケージに含めることができます。
ドキュメンテーション | 例
DO-254 に対応した航空電子工学システムハードウェアの認証
DO Qualification Kit には、DO-254 への準拠を実証する際に、Simulink の検証ツールを簡単に利用できるようにするためのワークフロー ガイダンスとその他の資料が用意されています。
ツールの適格性確認
キットに用意されている文書テンプレート、テストケース、およびテスト手順を使用して、DO-178C で指定されたツール適格性確認手法を実装し、サポート対象の Simulink および Polyspace 製品の適格性を確認します。
製品リソース:
「モデルベースデザインを用いて当社は最初のフライトを無事成功させました。制御や統合の点で何も問題はありませんでした。Embedded Coder を用いて当社の Simulink モデルから制御則のコードを生成することで、手動のコード生成による遅れを無くし、開発チームは自由になった時間でプログラムのより広範な目標を達成できました。」
