Hardware runtime monitoring for dependable COTS-based real-time embedded systems

Rodolfo Pellizzoni, Patrick Meredith, Marco Caccamo, Grigore Roşu

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

Abstract

COTS peripherals are heavily used in the embedded market, but their unpredictability is a threat for high-criticality real-time systems: it is hard or impossible to formally verify COTS components. Instead, we propose to monitor the runtime behavior of COTS peripherals against their assumed specifications. If violations are detected, then an appropriate recovery measure can be taken. Our monitoring solution is decentralized: a monitoring device is plugged in on a peripheral bus and monitors the peripheral behavior by examining read and write transactions on the bus. Provably correct (w.r.t. given specifications) hardware monitors are synthesized from high level specifications, and executed on FPGAs, resulting in zero runtime overhead on the system CPU. The proposed technique, called BusMOP, has been implemented as an instance of a generic runtime verification framework called MOP, which until now has only been used for software monitoring. We experimented with our technique using a COTS data acquisition oard.

Original languageEnglish (US)
Title of host publicationProceedings - 2008 Real-Time Systems Symposium, RTSS 2008
Pages481-491
Number of pages11
DOIs
StatePublished - Dec 1 2008
Event2008 Real-Time Systems Symposium, RTSS 2008 - Barcelona, Spain
Duration: Nov 30 2008Dec 3 2008

Publication series

NameProceedings - Real-Time Systems Symposium
ISSN (Print)1052-8725

Other

Other2008 Real-Time Systems Symposium, RTSS 2008
Country/TerritorySpain
CityBarcelona
Period11/30/0812/3/08

ASJC Scopus subject areas

  • Software
  • Hardware and Architecture
  • Computer Networks and Communications

Fingerprint

Dive into the research topics of 'Hardware runtime monitoring for dependable COTS-based real-time embedded systems'. Together they form a unique fingerprint.

Cite this