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
Bus-Contention Aware WCRT Analysis for the 3-Phase Task Model Considering a Work-Conserving Bus Arbitration Scheme CISTER-TR-211004
Jatin Arora, Cláudio Maia, Syed Aftab Rashid, Geoffrey Nelissen, Eduardo TovarJournal of Systems Architecture (JSA), Elsevier. 2022. (Best Paper of ICESS 2021) (ICESS 2021). 13 to 14, Jan, 2022, Volume Technical Session. Virtual, Australia.
Jatin Arora, Cláudio Maia, Syed Aftab Rashid, Geoffrey Nelissen, Eduardo TovarJournal of Systems Architecture (JSA), Elsevier. 2022. (Best Paper of ICESS 2021) (ICESS 2021). 13 to 14, Jan, 2022, Volume Technical Session. Virtual, Australia.
PDFResponse time analysis of Multiframe mixed criticality systems with arbitrary deadlines CISTER-TR-200603
Ishfaq Hussain, Muhammad Ali Awan, Pedro F. Souto, Konstantinos Bletsas, Benny Åkesson, Eduardo TovarReal-Time Systems, Springer. Apr 2021, Volume 57, pp 141-189.
Ishfaq Hussain, Muhammad Ali Awan, Pedro F. Souto, Konstantinos Bletsas, Benny Åkesson, Eduardo TovarReal-Time Systems, Springer. Apr 2021, Volume 57, pp 141-189.
Hubs for VirtuosoNext: Online verification of real-time coordinators CISTER-TR-201101
Guillermina Cledou, José Proença, Bernhard H.C. Sputh, Eric VerhulstScience of Computer Programming, Article No 102566, Elsevier. 1, Mar, 2021, Volume 203.In Press, Journal Pre-proof
Guillermina Cledou, José Proença, Bernhard H.C. Sputh, Eric VerhulstScience of Computer Programming, Article No 102566, Elsevier. 1, Mar, 2021, Volume 203.In Press, Journal Pre-proof
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
Schedulability analysis for CAN bus messages of periodically-varying size CISTER-TR-220501
Ishfaq Hussain, Konstantinos Bletsas, Muhammad Ali Awan, Eduardo Tovar, Pedro Souto18th IEEE International Conference on Factory Communication Systems (WFCS 2022) (WFCS2022). 27 to 29, Apr, 2022, Deterministic and Predictable Industrial Communication. Virtual, Italy.
Ishfaq Hussain, Konstantinos Bletsas, Muhammad Ali Awan, Eduardo Tovar, Pedro Souto18th IEEE International Conference on Factory Communication Systems (WFCS 2022) (WFCS2022). 27 to 29, Apr, 2022, Deterministic and Predictable Industrial Communication. Virtual, Italy.
Cache-aware Schedulability Analysis of PREM Compliant Tasks CISTER-TR-220101
Syed Aftab Rashid, Muhammad Ali Awan, Pedro Souto, Konstantinos Bletsas, Eduardo TovarDesign, Automation and Test in Europe Conference (DATE 2022). 2022, Real-time, Dependable and Privacy-Enhanced Systems. ANTWERP, Belgium.
Syed Aftab Rashid, Muhammad Ali Awan, Pedro Souto, Konstantinos Bletsas, Eduardo TovarDesign, Automation and Test in Europe Conference (DATE 2022). 2022, Real-time, Dependable and Privacy-Enhanced Systems. ANTWERP, Belgium.
Response time analysis of memory-bandwidth- regulated multiframe mixed-criticality systems CISTER-TR-211006
Ishfaq Hussain, Muhammad Ali Awan, Pedro Souto, Konstantinos Bletsas, Eduardo TovarInternational Conference on Embedded Software and Systems (ICESS) (ICESS). 14 to 15, Dec, 2021, Mixed-Criticality Embedded Systems. Shanghai, Australia.
Ishfaq Hussain, Muhammad Ali Awan, Pedro Souto, Konstantinos Bletsas, Eduardo TovarInternational Conference on Embedded Software and Systems (ICESS) (ICESS). 14 to 15, Dec, 2021, Mixed-Criticality Embedded Systems. Shanghai, Australia.
Open Questions for the Bus-Blocking Problem in the 3-Phase Task Model under Partitioned Scheduling CISTER-TR-210503
Jatin Arora, Cláudio Maia, Syed Aftab RashidCAPITAL Workshop - sCalable And PrecIse Timing AnaLysis for multicore platforms (CAPITAL 2021). 4, Jun, 2021, Junior Presentations. Online.
Jatin Arora, Cláudio Maia, Syed Aftab RashidCAPITAL Workshop - sCalable And PrecIse Timing AnaLysis for multicore platforms (CAPITAL 2021). 4, Jun, 2021, Junior Presentations. Online.
Bus-Contention Aware Schedulability Analysis for the 3-Phase Task Model with Partitioned Scheduling CISTER-TR-210206
Jatin Arora, Cláudio Maia, Syed Aftab Rashid, Geoffrey Nelissen, Eduardo Tovar29th International Conference on Real-Time Networks and Systems (RTNS 2021). 7 to 9, Apr, 2021, Technical Session. Online.
Jatin Arora, Cláudio Maia, Syed Aftab Rashid, Geoffrey Nelissen, Eduardo Tovar29th International Conference on Real-Time Networks and Systems (RTNS 2021). 7 to 9, Apr, 2021, Technical Session. Online.
Open Issues in Analyzing the Schedulability for the 3-Phase Task Model using Partitioned Scheduling CISTER-TR-210603
Jatin Arora, Cláudio Maia, Syed Aftab Rashid, Eduardo TovarThe symposium of “Electrical and Computer Engineering” of the 4th Doctoral Congress Engineering (DCE21) (DCE). 2021, Poster/Presentation Session. Online.
Jatin Arora, Cláudio Maia, Syed Aftab Rashid, Eduardo TovarThe symposium of “Electrical and Computer Engineering” of the 4th Doctoral Congress Engineering (DCE21) (DCE). 2021, Poster/Presentation Session. Online.
Work-In-Progress: WCRT Analysis for the 3-Phase Task Model in Partitioned Scheduling CISTER-TR-201005
Jatin Arora, Cláudio Maia, Syed Aftab Rashid, Geoffrey Nelissen, Eduardo TovarWork in Progress Session, 41st IEEE Real-Time Systems Symposium (RTSS 2020). 1 to 4, Dec, 2020, pp 407-410. Online.
Jatin Arora, Cláudio Maia, Syed Aftab Rashid, Geoffrey Nelissen, Eduardo TovarWork in Progress Session, 41st IEEE Real-Time Systems Symposium (RTSS 2020). 1 to 4, Dec, 2020, pp 407-410. Online.
Implementing Hybrid Semantics: From Functional to Imperative CISTER-TR-201008
Sergey Goncharov, Renato Neves, José Proença17th International Colloquium on Theoretical Aspects of Computing (ICTAC 2020). 30, Nov to 4, Dec, 2020, pp 262-282. Online.Lecture Notes in Computer Science, vol 12545.
Sergey Goncharov, Renato Neves, José Proença17th International Colloquium on Theoretical Aspects of Computing (ICTAC 2020). 30, Nov to 4, Dec, 2020, pp 262-282. Online.Lecture Notes in Computer Science, vol 12545.
ARx: Reactive Programming for Synchronous Connectors CISTER-TR-200701
José Proença, Guillermina CledouInternational Conference on Coordination Languages and Models (COORDINATION 2020). 15 to 19, Jun, 2020, Coordination Languages, pp 39-56. Online.Held as part of the 15th International Federated Conference on Distributed Computing Techniques (DisCoTec 2020). Part of the Lecture Notes in Computer Science book series (LNCS, volume 12134).
José Proença, Guillermina CledouInternational Conference on Coordination Languages and Models (COORDINATION 2020). 15 to 19, Jun, 2020, Coordination Languages, pp 39-56. Online.Held as part of the 15th International Federated Conference on Distributed Computing Techniques (DisCoTec 2020). Part of the Lecture Notes in Computer Science book series (LNCS, volume 12134).
A Holistic Memory Contention Analysis for Parallel Real-Time Tasks under Partitioned Scheduling CISTER-TR-200801
Daniel Casini, Alessandro Biondi, Geoffrey Nelissen, Giorgio Buttazzo26th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2020). 21 to 24, Apr, 2020, pp 239-252. Online.
Daniel Casini, Alessandro Biondi, Geoffrey Nelissen, Giorgio Buttazzo26th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2020). 21 to 24, Apr, 2020, pp 239-252. Online.
Cache Persistence-Aware Memory Bus Contention Analysis for Multicore Systems CISTER-TR-191102
Syed Aftab Rashid, Geoffrey Nelissen, Eduardo TovarDesign, Automation and Test in Europe Conference (DATE 2020). 9 to 13, Mar, 2020, pp 442-447. Online.
Syed Aftab Rashid, Geoffrey Nelissen, Eduardo TovarDesign, Automation and Test in Europe Conference (DATE 2020). 9 to 13, Mar, 2020, pp 442-447. Online.
From Code to Weakly Hard Constraints: A Pragmatic End-to-End Toolchain for Timed C CISTER-TR-190905
Saranya Natarajan, Mitra Nasri, David Broman, Björn B. Brandenburg, Geoffrey Nelissen40th IEEE Real-Time Systems Symposium (RTSS 2019). 18 to 21, Feb, 2020, pp 167-180. York, United Kingdom.RTSS 2019 originally postponed from December 2019 (Hong-Kong) to February 2020 (York, UK) was cancelled.
Saranya Natarajan, Mitra Nasri, David Broman, Björn B. Brandenburg, Geoffrey Nelissen40th IEEE Real-Time Systems Symposium (RTSS 2019). 18 to 21, Feb, 2020, pp 167-180. York, United Kingdom.RTSS 2019 originally postponed from December 2019 (Hong-Kong) to February 2020 (York, UK) was cancelled.
Thermal-Aware Schedulability Analysis for Fixed-Priority Non-Preemptive Real-Time Systems CISTER-TR-190903
Javier Pérez Rodríguez, Patrick Meumeu Yomsi40th IEEE Real-Time Systems Symposium (RTSS 2019). 18 to 21, Feb, 2020, Real-Time System, pp 154-166. York, United Kingdom.RTSS 2019 originally postponed from December 2019 (Hong-Kong) to February 2020 (York, UK) was cancelled.
Javier Pérez Rodríguez, Patrick Meumeu Yomsi40th IEEE Real-Time Systems Symposium (RTSS 2019). 18 to 21, Feb, 2020, Real-Time System, pp 154-166. York, United Kingdom.RTSS 2019 originally postponed from December 2019 (Hong-Kong) to February 2020 (York, UK) was cancelled.
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
Mixed-criticality Scheduling with Dynamic Memory Bandwidth Regulation CISTER-TR-180604
Muhammad Ali Awan, Konstantinos Bletsas, Pedro Souto, Benny Åkesson, Eduardo Tovar24th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2018). 28 to 31, Aug, 2018, Session 4: Support for Predictability, pp 111-117. Hakodate, Japan.
Muhammad Ali Awan, Konstantinos Bletsas, Pedro Souto, Benny Åkesson, Eduardo Tovar24th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2018). 28 to 31, Aug, 2018, Session 4: Support for Predictability, pp 111-117. Hakodate, Japan.
Technical Reports
Tightening the CRPD Bound for Multilevel non-Inclusive Caches CISTER-TR-211009
Syed Aftab Rashid, Geoffrey Nelissen, Eduardo Tovar2021.
Syed Aftab Rashid, Geoffrey Nelissen, Eduardo Tovar2021.
Verification of Real-Time Coordination in VirtuosoNext (extended version) CISTER-TR-201010
Guillermina Cledou, José Proença, Bernhard H.C. Sputh, Eric Verhulst8, May, 2020.
Guillermina Cledou, José Proença, Bernhard H.C. Sputh, Eric Verhulst8, May, 2020.