Simulink モデルベース開発を支援する
プロダクトライン開発・テスト自動化ツールの統合
プロダクトライン開発
Simulink上に定義されるバリエーションをフィーチャモデルで管理。
フィーチャ間の依存・排他関係、制約条件等に沿ってバリアントモデルを自動生成。
テスト自動化
Simulinkから自動生成されるコードをインデペンデントに検証（静的解析、単体テスト、カバレッジ解析等）。
ISO 26262、IEC 61508 等で求められるトレーサビリティを支援。
お勧め資料
・Simulink モデルベース開発の派生開発を支援するプロダクトライン開発・モデル検査・テスト自動生成ツールの統合
・形式手法/モデル検査/テストベクタ自動生成
・ソフトウエア・プロダクトライン・ライフサイクルに於けるテストの自動化プロセス
