要件のトレーサビリティとは
要件のトレーサビリティは、モデル、テスト、コードと要件を結ぶデジタルスレッドを作成するプロセスです。これにより設計のライフサイクルにおける変更の影響を容易に把握し、無駄を減らすことができます。
トレーサビリティ解析は、自動車産業の ISO® 26262 や IEC 61508、商用航空の DO-178C、鉄道の EN 50128、医療分野の IEC 62304、および CMMI や Automotive SPICE®* (ASPICE) をはじめとする一般的なソフトウェア開発標準などの業界標準への準拠に必要です。
Simulink®、System Composer™、Stateflow® の要件のトレーサビリティの確保に向けて作業するシステムエンジニア、ソフトウェア設計者、開発者の一般的なタスクには次のようなものがあります。
- 要件が実装されている開発環境内でそれらの詳細を表示する
- 要件管理ツールの要件から設計、テスト、テスト結果までのトレーサビリティを作成する
- 設計、テスト、要件の情報を含むトレーサビリティ レポートを単一の文書で生成する
- 要件に紐付けられた設計とテストを特定して、外部要件に移動する
- 設計とテストにおける要件変更の影響を理解する
Simulink 環境は、要件のトレーサビリティの効率的なリンク、解析、レポートを行うための機能を提供します。また、要件を形式化し、整合性、完全性、正確性を解析できます。形式化した要件を設計モデルに結び付けて、業界標準への準拠を検証できます。
詳細については、Simulink、System Composer、Requirements Toolbox™ をご覧ください。
製品使用例および使い方
ユーザー事例
ソフトウェア リファレンス
参考: 形式的検証, Requirements Toolbox, モデルベースのテスト, Simulink Design Verifier