基于模型的诊断系统验证

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

Model-based Validation of Diagnosis System

Diagnosis systems are of paramount important in many application domains, ranging from industrial plants to transportation. Diagnosis systems provide the ability to identify whether a certain plant, possibly operating in hazardous or inaccessible situation,is working correctly. They can help in the process of control, and prevent simple failures to stay undetected and degenerate into catastrophic events. When diagnosis is carried out in critical domains, it becomes a critical step, and the validation of diagnosis systems is of fundamental important .This paper introduces validation of model-based diagnosis system, including introduction of diagnosis system, some theories of diagnosability, then Livingstone-a model-based autonomous diagnosis system and automatic validation of it.