Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/50791
Título: | SMT-based schedulability analysis using RMTL-∫ |
Autor(es): | Pedro, André Matos Pereira, David Pinho, Luís Miguel Pinto, Jorge Sousa |
Palavras-chave: | Schedulability analysis Real-time systems Resource models Timed temporal logic |
Data: | 2017 |
Editora: | Association for Computing Machinery (ACM) |
Revista: | ACM SIGBED Review |
Citação: | André de Matos Pedro, David Pereira, Luís Miguel Pinho, and Jorge Sousa Pinto. 2017. SMT-based schedulability analysis using RMTL-∫. SIGBED Rev. 14, 3 (November 2017), 40-42. |
Resumo(s): | Several methods have been proposed for performing schedulability analysis for both uni-processor and multi-processor real-time systems. Very few of these works use the power of formal logic to write unambiguous specifications and to allow the usage of theorem provers for building the proofs of interest with greater correctness guarantees. In this paper we address this challenge by: 1) defining a formal language that allows to specify periodic resource models; 2) describe a transformational approach to reasoning about timing properties of resource models by transforming the latter specifications into a satisfiability modulo theories problem. |
Tipo: | Artigo |
URI: | https://hdl.handle.net/1822/50791 |
DOI: | 10.1145/3166227.3166234 |
ISSN: | 1551-3688 |
Arbitragem científica: | yes |
Acesso: | Acesso restrito UMinho |
Aparece nas coleções: | HASLab - Artigos em revistas internacionais |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
acm_sigbed_crts2016.pdf Acesso restrito! | 274,42 kB | Adobe PDF | Ver/Abrir |
Este trabalho está licenciado sob uma Licença Creative Commons