モデル実行可能システム仕様
STIMULUS に用意されたモデリング言語では、システム・アーキテクトが、完全に統合されたシミュレーション環境で、定式化されたテキスト要件、状態機械、ブロック図を組み合わせることができます。テキスト要件はシステム機能アーキテクチャの各レベルで割り当てることができます。状態機械は一般に、アトミック・システムの実行モードや操作手順を記述するために使用します。
システム仕様のデバッグとテスト
STIMULUS を使用すると、完全なシステム仕様(要件、状態機械、ブロック図)を全体的にシミュレートし、仕様エラーを設計フェーズの前に検出できます。したがって、効果的な要件と、テスト駆動型の開発プロセスを採用できます。STIMULUS は、システム仕様を満たす多数の実行トレースを生成し、要件のシミュレーション結果を解析する強力なデバッグ機能を提供します。機能には、要件の矛盾や欠落の自動検出と診断、要件のカバレッジ、アクティブな要件の強調表示、信号モニタリングなどがあります。