Ansys SCADE Architectクリティカルシステムのシステム設計・アーキテクチャ設計支援ツール
特徴2
システム設計の検証
設計された機能モデルやアーキテクチャモデルに対して、静的な検証を実行します。各モデルは目的が異なるため、異なる検証ルールを異なるコンポーネントに適用させるカスタマイズルール設定が可能です。選択・設定したルールに基づいてチェックが実行され、その結果がレポートとしてエディタ上に表示されます。エラーレポート内に出力されているメッセージから、問題の箇所へのリンクがとられているので、効率良くデバッグすることができます。

