基于模型的诊断系统验证
诊断系统在很多领域都非常重要,从工业设备到运输都有应用需求.诊断系统能够识别某个可能进入危险状态或根本不可能状态的设备现在是否正常运行.诊断系统可以指导控制过程,阻止没被发现而可能导致灾难的实效事件的发生.在某些安全攸关领域中,诊断已成为开发系统的重要步骤,诊断系统的验证工作举足轻重.文章介绍了基于模型的诊断系统的验证方法,包括诊断系统相关概念、基于模型的诊断理论以及一个基于模型的自治诊断系统Livingstone及其自动验证.
诊断系统 基于模型 验证
孟庆志 王戟
国防科学技术大学,计算机学院,湖南,长沙,410073
国内会议
西安
中文
135-136,140
2006-10-19（万方平台首次上网日期，不代表论文的发表时间）