Logic-based schedulability analysis for compositional hard real-time embedded systems

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

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: 2015
Subjects:
Schedulability Analysis
Real-time Systems
Timed temporal logic
Ciências Naturais::Ciências da Computação e da Informação
Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática
Online Access:http://hdl.handle.net/1822/35229
Country:Portugal
Oai:oai:repositorium.sdum.uminho.pt:1822/35229
Description
Summary: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

Similar Items