SMT-based schedulability analysis using RMTL-∫

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 inter...

ver descrição completa

Detalhes bibliográficos
Autor principal: Pedro, André Matos (author)
Outros Autores: Pereira, David (author), Pinho, Luís Miguel (author), Pinto, Jorge Sousa (author)
Formato: article
Idioma:eng
Publicado em: 2017
Assuntos:
Schedulability analysis
Real-time systems
Resource models
Timed temporal logic
Ciências Naturais::Ciências da Computação e da Informação
Texto completo:http://hdl.handle.net/1822/50791
País:Portugal
Oai:oai:repositorium.sdum.uminho.pt:1822/50791

Texto Completo

http://hdl.handle.net/1822/50791

Registros relacionados