要件ベース・システム・エンジニアリング

設計を開始する前に、誤っている要件、欠落している要件、矛盾する要件を検出

モデル実行可能システム仕様

STIMULUS に用意されたモデリング言語では、システム・アーキテクトが、完全に統合されたシミュレーション環境で、定式化されたテキスト要件、状態機械、ブロック図を組み合わせることができます。テキスト要件はシステム機能アーキテクチャの各レベルで割り当てることができます。状態機械は一般に、アトミック・システムの実行モードや操作手順を記述するために使用します。

テキスト要件

STIMULUS の言語テンプレート・ライブラリは、あいまい性のない、標準化されたシステム要件を記述するための一般的な業界慣行をサポートしています。

状態機械

STIMULUS には階層型状態機械があり、テキスト要件と簡単に組み合わせて、各実行モードで期待されるシステム挙動を指定できます。

ブロック図

STIMULUS のブロック図では、ファンクショナル・アーキテクチャまたはシステム・アーキテクチャの説明を記述できます。各システム・レベルで要件を改良し、サブシステムに割り当てることができます。

システム仕様のデバッグとテスト

STIMULUS を使用すると、完全なシステム仕様(要件、状態機械、ブロック図)を全体的にシミュレートし、仕様エラーを設計フェーズの前に検出できます。したがって、効果的な要件と、テスト駆動型の開発プロセスを採用できます。STIMULUS は、システム仕様を満たす多数の実行トレースを生成し、要件のシミュレーション結果を解析する強力なデバッグ機能を提供します。機能には、要件の矛盾や欠落の自動検出と診断、要件のカバレッジ、アクティブな要件の強調表示、信号モニタリングなどがあります。