Please use this identifier to cite or link to this item: http://repositorio.inesctec.pt/handle/123456789/5028
Title: Monitoring for a Decidable Fragment of MTL-integral
Authors: Pedro,AD
Pereira,D
Pinho,LM
Jorge Sousa Pinto
Issue Date: 2015
Abstract: Temporal logics targeting real-time systems are traditionally undecidable. Based on a restricted fragment of MTL-integral, we propose a new approach for the runtime verification of hard real-time systems. The novelty of our technique is that it is based on incremental evaluation, allowing us to effectively treat duration properties (which play a crucial role in real-time systems). We describe the two levels of operation of our approach: offline simplification by quantifier removal techniques; and online evaluation of a three-valued interpretation for formulas of our fragment. Our experiments show the applicability of this mechanism as well as the validity of the provided complexity results.
URI: http://repositorio.inesctec.pt/handle/123456789/5028
http://dx.doi.org/10.1007/978-3-319-23820-3_11
metadata.dc.type: conferenceObject
Publication
Appears in Collections:HASLab - Articles in International Conferences

Files in This Item:
File Description SizeFormat 
P-00G-SZ4.pdf1.07 MBAdobe PDFView/Open


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