Publication
Monitoring for a decidable fragment of MTLD
| dc.contributor.author | Pedro, André | |
| dc.contributor.author | Pereira, David | |
| dc.contributor.author | Pinho, Luís Miguel | |
| dc.contributor.author | Pinto, Jorge Sousa | |
| dc.date.accessioned | 2015-11-18T16:52:46Z | |
| dc.date.available | 2015-11-18T16:52:46Z | |
| dc.date.issued | 2015 | |
| dc.description | The 15th International Conference on Runtime Verification (RV'15). 22-25 September. Vienna, Austria. | pt_PT |
| dc.description.abstract | 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. | pt_PT |
| dc.identifier.uri | http://hdl.handle.net/10400.22/6913 | |
| dc.language.iso | eng | pt_PT |
| dc.relation | UID/CEC/04234/2013 (CISTER) | pt_PT |
| dc.relation | ARTEMIS/0001/2013 - JU grant nr. 621429 (EMC2) | pt_PT |
| dc.relation.ispartofseries | RV'15; | |
| dc.title | Monitoring for a decidable fragment of MTLD | pt_PT |
| dc.type | conference object | |
| dspace.entity.type | Publication | |
| oaire.citation.conferencePlace | 15th International Conference on Runtime Verification (RV'15). 22-25 September. Vienna, Austria | pt_PT |
| person.familyName | Pinho | |
| person.givenName | Luis Miguel | |
| person.identifier.ciencia-id | 8112-2108-F3B2 | |
| person.identifier.orcid | 0000-0001-6888-1340 | |
| person.identifier.rid | M-3416-2013 | |
| person.identifier.scopus-author-id | 6602594556 | |
| rcaap.rights | openAccess | pt_PT |
| rcaap.type | conferenceObject | pt_PT |
| relation.isAuthorOfPublication | fd791145-af93-47d9-bbe8-647a326d2f39 | |
| relation.isAuthorOfPublication.latestForDiscovery | fd791145-af93-47d9-bbe8-647a326d2f39 |