JIAWG module fault coverage metrics methodology

The authors discuss the results of a Joint Integrated Avionics Working Group (JIAWG) evaluation of diagnostics initiative (JEDI) which is addressing the problem of accurately predicting and measuring fault detection, fault isolation, and other parameters of vendors´ diagnostic designs. The JEDI program developed the metrics, methodology, and data package needed for the government to evaluate digital diagnostic designs at the module level. Lessons learned from the JEDI effort include: the use of fault simulation in verifying diagnostics is feasible; exhaustive fault simulation is not practical unless random sampling techniques are employed; and checkpoint restart capability is required of the simulator. The JEDI methodology and the data package are discussed