A Compositional Monitoring Framework for Hard Real-Time Systems
- Citation:
- Pedro AM, Pereira D, Pinho LM, Pinto JS. 2014. A Compositional Monitoring Framework for Hard Real-Time Systems. Proceedings of the 6th NASA Formal Methods Symposium.
Tertiary Title:
Lecture Notes in Computer ScienceDate Presented:
AprilAbstract:
Runtime Monitoring of hard real-time embedded systems is a promising technique for ensuring that a running system respects tim- ing 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 differ- ent 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.
Citation Key:
PintoJS:commfhrtsDOI:
10.1007/978-3-319-06200-6_2
Copyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.