Design and validation of fault-tolerant embedded controllers

Saurav Kumar Ghosh, Soumyajjit Dey, Dip Goswami, Daniel Mueller-Gritschneder, Samarjit Chakraborty

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

6 Citations (Scopus)
2 Downloads (Pure)


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.

Original languageEnglish
Title of host publicationProceedings of the 2018 Design, Automation and Test in Europe Conference and Exhibition, DATE 2018
PublisherInstitute of Electrical and Electronics Engineers
Number of pages6
ISBN (Electronic)9783981926316
Publication statusPublished - 19 Apr 2018
Event21st Design, Automation and Test in Europe Conference and Exhibition, DATE 2018 - Dresden, Germany
Duration: 19 Mar 201823 Mar 2018
Conference number: 21


Conference21st Design, Automation and Test in Europe Conference and Exhibition, DATE 2018
Abbreviated titleDATE 2018
Internet address


Dive into the research topics of 'Design and validation of fault-tolerant embedded controllers'. Together they form a unique fingerprint.

Cite this