Design and Validation of Fault‐tolerant Embedded Controllers
Saurav Kumar Ghosh1,a, Soumyajjit Dey1,b, Dip Goswami2, Daniel Mueller‐Gritschneder3,c and Samarjit Chakraborty3,d
1Indian Institute of Technology Kharagpur
asaurav.kumar.ghosh@cse.iitkgp.ernet.in
bsoumya@cse.iitkgp.ernet.in
2Eindhoven University of Technology
d.goswami@tue.nl
3TU Munich
cdaniel.mueller@tum.de
dsamarjit@tum.de
ABSTRACT
Embedded control systems are an important and often safety‐critical class of applications that need to operate reliably even in the presence of faults. We show that intermittent fault scenarios caused by wear‐out effects due to a higher density and a smaller geometry of the embedded electronic components may become a reliability concern for real‐time embedded control applications. To mitigate the effects of such intermittent faults, we propose a novel fault‐tolerant controller design method such that the resulting controllers ensure closed loop stability (i.e., guarantee safety) with only possibly degraded performance under such fault scenarios. In order to measure the amortized performance offered by the software implementations of such fault‐tolerant controllers, we provide a program analysis methodology that statically estimates the quality of control guaranteed by the C code implementation of the fault‐tolerant control law. This combination of fault‐tolerant controller design followed by performance feedback computed using a formal analysis is illustrated with a case study from the automotive domain.
