A Compositional Monitoring Framework for Hard Real-Time Systems
A Compositional Monitoring Framework for Hard Real-Time Systems
dc.contributor.author | Pedro,AD | en |
dc.contributor.author | Pereira,D | en |
dc.contributor.author | Pinho,LM | en |
dc.contributor.author | Jorge Sousa Pinto | en |
dc.date.accessioned | 2017-12-28T10:28:55Z | |
dc.date.available | 2017-12-28T10:28:55Z | |
dc.date.issued | 2014 | en |
dc.description.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. | en |
dc.identifier.uri | http://repositorio.inesctec.pt/handle/123456789/5024 | |
dc.identifier.uri | http://dx.doi.org/10.1007/978-3-319-06200-6_2 | en |
dc.language | eng | en |
dc.relation | 5595 | en |
dc.rights | info:eu-repo/semantics/openAccess | en |
dc.title | A Compositional Monitoring Framework for Hard Real-Time Systems | en |
dc.type | conferenceObject | en |
dc.type | Publication | en |
Files
Original bundle
1 - 1 of 1