DO-178C・DO-278A が求めるエビデンスをどう生成するか
Qt Group は、DO-178C と DO-278A のためのエビデンスチェーン全体を、1社のサプライヤーとして提供します。
-
Axivion は、コードがコーディング規約に従っていること、そして実装が意図したアーキテクチャと一致していることを検証します。
-
Coco は、テストが実際にコードのどこまでを到達したかを計測します。
-
Squish は、対象デバイス上で、インターフェースが仕様通りに動作することを検証します。
DO-178C と DO-278A は、目標ベース（objective-based）の規格です。それぞれの目標には、要件、その要件を検証するテスト、そのテストが実行された記録、コードが実際に到達したことを示す計測、そしてこの4つをすべてつなぐ途切れないチェーンという、成果物が求められます。これを、連携していない個別のツールを使って手作業で組み立てる作業こそ、多くのプログラムが何ヶ月も費やしています。
DO-330 ツール認定
Qt Group は、Axivion、Coco、Squish 向けに、DO-330 ツール認定キットを提供しています。
各キットは、お客様の実際のツールチェーン、対象デバイス、適用規格に合わせて設計されており、お客様自身の環境で実行する妥当性確認テストスイートを含め、認証機関が求める成果物を生成します。認定作業は再現可能なため、ツールをアップグレードしても、その作業を手作業でやり直す必要はありません。
これらのキットは、ISO 26262、IEC 61508、IEC 62304、EN 50716 にも対応しており、航空宇宙・自動車・産業・鉄道といった複数のプログラムに、1つのコードベースで取り組むサプライヤーにとって重要な意味を持ちます。
防衛分野の開発要件に対応
防衛分野の調達では、民間航空分野とは異なる制約や要件が課されます。これらの条件は、通常、技術評価が始まる前の段階で決定されます。
-
インターネットから隔離された環境でも導入可能：Axivion、Squish、Coco、Test Centerはいずれもオフラインインストーラーを提供しており、外部ネットワークから隔離された環境（エアギャップ環境）を含め、お客様の社内ネットワーク内で運用できます。
-
ソースコードの外部提供は不要：静的解析、カバレッジ測定、テストの実行から結果の管理まで、すべてお客様の環境内で完結します。ベンダーがホストするサービスを利用する必要がなく、ソースコードやプロジェクトの詳細情報を外部に開示する必要もありません。
-
長期的な開発・保守を支えるエビデンス管理：再現性のある適格性評価、テスト履歴の保存、コードベースとともに管理されるアーキテクチャ定義により、特定の担当者の知識に依存しない開発体制を構築できます。契約終了後も検証の根拠を維持し、数十年にわたる製品の開発・保守を支援します。
-
プロジェクト間でのコンポーネント再利用：アーキテクチャの整合性を検証することで、あるプロジェクトで適格性が確認されたコンポーネントを、次のプロジェクトでも一から検証し直すことなく、信頼性を確保しながら再利用しやすくなります。
導入事例
弊社の製品について、お客様の声をご紹介します。
