Automatic test generation for model-based real-time fault diagnostic systems
First Claim
1. A method for testing the accuracy and completeness of a diagnostic system which analyzes the operation of a monitored process, the system being modeled as a graph model havinga plurality of on-line nodes representing functions being monitored by a first group of alarms,a plurality off-line nodes representing functions being monitored by off-line alarms,a plurality of nodes representing functions of the monitored process not having alarms associated therewith,a plurality of nodes representing fault source components, anda plurality of propagation paths, wherein each said path selectively interconnects at least two said nodes for representing allowable propagation of information from one node to another,the method comprising the steps of specifying each node of the model at which data signals shall originate,specifying for each originating node a time at which the data signal shall originate,propagating said data signal through said graph model and along said propagation paths, said propagation paths being characterized by minimum and maximum propagation times, and a probability of propagation of said signals along said paths, anddetermining the nodes to which said data signal is propagated and the time of its arrival.
2 Assignments
0 Petitions
Accused Products
Abstract
In a real-time diagnostic system, an alarm sequence generator is used to test the correctness of a fault model. The fault model describes an industrial process being monitored. The alarm sequence generator reads the fault model and generates a user interface, from which specific components can be selected for failure at specified times. The alarm sequence generator assembles all alarms that are causally downstream from the selected set of faulty components and determines which alarms should be turned on based on probabilistic and temporal information in the fault model. The timed alarm sequence can be used by an expert to measure the correctness of a particular model, or can be used as input into a diagnostic system to measure the correctness of the diagnostic system.
68 Citations
8 Claims
-
1. A method for testing the accuracy and completeness of a diagnostic system which analyzes the operation of a monitored process, the system being modeled as a graph model having
a plurality of on-line nodes representing functions being monitored by a first group of alarms, a plurality off-line nodes representing functions being monitored by off-line alarms, a plurality of nodes representing functions of the monitored process not having alarms associated therewith, a plurality of nodes representing fault source components, and a plurality of propagation paths, wherein each said path selectively interconnects at least two said nodes for representing allowable propagation of information from one node to another, the method comprising the steps of specifying each node of the model at which data signals shall originate, specifying for each originating node a time at which the data signal shall originate, propagating said data signal through said graph model and along said propagation paths, said propagation paths being characterized by minimum and maximum propagation times, and a probability of propagation of said signals along said paths, and determining the nodes to which said data signal is propagated and the time of its arrival.
-
5. Apparatus for testing the accuracy and completeness of a diagnostic system which analyzes the operation of a monitored process, the system being modeled as a graph model having
a plurality of on-line nodes representing functions being monitored by a first group of alarms, a plurality of off-line nodes representing functions being monitored by off-line alarms, a plurality of nodes representing functions of the monitored process not having alarms associated therewith, a plurality of nodes representing fault source components, and a plurality of propagation paths, wherein each said path selectively interconnects at least two said nodes for representing allowable propagation of information from one node to another, the apparatus comprising means for specifying each node of the model at which data signals shall originate, means for specifying for each originating node a time at which the data signal shall originate, means for propagating said data signal through said graph model and along said propagation paths, said propagation paths being characterized by minimum and maximum propagation times, and a probability of propagation of said signals along said paths, and means for determining the nodes to which said data signal is propagated and the time of its arrival.
Specification