Share Email Print

Proceedings Paper

System diagnosability analysis using model-based diagnosis tools
Author(s): Gregory Provan
Format Member Price Non-Member Price
PDF $17.00 $21.00

Paper 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.

Paper Details

Date Published: 20 July 2001
PDF: 9 pages
Proc. SPIE 4389, Component and Systems Diagnostics, Prognosis, and Health Management, (20 July 2001); doi: 10.1117/12.434228
Show Author Affiliations
Gregory Provan, Rockwell Science Ctr. (United States)

Published in SPIE Proceedings Vol. 4389:
Component and Systems Diagnostics, Prognosis, and Health Management
Peter K. Willett; Thiagalingam Kirubarajan, Editor(s)

© SPIE. Terms of Use
Back to Top
Sign in to read the full article
Create a free SPIE account to get access to
premium articles and original research
Forgot your username?