PReFECT
Predictable Multiprocessor Platforms for Embedded Safety Critical Systems
POCI-01-0145-FEDER-029119 PTDC/CCI-COM/29119/2017 42 months (Jul 2018 to Jan 2022) | |
Summary: | The PReFECT project will address the following challenges with respect to the introduction of multicore processors in safety-critical systems: - model and analyze the timing interference generated by the hardware resources shared between cores (e.g., caches, interconnect and I/O devices); - propose runtime mechanisms and scheduling solutions to mitigate the unpredictability of COTS multicore processors by controlling the interference between cores; - develop tools for the automatic system configuration before its deployment. The goal of this task is to optimize the usage of the platform while guaranteeing that all the timing requirements of the applications are respected. To attain these objectives we will build upon the large body of results already published by the research team on modelling and timing analysis of multicore processors, and on the expertise of the industrial partners (GMV and Critical Software) in the safety critical system development. The project results will be demonstrated in two industrial use-cases related to the avionics and automotive domains. |
Funding: | Global: 237KEUR, CISTER: 237KEUR |
Sponsors: | |
Partners: | |
Contact Person at CISTER: | Eduardo Tovar |
14, Dec, 2021
Best Paper Award at ICESS 2021
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Journal Papers
Techniques and Analysis for Mixed-criticality Scheduling with Mode-dependent Server Execution Budgets CISTER-TR-200115
Muhammad Ali Awan, Konstantinos Bletsas, Pedro F. Souto, Benny Åkesson, Eduardo TovarACM Transactions on Embedded Computing Systems (TECS), Article No 109, ACM. Oct 2019, Volume 18, Issue 5s, pp 109:1-109:23.This article appears as part of the ESWEEK-TECS special issue and was presented at the International Conference on Embedded Software (EMSOFT) 2019.
Muhammad Ali Awan, Konstantinos Bletsas, Pedro F. Souto, Benny Åkesson, Eduardo TovarACM Transactions on Embedded Computing Systems (TECS), Article No 109, ACM. Oct 2019, Volume 18, Issue 5s, pp 109:1-109:23.This article appears as part of the ESWEEK-TECS special issue and was presented at the International Conference on Embedded Software (EMSOFT) 2019.
Conference or Workshop Papers/Talks
Techniques and Analysis for Mixed-criticality Scheduling with Mode-dependent Server Execution Budgets CISTER-TR-190906
Muhammad Ali Awan, Konstantinos Bletsas, Pedro F. Souto, Benny Åkesson, Eduardo TovarACM SIGBED International Conference on Embedded Software (EMSOFT 2019). 13 to 18, Oct, 2019, pp 109:1-109:23. New York, U.S.A..ACM Transactions on Embedded Computing Systems, Vol. 18, No. 5s, Article 109.
Muhammad Ali Awan, Konstantinos Bletsas, Pedro F. Souto, Benny Åkesson, Eduardo TovarACM SIGBED International Conference on Embedded Software (EMSOFT 2019). 13 to 18, Oct, 2019, pp 109:1-109:23. New York, U.S.A..ACM Transactions on Embedded Computing Systems, Vol. 18, No. 5s, Article 109.
Memory Bandwidth Regulation for Multiframe Task Sets CISTER-TR-190629
Muhammad Ali Awan, Pedro F. Souto, Konstantinos Bletsas, Benny Åkesson, Eduardo Tovar25th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2019). 18 to 21, Aug, 2019. Hangzhou, China.
Muhammad Ali Awan, Pedro F. Souto, Konstantinos Bletsas, Benny Åkesson, Eduardo Tovar25th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2019). 18 to 21, Aug, 2019. Hangzhou, China.
Design and implementation of an FPGA-based NoC for Real Time Systems CISTER-TR-190510
Yilian Ribot, Geoffrey NelissenWork in Progress Session, 31st Conference on Real-Time Systems (ECRTS 2019). 9 to 13, Jul, 2019, pp 1-3. Stuttgart, Germany.https://www.ecrts.org/archives/fileadmin/WebsitesArchiv/ecrts2019/wp-content/uploads/2019/06/ECRTS2019-WIP-proceedings.pdf
Yilian Ribot, Geoffrey NelissenWork in Progress Session, 31st Conference on Real-Time Systems (ECRTS 2019). 9 to 13, Jul, 2019, pp 1-3. Stuttgart, Germany.https://www.ecrts.org/archives/fileadmin/WebsitesArchiv/ecrts2019/wp-content/uploads/2019/06/ECRTS2019-WIP-proceedings.pdf
Response-Time Analysis of Limited-Preemptive Parallel DAG Tasks under Global Scheduling CISTER-TR-190405
Mitra Nasri, Geoffrey Nelissen, Björn B. Brandenburg31st Conference on Real-Time Systems (ECRTS 2019). 9 to 12, Jul, 2019, pp 21:1-21:23. Stuttgart, Germany.
Mitra Nasri, Geoffrey Nelissen, Björn B. Brandenburg31st Conference on Real-Time Systems (ECRTS 2019). 9 to 12, Jul, 2019, pp 21:1-21:23. Stuttgart, Germany.
ResilienceP Analysis: Bounding Cache Persistence Reload Overhead for Set-Associative Caches CISTER-TR-190512
Syed Aftab Rashid, Geoffrey Nelissen, Eduardo TovarWork in Progress Session, 31st Conference on Real-Time Systems (ECRTS 2019). 9 to 13, Jul, 2019, pp 7-9. Stuttgart, Germany.https://www.ecrts.org/archives/fileadmin/WebsitesArchiv/ecrts2019/wp-content/uploads/2019/06/ECRTS2019-WIP-proceedings.pdf
Syed Aftab Rashid, Geoffrey Nelissen, Eduardo TovarWork in Progress Session, 31st Conference on Real-Time Systems (ECRTS 2019). 9 to 13, Jul, 2019, pp 7-9. Stuttgart, Germany.https://www.ecrts.org/archives/fileadmin/WebsitesArchiv/ecrts2019/wp-content/uploads/2019/06/ECRTS2019-WIP-proceedings.pdf