Research on Equivalent Fault Injection Method Based on Dependency Matrix

摘要

An equivalent fault injection method based on dependency matrix is proposed to deal with the problem of incapability of fault injection or permanent damage to the equipment in the fault injection-based testability verification test, and the problem that is caused by complex structure and high integration of new equipment is ubiquitous. Firstly, the definition of the testability Petri net and its matrix representation method are given, based on this, the algorithm for generating fault-state dependency matrix based on Petri net is proposed. Then, the equivalence of non-injectable faults is analyzed by defining fault behavior vectors and behavioral equivalent faults, and the equivalent injection process for adding samples that can be injected in the testability verification test is proposed. The results of application in an equipment control system show that this method is capable of equivalent injection for non-injectable faults, which increasing the sample size of fault injection effectively.