トレーサビリティ

セーフティ クリティカルな設計では、要件がすべての設計および検証アクティビティの源となります。 さらに、要件と他のすべてのプロジェクト成果物との関係により、厳格な要件に基づいた設計および検証プロセスが守られていることの追跡、管理、実証することが可能になります。 このような関係をトレーサビリティデータと呼びます。

Relationships between requirements and other project artifacts

図 1. 要件と他のプロジェクト成果物との間の関係

 

トレーサビリティマトリックス

トレーサビリティマトリックスは、プロジェクト成果物のペア間の相関関係を示すスプレッドシートです。ハードウェア設計時に作成される最も一般的なマトリックスは以下の関係を示します:

  • 回路カードアセンブリとFPGAの要件
  • FPGAの要件とテストケース
  • テストケース、テストベンチ、検証結果
  • FPGA要件、概念設計および詳細設計

 

トレーサビリティマトリックスは、要件、設計、検証の各レベルでプロジェクトの完全性を示します。トップダウン方向のマトリックス(ダウンストリームトレーサビリティ) では、すべての要件の割り当て、実装、検証されていることを確認します。一方、ボトムアップビュー (アップストリームトレーサビリティ) では、未使用の要素が明らかになり、トレーサビリティデータ内の潜在的なギャップやエラーを発見する機会となります。

 

図 2. FPGA 要件とテスト ケースの間のトップダウン方向の関係

 

図 3. ボトムアップ方向の FPGA 要件とテスト ケースの関係

 

変更による影響解析

要件の変更は開発サイクルの一部であり、適切に管理されなければ最終製品の安全性に重大な影響を与える可能性があります。トレーサビリティマトリックスを適切に作成し維持することは、変更管理プロセスにとって非常に重要です。

 

Spec-TRACER™

Active-HDLで利用可能なアルデックのSpec-TRACERツールは、トレーサビリティの取得および分析プロセスを効率化して、各要件の完全実装、カバー、検証されていることを確認します。 要件カバレッジのギャップや未使用のHDLファンクションは、多方向のトレーサビリティマトリックスを使用して簡単に明らかにされ、レポートされます。

Ask Us a Question
x
Ask Us a Question
x
Captcha ImageReload Captcha
Incorrect data entered.
Thank you! Your question has been submitted. Please allow 1-3 business days for someone to respond to your question.
Internal error occurred. Your question was not submitted. Please contact us using Feedback form.
We use cookies to ensure we give you the best user experience and to provide you with content we believe will be of relevance to you. If you continue to use our site, you consent to our use of cookies. A detailed overview on the use of cookies and other website information is located in our Privacy Policy.