主要内容

このページの翻訳は最新ではありません。ここをクリックして,英語の最新版を参照してください。

故障検出、分離、回復

システム故障を特定および管理するアルゴリズムを設計する

冗長ロジック,および各ステートへの明示的な遷移を使用して,セーフティクリティカルなモデルがシステム故障から回復できるようにします。システム故障が発生した場合,操作点を使用してこれを検出し,分離します。シミュレーション全体を再実行せずに,特定の故障時間でモデルをテストします。

トピック

故障検出ロジックと冗長ロジックをもつチャートのテスト

1つ以上の故障に対するチャートの応答をチェックする。

真理値表を使用した故障状態からアクションへのマッピング

真理値表を使用して,故障状態を結果のアクションにマップする。

チャートにおける分離と回復のための設計

システム故障を検出し,故障モードから回復する。

注目の例