最新ツールが支えるモデルベース設計

図1　エラーを確実に検出する作業フロー　シミュレーションが要件に直結していないと、問題が生じる可能性がある。対処法の1つは、要件ベースのテストを定義し、要件および設計のエラーを確実に検出するためのシミュレーションを採用することである（提供：MathWorks社）。