DocumentCode
2714846
Title
A methodology for the development of model-based diagnostic systems
Author
Chantler, M.J. ; Leitch, R.R. ; Shen, Q. ; Coghill, G.M.
Author_Institution
Heriot-Watt Univ., Edinburgh, UK
fYear
1995
fDate
34730
Firstpage
42491
Lastpage
42493
Abstract
The development of application systems for fault diagnosis has attracted worldwide interest in many different research areas. In particular, advanced techniques for finding faults through the use of explicit structural and/or behavioural models of the physical system to be diagnosed have been developed both in the area of control engineering and in the field of artificial intelligence. Although many approaches to creating model-based diagnostic systems (MBDS) exist, as yet, no clear methodology is available for the selection of an appropriate approach to solve individual given diagnostic problems. We have therefore been developing a specification methodology that essentially comprises a taxonomy of diagnostic tasks, a taxonomy of model-based systems, and a set of guidelines that provides a mapping from the former to the latter, Our aim is to provide a method by which existing MBDS tools and techniques may be combined within a generic architecture in a principled manner to produce effective diagnostic systems for given applications. The structure of the methodology has been derived in part from the top level architectural design of ARTIST, a generic model-based diagnostic toolkit that combines a wide variety of model based diagnostic (MBD) tools. This architecture is based upon the three main types of knowledge that are necessary for the construction of model based diagnostic systems
Keywords
diagnostic expert systems; formal specification; model-based reasoning; systems analysis; ARTIST; MBDS; application systems; diagnostic tasks; fault diagnosis; generic architecture; generic model-based diagnostic toolkit; model-based diagnostic systems; model-based systems; specification methodology; top level architectural design;
fLanguage
English
Publisher
iet
Conference_Titel
Real-Time Knowledge Based Systems, IEE Colloquium on
Conference_Location
London
Type
conf
DOI
10.1049/ic:19950108
Filename
478144
Link To Document