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

Full description

Bibliographic Details
Main Author: Pedro, André Matos (author)
Other Authors: Pereira, David (author), Pinho, Luís Miguel (author), Pinto, Jorge Sousa (author)
Format: article
Language:eng
Published: 2017
Subjects:
Schedulability analysis
Real-time systems
Resource models
Timed temporal logic
Ciências Naturais::Ciências da Computação e da Informação
Online Access:http://hdl.handle.net/1822/50791
Country:Portugal
Oai:oai:repositorium.sdum.uminho.pt:1822/50791

Internet

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

Similar Items