Failure Estimation of Behavioral Specifications

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.

show abstract

“…Similarly, using (11) and (12), we obtain the transformed gains in the other error-free executions in the error recovery period,…”

Section: B Background: Cqlfmentioning

confidence: 99%

“…We now present a formal approach towards estimating the QoC of software implementations of control laws in the lines of [11]. We first generate all possible L length error scenarios from the intermittent fault profile (L, M, N ).…”

Section: Formal Estimation Of Qocmentioning

confidence: 99%