DO-178C 規格は、ソフトウェアが航空機搭載システムでの使用認定を受けるための一連の目標を定義しています。DO-178C 目標の達成を支援する検証手法を用いることにより、システム開発におけるリスクおよび労力を軽減することができます。

  • 実行可能な仕様を作成することにより、システム要件を反復して調整
  • 堅牢性および保守性を確保するために、モデル化とシミュレーションを活用してアーキテクチャを定義し、設計の選択肢を確認
  • back-to-back テストおよび要件からテストに至るまでのエンドツーエンドのトレーサビリティにより、コードと実行可能なカバレッジを実証
  • モデルおよびコードのレビュー作業を自動化
  • 形式的手法の使用によりテスト作業を軽減

要件およびトレーサビリティの管理

エンドツーエンドのトレーサビリティにより、システム要件を管理します。

  • リッチテキスト、画像、およびそのすべての属性を使用して要件を作成
  • 目標の達成度を確認および実証
  • 認証監査のために要件文書を作成
要件およびトレーサビリティの管理

設計の実装および検証

設計の実装および検証

設計の堅牢性と保守性を確保するよう、アーキテクチャの設計および実装の選択を行います。


コード品質の実証

Motor Industry Software Reliability Association (MISRA) 準拠および形式的手法によりコードの妥当性確認を自動化します。

  • MISRA または CERT-C のルールに関してコードを検査することでコードの品質および保守性をチェック
  • 形式的手法 (DO-333) を活用して低水準のテスト作業を軽減
コード品質の実証

要件に基づいた実装のテスト

カバレッジ結果でのテストおよび要件のトレーサビリティ

要件に基づいた実装のテスト

機能的期待値および技術的期待値に関する要件への適合性を実証します。


適格性確認済みワークフローの実現

「従来の手作業のプロセスで作成したコードと同じように、当社では生成されたコードの品質に高い信頼を置いています。Embedded Coder により正しいコードを生成し、Simulink Code Inspector を使用して、そのコードのモデルに対するトレーサビリティを確保できます。」

Jillian Alfred, Bell 525 fly-by-wire control law designer