Safety Analysis of Embedded Controllers Under Implementation Platform Timing Uncertainties

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

Publikation: Beitrag in FachzeitschriftArtikelBegutachtung

10 Zitate (Scopus)


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.

Seiten (von - bis)4016-4027
FachzeitschriftIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
PublikationsstatusVeröffentlicht - 1 Nov. 2022
Extern publiziertJa


Untersuchen Sie die Forschungsthemen von „Safety Analysis of Embedded Controllers Under Implementation Platform Timing Uncertainties“. Zusammen bilden sie einen einzigartigen Fingerprint.

Dieses zitieren