• 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