论文部分内容阅读
诊断系统在很多领域都非常重要,从工业设备到运输都有应用需求.诊断系统能够识别某个可能进入危险状态或根本不可能状态的设备现在是否正常运行.诊断系统可以指导控制过程,阻止没被发现而可能导致灾难的实效事件的发生.在某些安全攸关领域中,诊断已成为开发系统的重要步骤,诊断系统的验证工作举足轻重.文章介绍了基于模型的诊断系统的验证方法,包括诊断系统相关概念、基于模型的诊断理论以及一个基于模型的自治诊断系统Livingstone及其自动验证.