このページの翻訳は最新ではありません。ここをクリックして,英語の最新版を参照してください。
冗長ロジック,および各ステートへの明示的な遷移を使用して,セーフティクリティカルなモデルがシステム故障から回復できるようにします。システム故障が発生した場合,操作点を使用してこれを検出し,分離します。シミュレーション全体を再実行せずに,特定の故障時間でモデルをテストします。
1つ以上の故障に対するチャートの応答をチェックする。
真理値表を使用して,故障状態を結果のアクションにマップする。
システム故障を検出し,故障モードから回復する。