Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/35222
Título: | A compositional monitoring framework for hard real-time systems |
Autor(es): | Pedro, André Matos Pereira, David Pinho, Luís Miguel Pinto, Jorge Sousa |
Palavras-chave: | Runtime verification Real-time Systems Monitors |
Data: | 2014 |
Editora: | Springer |
Revista: | Lecture Notes in Computer Science (including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
Citação: | 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. |
Resumo(s): | 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. |
Tipo: | Artigo em ata de conferência |
URI: | https://hdl.handle.net/1822/35222 |
ISBN: | 978-3-319-06199-3 |
DOI: | 10.1007/978-3-319-06200-6_2 |
ISSN: | 0302-9743 |
Versão da editora: | The original publication is available at www.springerlink.com |
Arbitragem científica: | yes |
Acesso: | Acesso aberto |
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 |