@conference {PintoJS:commfhrts,
	title = {A Compositional Monitoring Framework for Hard Real-Time Systems},
	booktitle = {Proceedings of the 6th NASA Formal Methods Symposium},
	series = {Lecture Notes in Computer Science},
	year = {2014},
	month = {April},
	publisher = {Springer-Verlag},
	organization = {Springer-Verlag},
	address = {Houston, Texas},
	abstract = {<p>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.</p>
},
	attachments = {https://haslab.uminho.pt/sites/default/files/jsp/files/2014_nfm_14_b.pdf},
	author = {Andr{\'e} Matos Pedro and David Pereira and Lu{\'\i}s Miguel Pinho and Jorge Sousa Pinto}
}