Safety Analysis of Embedded Controllers Under Implementation Platform Timing Uncertainties

Clara Hobbs, Bineet Ghosh, Shengjie Xu, Parasara Sridhar Duggirala, Samarjit Chakraborty

Research output: Contribution to journalArticlepeer-review

10 Scopus citations


As embedded systems architectures become more complex and distributed, checking the safety of feedback control loops implemented on them becomes a crucial problem for emerging autonomous systems. Toward this, a number of recent papers have addressed the problem of checking stability in the presence of deadline misses. In this article, we argue that analyzing quantitative properties like the maximum deviation in system behavior (trajectory in the state space) between an ideal implementation platform and that having timing uncertainties is an equally important problem. We show that different strategies for handling deadline misses (or system overruns), all of which lead to a stable system, might differ considerably when considering such quantitative safety properties. However, analyzing such properties involves reachability analysis that is computationally expensive and, hence, not scalable. We show that suitable approximation strategies can address this computational bottleneck and such quantitative safety properties can be checked for realistic systems. As a result, we are able to identify best combinations of control and deadline miss handling strategies for individual systems and timing uncertainties.

Original languageEnglish
Pages (from-to)4016-4027
Number of pages12
JournalIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Issue number11
StatePublished - 1 Nov 2022
Externally publishedYes


  • Control
  • reachability
  • real-time
  • safety
  • weakly hard systems


Dive into the research topics of 'Safety Analysis of Embedded Controllers Under Implementation Platform Timing Uncertainties'. Together they form a unique fingerprint.

Cite this