Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/35229
Título: | Logic-based schedulability analysis for compositional hard real-time embedded systems |
Autor(es): | Pedro, André Matos Pereira, David Pinho, Luís Miguel Pinto, Jorge Sousa |
Palavras-chave: | Schedulability Analysis Real-time Systems Timed temporal logic |
Data: | 2015 |
Editora: | Association for Computing Machinery (ACM) |
Revista: | ACM SIGBED Review |
Citação: | A. M. Pedro, D. Pereira, L. M. Pinho, and J. S. Pinto. Logic-based schedulability analysis for compositional hard real-time embedded systems. In M. Behnam and G. Buttazzo, editors, Proceedings of the 6th International Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS 2013). SIGBED Rev., 12(1):56–64. New York, NY, USA, 2015. ACM. |
Resumo(s): | Over the past decades several approaches for schedu- lability analysis have been proposed for both uniprocessor and multi-processor real-time systems. Although different techniques are employed, very little has been put forward in using formal specifications, with the consequent possibility for misinterpretations or ambiguities in the problem statement. Using a logic based approach to schedulability analysis in the design of hard real-time systems eases the synthesis of correct-by- construction procedures for both static and dynamic verification processes. In this paper we propose a novel approach to schedulability analysis based on a timed temporal logic with time durations. Our approach subsumes classical methods for uniprocessor scheduling analysis over compositional resource models by providing the developer with counter-examples, and by ruling out schedules that cause unsafe violations on the system. We also provide an example showing the effectiveness of our proposal. |
Tipo: | Artigo |
Descrição: | This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in SIGBED Review, VOL.12, ISS.1, http://doi.acm.org/10.1145/2752801.2752808 |
URI: | https://hdl.handle.net/1822/35229 |
DOI: | 10.1145/2752801.2752808 |
ISSN: | 1551-3688 |
Arbitragem científica: | yes |
Acesso: | Acesso aberto |
Aparece nas coleções: | HASLab - Artigos em revistas internacionais |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
2013_CRTS13.pdf | Documento principal | 363,04 kB | Adobe PDF | Ver/Abrir |