Utilize este identificador para referenciar este registo: http://hdl.handle.net/10400.22/6913
Título: Monitoring for a decidable fragment of MTLD
Autor: Pedro, André
Pereira, David
Pinho, Luis Miguel
Pinto, Jorge Sousa
Data: 2015
Relatório da Série N.º: RV'15;
Resumo: Temporal logics targeting real-time systems are traditionally undecidable. Based on a restricted fragment of MTLD, 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.
Descrição: The 15th International Conference on Runtime Verification (RV'15). 22-25 September. Vienna, Austria.
URI: http://hdl.handle.net/10400.22/6913
Aparece nas colecções:ISEP – CISTER – Comunicações em eventos científicos

Ficheiros deste registo:
Ficheiro Descrição TamanhoFormato 
COM_CISTER_2015.pdf356,9 kBAdobe PDFVer/Abrir


FacebookTwitterDeliciousLinkedInDiggGoogle BookmarksMySpace
Formato BibTex MendeleyEndnote Degois 

Todos os registos no repositório estão protegidos por leis de copyright, com todos os direitos reservados.