故障检测、隔离与恢复
设计识别和管理系统故障的算法
通过为每个状态使用冗余逻辑和显式转换,使您的安全关键型模型能够从系统故障中恢复。当系统出现故障时,可采用工作点的方法进行故障检测和隔离。在不重新运行整个模拟的情况下,在特定的失败时间测试模型。
主题
- 使用真值表将故障条件映射到操作
使用真值表将故障情况映射到其随后的动作。
- 在图表中设计隔离和回收
检测系统故障并从故障模式中恢复。
- 具有故障检测和冗余逻辑的测试图
检查飞机升降机系统对执行机构故障的响应。