Robustness Analysis of Embedded Control Systems with respect to Signal Perturbations: Finding Minimal Counterexamples using Fault Injection
Satya Gautam Vadlamudi , Indian Institute of Technology Kharagpur, Kharagpur
Partha Pratim Chakrabarti , Indian Institute of Technology Kharagpur, Kharagpur
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/TDSC.2013.23
Fault-Tolerance of embedded control systems is of great importance, given their wide usage in various domains such as aeronautics, automotive, medical, etc. Signal perturbations such as small amounts of noise, shift, and spikes, can sometimes severely hamper the performance of the system, apart from complete failure of components and links. Finding minimal counterexamples (perturbations on the system leading to violation of fault-tolerance requirements) can be of great assistance to control system designers in understanding and adjusting the fault-tolerance behaviour of the system. Fault injection is an effective method for dependability analysis of such systems. In this paper, we introduce the concept of dominating sets of perturbations, and define a minimal set of counterexamples called the basis. We propose effective methods using a simulation-based fault injection technique on Simulink models for finding the basis set at an early stage of design, given the fault specification and fault-tolerance requirements. Experimental results on two different control system examples from the Simulink automotive library demonstrate the efficacy of the proposed framework.
Embedded Control Systems, Fault-Tolerance Analysis
Satya Gautam Vadlamudi, Partha Pratim Chakrabarti, "Robustness Analysis of Embedded Control Systems with respect to Signal Perturbations: Finding Minimal Counterexamples using Fault Injection", IEEE Transactions on Dependable and Secure Computing, , no. 1, pp. 1, PrePrints PrePrints, doi:10.1109/TDSC.2013.23