Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/35222
Registo completo
Campo DC | Valor | Idioma |
---|---|---|
dc.contributor.author | Pedro, André Matos | por |
dc.contributor.author | Pereira, David | por |
dc.contributor.author | Pinho, Luís Miguel | por |
dc.contributor.author | Pinto, Jorge Sousa | por |
dc.date.accessioned | 2015-05-20T13:36:00Z | - |
dc.date.available | 2015-05-20T13:36:00Z | - |
dc.date.issued | 2014 | - |
dc.identifier.citation | A. M. Pedro, D. Pereira, L. M. Pinho, and J. S. Pinto. A Compositional Monitoring Framework for Hard Real-Time Systems. In Proceedings of the Sixth NASA Formal Methods Symposium (NFM 2014), volume 8430 of Lecture Notes in Computer Science, pages 16–30, Berlin, Heidelberg, 2014. Springer-Verlag. | por |
dc.identifier.isbn | 978-3-319-06199-3 | - |
dc.identifier.issn | 0302-9743 | por |
dc.identifier.uri | https://hdl.handle.net/1822/35222 | - |
dc.description.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. | por |
dc.description.sponsorship | This work was partially supported by National Funds through FCT (Portuguese Foundation for Science and Technology) and by ERDF (European Regional Development Fund) through COMPETE (Operational Programme ’Thematic Factors of Competitiveness’), within projects Ref. FCOMP-01-0124-FEDER-022701 (CISTER), FCOMP-01-0124- FEDER-015006 (VIPCORE) and FCOMP-01-0124-FEDER-020486 (AVIACC). | por |
dc.language.iso | eng | por |
dc.publisher | Springer | por |
dc.rights | openAccess | por |
dc.subject | Runtime verification | por |
dc.subject | Real-time Systems | por |
dc.subject | Monitors | por |
dc.title | A compositional monitoring framework for hard real-time systems | por |
dc.type | conferencePaper | por |
dc.peerreviewed | yes | por |
dc.relation.publisherversion | The original publication is available at www.springerlink.com | por |
oaire.citationStartPage | 16 | por |
oaire.citationEndPage | 30 | por |
oaire.citationTitle | Proceedings of the Sixth NASA Formal Methods Symposium (NFM 2014), Lecture Notes in Computer Science | por |
oaire.citationVolume | 8430 | por |
dc.identifier.doi | 10.1007/978-3-319-06200-6_2 | por |
dc.subject.fos | Ciências Naturais::Ciências da Computação e da Informação | por |
dc.subject.fos | Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática | por |
dc.subject.wos | Science & Technology | por |
sdum.journal | Lecture Notes in Computer Science (including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | por |
sdum.conferencePublication | Proceedings of the Sixth NASA Formal Methods Symposium (NFM 2014), Lecture Notes in Computer Science | - |
Aparece nas coleções: |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
2014_NFM_14_b.pdf | Documento principal | 451,54 kB | Adobe PDF | Ver/Abrir |