Hardware runtime monitoring for dependable cots-based real-time embedded systems (2008)

Content Provider	CiteSeerX
Author	Pellizzoni, Rodolfo Meredith, Patrick Caccamo, Marco
Description	COTS peripherals are heavily used in the embed-ded market, but their unpredictability is a threat for high-criticality real-time systems: it is hard or impossi-ble to formally verify COTS components. Instead, we pro-pose to monitor the runtime behavior of COTS peripherals against their assumed specifications. If violations are de-tected, then an appropriate recovery measure can be taken. Our monitoring solution is decentralized: a monitoring de-vice is plugged in on a peripheral bus and monitors the peripheral behavior by examining read and write trans-actions on the bus. Provably correct (w.r.t. given speci-fications) hardware monitors are synthesized from high level specifications, and executed on FPGAs, result-ing in zero runtime overhead on the system CPU. The pro-posed technique, called BusMOP, has been implemented as an instance of a generic runtime verification frame-work, called MOP, which until now has only been used for software monitoring. We experimented with our tech-nique using a COTS data acquisition board. 1.
File Format	PDF
Language	English
Publisher Date	2008-01-01
Publisher Institution	In Proceedings of the 29th IEEE Real-Time System Symposium (RTSS’08), RTSS’08
Access Restriction	Open
Subject Keyword	Peripheral Bus Embed-ded Market Runtime Overhead Runtime Behavior Assumed Specification Generic Runtime Verification Frame-work Cot Component Appropriate Recovery Measure Dependable Cots-based Real-time Pro-posed Technique Software Monitoring High-criticality Real-time System High Level Specification Monitoring De-vice Peripheral Behavior Cot Peripheral Monitoring Solution Write Trans-actions Hardware Monitor System Cpu Cot Data Acquisition Board
Content Type	Text
Resource Type	Article