Reset-based recovery for real-time cyber-physical systems with temporal safety constraints

Fardin Abdi Taghi Abad, Renato Mancuso, Stanley Bak, Or Dantsker, Marco Caccamo

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

In traditional computing systems, software problems are often resolved by platform restarts. This approach, however, cannot be naïvely used in cyber-physical systems (CPS). In fact, in this class of systems, ensuring safety strictly depends on the ability to respect hard real-time constraints. Several adaptations of the Simplex architecture have been proposed to guarantee safety in spite of misbehaving software components. However, the problem of performing recovery into a fully operational state has not been extensively addressed. In this work, we discuss how resets can be used in CPS as an effective strategy to recover from a variety of software faults. Our work extends the Simplex architecture in a number of directions. First, we provide sufficient conditions under which safety is guaranteed in spite of fault-induced resets. Second, we introduce a novel technique to express not only state-dependent safety constraints, as typically done in Simplex, but also time-dependent safety properties. Finally, through a proof-of-concept minimal implementation on a small R/C helicopter and simulation-based system modeling, we show the effectiveness of the proposed recovery strategy under the assumed fault model.

Original languageEnglish (US)
Title of host publication2016 IEEE 21st International Conference on Emerging Technologies and Factory Automation, ETFA 2016
PublisherInstitute of Electrical and Electronics Engineers Inc.
ISBN (Electronic)9781509013142
DOIs
StatePublished - Nov 3 2016
Event21st IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2016 - Berlin, Germany
Duration: Sep 6 2016Sep 9 2016

Publication series

NameIEEE International Conference on Emerging Technologies and Factory Automation, ETFA
Volume2016-November
ISSN (Print)1946-0740
ISSN (Electronic)1946-0759

Other

Other21st IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2016
CountryGermany
CityBerlin
Period9/6/169/9/16

ASJC Scopus subject areas

  • Electrical and Electronic Engineering
  • Control and Systems Engineering
  • Industrial and Manufacturing Engineering
  • Computer Science Applications

Fingerprint Dive into the research topics of 'Reset-based recovery for real-time cyber-physical systems with temporal safety constraints'. Together they form a unique fingerprint.

Cite this