In this paper we propose an equation model of system-level fault diagnoses, and construct corresponding theory and algorithms. People can turn any PMC model on ex-test into an equivalent equation (or a system of equat...In this paper we propose an equation model of system-level fault diagnoses, and construct corresponding theory and algorithms. People can turn any PMC model on ex-test into an equivalent equation (or a system of equations), and find all consistent fault patterns based on the equation model. We can also find all fault patterns, in which the fault node numbers are less than or equal to t without supposing t-diagnosable. It is not impossible for all graphic models.展开更多
With the popularization of multiprocessor systems and network applications,the study of dependability of systems has become an unportant research area of computer science. A 'Boolean equation diagnosis' method...With the popularization of multiprocessor systems and network applications,the study of dependability of systems has become an unportant research area of computer science. A 'Boolean equation diagnosis' method is firstly presented for test model of system-level fault diagnosis, and the correctness of the equations has been proven. The Boolean equation is more concise than the graph method in test model representation. Based on the equations,the methods to compute optimal diagnosis, the set of consistent fault pattern,absolute good processors and bad processors are presented. And some theorems about the relationship among different test models on the set of consistent fault pattern and diagnosibility are proved. It is a useful attempt in theory and practice of system-level fault diagnosis.展开更多
基金Project supported by the National Natural Science Foundation of China! (No.69973016).
文摘In this paper we propose an equation model of system-level fault diagnoses, and construct corresponding theory and algorithms. People can turn any PMC model on ex-test into an equivalent equation (or a system of equations), and find all consistent fault patterns based on the equation model. We can also find all fault patterns, in which the fault node numbers are less than or equal to t without supposing t-diagnosable. It is not impossible for all graphic models.
文摘With the popularization of multiprocessor systems and network applications,the study of dependability of systems has become an unportant research area of computer science. A 'Boolean equation diagnosis' method is firstly presented for test model of system-level fault diagnosis, and the correctness of the equations has been proven. The Boolean equation is more concise than the graph method in test model representation. Based on the equations,the methods to compute optimal diagnosis, the set of consistent fault pattern,absolute good processors and bad processors are presented. And some theorems about the relationship among different test models on the set of consistent fault pattern and diagnosibility are proved. It is a useful attempt in theory and practice of system-level fault diagnosis.
