主要内容

故障检测、隔离和恢复

设计识别和管理系统故障的算法

通过对每个状态使用冗余逻辑和显式转换,使安全关键型模型能够从系统故障中恢复。当系统出现故障时,通过操作点检测并隔离故障。在特定的失败时间测试您的模型,而无需重新运行整个模拟。

主题

测试带有故障检测和冗余逻辑的图表

检查图表对一个或多个故障的响应。

使用真值表将故障条件映射到动作

使用真值表将故障条件映射到相应的操作。

在图表中设计隔离和恢复

检测系统故障并从故障模式中恢复。

特色的例子