Please use this identifier to cite or link to this item: http://repositorio.inesctec.pt/handle/123456789/5024
Title: A Compositional Monitoring Framework for Hard Real-Time Systems
Authors: Pedro,AD
Pereira,D
Pinho,LM
Jorge Sousa Pinto
Issue Date: 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.
URI: http://repositorio.inesctec.pt/handle/123456789/5024
http://dx.doi.org/10.1007/978-3-319-06200-6_2
metadata.dc.type: conferenceObject
Publication
Appears in Collections:HASLab - Articles in International Conferences

Files in This Item:
File Description SizeFormat 
P-009-HNQ.pdf451.54 kBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.