主要内容

故障检测、隔离和恢复

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

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

主题