Login

A Compositional Monitoring Framework for Hard Real-Time Systems
Ref: CISTER-TR-140104       Publication Date: 29, Apr, 2014

A Compositional Monitoring Framework for Hard Real-Time Systems

Ref: CISTER-TR-140104       Publication Date: 29, Apr, 2014

Abstract:
Runtime Monitoring of hard real-time embedded systems is a promising technique for ensuring that a running system respects timing constraints, possibly combined with faults originated by the software and/or hardware. This is particularly important when we have real-time embedded systems made of several components that must combine different levels of criticality, and different levels of correctness requirements. This paper introduces a compositional monitoring framework coupled with guarantees that include time isolation and the response time of a monitor for a predicted violation. The kind of monitors that we propose are automatically generated by synthesizing logic formulas of a timed temporal logic, and their correctness is ensured by construction.

Authors:
André Pedro
,
David Pereira
,
Luis Miguel Pinho
,
Jorge Sousa Pinto


NASA Formal Methods Symposium 2014 (NFM14), Springer International Publishing, LNCS 8430, pp 16-30.
Houston, TX, U.S.A..



Record Date: 29, Jan, 2014