System diagnosability analysis using model-based diagnosis tools

Gregory Provan

doi:10.1117/12.434228

20 July 2001 System diagnosability analysis using model-based diagnosis tools

Gregory Provan

Proceedings Volume 4389, Component and Systems Diagnostics, Prognosis, and Health Management; (2001) https://doi.org/10.1117/12.434228
Event: Aerospace/Defense Sensing, Simulation, and Controls, 2001, Orlando, FL, United States

Abstract

Computing the diagnosability of a discrete-valued system (such as an avionics system), or conversely, a set of test vectors to efficiently determine system diagnosability, is a well-known task within the area of system diagnostics. There are a number of approaches that have been adopted for this task, and many tools have been developed and are available commercially. This article describes a new approach for this task, using techniques developed within the model-based diagnostics (MBD) community. The benefits of this new approach are: (1) the same model used for system design and analysis can be used for diagnosability testing; and (2) a diagnosability model (or set of test vectors) can be compiled from the MBD model, without having to have a model for design and one for diagnosability.

Citation Download Citation

Gregory Provan "System diagnosability analysis using model-based diagnosis tools", Proc. SPIE 4389, Component and Systems Diagnostics, Prognosis, and Health Management, (20 July 2001); https://doi.org/10.1117/12.434228

ACCESS THE FULL ARTICLE

INSTITUTIONAL
Select your institution to access the SPIE Digital Library.

SELECT YOUR INSTITUTION

PERSONAL
Sign in with your SPIE account to access your personal subscriptions or to use specific features such as save to my library, sign up for alerts, save searches, etc.

PERSONAL SIGN IN

No SPIE Account? Create one

PURCHASE THIS CONTENT

SUBSCRIBE TO DIGITAL LIBRARY

50 downloads per 1-year subscription

Members: $195

Non-members: $335 ADD TO CART

25 downloads per 1 - year subscription

Members: $145

Non-members: $250 ADD TO CART

PURCHASE SINGLE ARTICLE

Includes PDF, HTML & Video, when available