
STIMULUS では、システム・アーキテクトが仕様フェーズで要件をシミュレートし、あいまいな要件、不正確な要件、欠落している要件、矛盾する要件を設計開始前に検出できるため、安全性が重視される組み込みシステムの検証に必要な高品質な仕様を作成できます。
開発チームは、要件の再定義、コードの書き換え、再デバッグに費やす時間を短縮し、高品質な結果を達成するために必要な開発の反復を減らすことができます。

STIMULUS では、システム・アーキテクトが仕様フェーズで要件をシミュレートし、あいまいな要件、不正確な要件、欠落している要件、矛盾する要件を設計開始前に検出できるため、安全性が重視される組み込みシステムの検証に必要な高品質な仕様を作成できます。
開発チームは、要件の再定義、コードの書き換え、再デバッグに費やす時間を短縮し、高品質な結果を達成するために必要な開発の反復を減らすことができます。