Finding Critical Components in Embedded Control Systems Sensitive to Quality-Faults

Embedded control systems used in safety critical systems need to be robust to quality-faults such as shift, noise, and spikes. Methods for finding counterexamples (quality-faults whose injection leads to violation of fault-tolerance requirements) at an early stage of control system design were proposed in the literature. Given these counterexamples, control design should be improved such that it is quality-fault tolerant. In this paper, we propose an effective methodology for finding critical components in embedded control systems which are sensitive to quality-faults based on the given counterexamples, which is an important step towards improving the control design. Experimental results on the fault-tolerant fuel controller of Simulink library show the efficacy of proposed methodology.