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

Bibliographic Details
Main Author: Pedro, André Matos
Publication Date: 2015
Other Authors: Pereira, David, Pinho, Luís Miguel, Pinto, Jorge Sousa
Format: Article
Language: eng
Source: Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
Download full: http://hdl.handle.net/1822/35229
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
id RCAP_011c91dc6f8082bf512e7e738e036a50
oai_identifier_str oai:repositorium.sdum.uminho.pt:1822/35229
network_acronym_str RCAP
network_name_str Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
repository_id_str https://opendoar.ac.uk/repository/7160
spelling Logic-based schedulability analysis for compositional hard real-time embedded systemsSchedulability AnalysisReal-time SystemsTimed temporal logicCiências Naturais::Ciências da Computação e da InformaçãoEngenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e InformáticaThis 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.2752808Over 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.This work was partially supported by National Funds through FCT (Portuguese Foundation for Science and Technology) and by ERDF (European Regional Development Fund) through COMPETE (Operational Programme ’Thematic Fac- tors of Competitiveness’), within projects Ref. FCOMP-01- 0124-FEDER-022701 (CISTER), FCOMP-01-0124-FEDER- 015006 (VIPCORE) and FCOMP-01-0124-FEDER-020486 (AVIACC).Association for Computing Machinery (ACM)Universidade do MinhoPedro, André MatosPereira, DavidPinho, Luís MiguelPinto, Jorge Sousa20152015-01-01T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/articleapplication/pdfhttp://hdl.handle.net/1822/35229engA. 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.1551-368810.1145/2752801.2752808info:eu-repo/semantics/openAccessreponame:Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)instname:FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologiainstacron:RCAAP2024-05-11T05:59:58Zoai:repositorium.sdum.uminho.pt:1822/35229Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireinfo@rcaap.ptopendoar:https://opendoar.ac.uk/repository/71602025-05-28T15:37:40.934837Repositórios Científicos de Acesso Aberto de Portugal (RCAAP) - FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologiafalse
dc.title.none.fl_str_mv Logic-based schedulability analysis for compositional hard real-time embedded systems
title Logic-based schedulability analysis for compositional hard real-time embedded systems
spellingShingle Logic-based schedulability analysis for compositional hard real-time embedded systems
Pedro, André Matos
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
title_short Logic-based schedulability analysis for compositional hard real-time embedded systems
title_full Logic-based schedulability analysis for compositional hard real-time embedded systems
title_fullStr Logic-based schedulability analysis for compositional hard real-time embedded systems
title_full_unstemmed Logic-based schedulability analysis for compositional hard real-time embedded systems
title_sort Logic-based schedulability analysis for compositional hard real-time embedded systems
author Pedro, André Matos
author_facet Pedro, André Matos
Pereira, David
Pinho, Luís Miguel
Pinto, Jorge Sousa
author_role author
author2 Pereira, David
Pinho, Luís Miguel
Pinto, Jorge Sousa
author2_role author
author
author
dc.contributor.none.fl_str_mv Universidade do Minho
dc.contributor.author.fl_str_mv Pedro, André Matos
Pereira, David
Pinho, Luís Miguel
Pinto, Jorge Sousa
dc.subject.por.fl_str_mv 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
topic 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
description 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
publishDate 2015
dc.date.none.fl_str_mv 2015
2015-01-01T00:00:00Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/article
format article
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://hdl.handle.net/1822/35229
url http://hdl.handle.net/1822/35229
dc.language.iso.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv 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.
1551-3688
10.1145/2752801.2752808
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Association for Computing Machinery (ACM)
publisher.none.fl_str_mv Association for Computing Machinery (ACM)
dc.source.none.fl_str_mv reponame:Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
instname:FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologia
instacron:RCAAP
instname_str FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologia
instacron_str RCAAP
institution RCAAP
reponame_str Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
collection Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
repository.name.fl_str_mv Repositórios Científicos de Acesso Aberto de Portugal (RCAAP) - FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologia
repository.mail.fl_str_mv info@rcaap.pt
_version_ 1833595432744255488

Similar Items