主要内容

故障检测、隔离和恢复

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

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

主题

用故障检测和冗余逻辑测试图表

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

使用真值表将错误条件映射到操作

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

为图表中的隔离和恢复而设计

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

特色的例子