CISTER

ISEP

Home Research Topics Application Drive Projects Publications People PhD Studies News Events & CfP Info & Contacts

CiTech

CiWork

CISTER DSS

join us!

Enjoy Porto!

Login

Home Projects - Past Projects

RECOMP

RECOMP

Reduced Certification Costs for Trusted Multi-core Platforms

Thales

Honeywell

Infineon Technologies Austria AG

PSA Peugeot Citroën

Delphi

EADS

	Artemis 100202 3 years (Apr 2010 to Mar 2013) http://atcproyectos.ugr.es/recomp/
Summary:	RECOMP recognizes the fact that the increasing processing power of embedded systems is mainly provided by increasing the number of processing cores. The increased numbers of cores is commonly regarded as a design challenge in the safety-critical area, as there are no established approaches to achieve certification. At the same time there is an increased need for flexibility in the products in the safety-critical market. This need for flexibility puts new requirements on the customization and the upgradability of both the non-safety and safety-critical critical part. The difficulty with this is the large cost in both effort and money of the re-certification of the modified software, which means that companies cannot fully leverage the advantages of modular software system. RECOMP will provide reference designs and platform architectures together with the required design methods and tools for achieving cost-effective certification and re-certification of mixed-criticality, component based, multi-core systems. The aim of RECOMP is to define a European standard reference technology for mixed-criticality multi-core systems supported by the European tool vendors participating in RECOMP.
Funding:	Global: 25.8MEUR, CISTER: 456KEUR
Sponsors:
Leaders:
Partners:
Main Partners:
Main Partners:
Contact Person at CISTER:	Stefan M. Petters

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

Thesis

Supporting Intra-Task Parallelism in Real-Time Multiprocessor Systems CISTER-TR-121007
José Fonseca

Master Thesis. Oct 2012. Porto.

Journal Papers

Compositional Multiprocessor Scheduling: the GMPR interface CISTER-TR-140101
Artem Burmyakov, Enrico Bini, Eduardo Tovar

PDF Additional Files:

Zip ArchiveMatlab tool for GMPR computation

Real-Time Systems, Springer US. May 2014, Volume 50, Issue 3, pp 342-376. U.S.A..

Provably Good Multiprocessor Scheduling with Resource Sharing HURRAY-TR-100901
Björn Andersson, Arvind Easwaran

Real-Time Systems Journal, Springer US. Oct 2010, Volume 64, Issue 2, pp 153-156.

Conference or Workshop Papers/Talks

Multicore in Real-Time Systems – Temporal Isolation Challenges due to Shared Resources CISTER-TR-140302
Ondrej Kotaba, Jan Nowotsch, Michael Paulitsch, Stefan M. Petters, Henrik Theiling

Workshop on Industry-Driven Approaches for Cost-effective Certification of Safety-Critical, Mixed-Criticality Systems (WICERT 2013). 22, Mar, 2013. Grenoble, France.

Architecture and Optimal Configuration of a Real-Time Multi-Channel Memory Controller CISTER-TR-130107
Manil Dev Gomony, Benny Åkesson, Kees Goossens

Design, Automation & Test in Europe Conference & Exhibition (DATE 2013), EDA Consortium San Jose. 18 to 22, Mar, 2013, pp 1307-1312. Grenoble, France.

System and Circuit Level Power Modeling of Energy-Efficient 3D-Stacked Wide I/O DRAMs CISTER-TR-130106
Karthik Chandrasekar, Christian Weis, Benny Åkesson, Norbert Wehn, Kees Goossens

Design, Automation & Test in Europe Conference & Exhibition (DATE 2013), IEEE. 18 to 22, Mar, 2013, pp 236-241. Grenoble, France.

Bounding SDRAM Interference: Detailed Analysis vs. Latency-Rate Analysis CISTER-TR-130105
Hardik Shah, Alois Knoll, Benny Åkesson

Design, Automation & Test in Europe Conference & Exhibition (DATE 2013), IEEE. 18 to 22, Mar, 2013, pp 308-313. Grenoble, France.

Conservative Open-page Policy for Mixed Time-Criticality Memory Controllers CISTER-TR-130104
Sven Goossens, Benny Åkesson, Kees Goossens

Design, Automation & Test in Europe Conference & Exhibition (DATE 2013), IEEE. 18 to 22, Mar, 2013, pp 525-530. Grenoble, France.

A Declarative Compositional Timing Analysis for Multicores Using the Latency-Rate Abstraction CISTER-TR-130108
Vitor Rodrigues, Benny Åkesson, Simão Patrício Melo de Sousa, Mário Florido

15th International Symposium on Practical Aspects of Declarative Languages (PADL '13), Springer Berlin Heidelberg. 21 to 22, Jan, 2013, 7752, pp 43-59. Rome, Italy.

Dynamic Global Scheduling of Parallel Real-Time Tasks HURRAY-TR-121005
Luis Miguel Nogueira, José Fonseca, Cláudio Maia, Luis Miguel Pinho

10th IEEE/IFIP International Conference on Embedded and Ubiquitous Computing (EUC 2012). 5 to 7, Dec, 2012, pp 500-507. Paphos, Cyprus.

A PTAS for assigning sporadic tasks on two-type heterogeneous multiprocessors HURRAY-TR-120903
Gurulingesh Raravi, Vincent Nélis

33rd IEEE Real-Time Systems Symposium (RTSS 2012), IEEE. 4 to 7, Dec, 2012, pp 117-126. San Juan, Puerto Rico.

Real-Time Scheduling with Resource Sharing on Uniform Multiprocessors HURRAY-TR-120902
Gurulingesh Raravi, Vincent Nélis, Björn Andersson

20th International Conference on Real-Time and Network Systems (RTNS 2012), ACM New York. 8 to 9, Nov, 2012, pp 121-130. Pont à Mousson, France.

The Generalized Multiprocessor Periodic Resource Interface Model for Hierarchical Multiprocessor Scheduling HURRAY-TR-121002
Artem Burmyakov, Enrico Bini, Eduardo Tovar

PDF Additional Files:

Zip ArchiveMatlab tool to compute the GMPR interface.

20th International Conference on Real-Time and Network Systems (RTNS 2012), ACM. 8 to 9, Nov, 2012, pp 131-139. Pont à Mousson, France.

Extending Fixed Task-Priority Schedulability by Interference Limitation HURRAY-TR-120705
José Marinho, Stefan M. Petters, Marko Bertogna

20th International Conference on Real-Time and Network Systems (RTNS 2012), ACM New York. 8 to 9, Nov, 2012, pp 191-200. Pont à Mousson, France.

Towards Network-on-Chip Agreement Protocols HURRAY-TR-120905
Borislav Nikolic, Stefan M. Petters

12th International Conference on Embedded Software (EMSOFT 2012). 7 to 12, Oct, 2012. Tampere, Finland.

Task Assignment Algorithms for Two-type Heterogeneous Multiprocessors HURRAY-TR-111202a
Gurulingesh Raravi, Björn Andersson, Konstantinos Bletsas, Vincent Nélis

24th Euromicro Conference on Real-Time Systems (ECRTS 2012), IEEE. 11 to 13, Jul, 2012. Pisa, Italy.Outstanding Paper Award

Device Power Management for Real-Time Embedded Systems HURRAY-TR-120603
Muhammad Ali Awan, Stefan M. Petters

1st PhD. Students Conference in Electrical and Computer Engineering (StudECE 2012). 28 to 29, Jun, 2012. Porto, Portugal.

An Analysis of the Impact of Bus Contention on the WCET in Multicores HURRAY-TR-120504
Dakshina Dasari, Vincent Nélis

9th IEEE International Conference on Embedded Software and Systems (ICESS 2012), IEEE. 25 to 27, Jun, 2012, pp 1450-1457. Liverpool, United Kingdom.

Online Intra-Task Device Scheduling for Hard Real-Time Systems HURRAY-TR-120602
Muhammad Ali Awan, Stefan M. Petters

7th IEEE International Symposium on Industrial Embedded Systems (SIES 2012), IEEE. 20 to 22, Jun, 2012, pp 48-56. Karlsruhe, Germany.

An Improved Preemption Delay Upper Bound for Floating Non-preemptive Region HURRAY-TR-120601
José Marinho, Vincent Nélis, Stefan M. Petters, Isabelle Puaut

7th IEEE International Conference on Distributed Computing in Sensor Systems (SIES 2012), IEEE. 20 to 22, Jun, 2012, pp 57-66. Karlsruhe, Germany.

Preemption Delay Analysis for Floating Non-Preemptive Region Scheduling HURRAY-TR-111202
José Marinho, Vincent Nélis, Stefan M. Petters, Isabelle Puaut

Design, Automation & Test in Europe Conference & Exhibition (DATE 2012), IEEE. 12 to 16, Mar, 2012, pp 497-502.

Comparing the Schedulers and Power Saving Strategies with SPARTS HURRAY-TR-111104
Muhammad Ali Awan, Borislav Nikolic, Stefan M. Petters

30, Nov, 2011.RTSS@Work, Open Demo Session Real-Time Techniques & Technologies, 32nd RTSS, (Vienna, Austria), IEEE, Nov 2011.

A Tighter Analysis of the Worst-Case End-to-End Communication Delay in Massive Multicores HURRAY-TR-111207
Vincent Nélis, Dakshina Dasari, Borislav Nikolic, Stefan M. Petters

32nd IEEE Real-Time Systems Symposium (RTSS 2011). 29, Nov to 2, Dec, 2011, Work-In-Progress Session. Vienna, Austria.

Response Time Analysis of COTS-Based Multicores Considering The Contention On The Shared Memory Bus HURRAY-TR-110705
Dakshina Dasari, Björn Andersson, Vincent Nélis, Stefan M. Petters, Arvind Easwaran, Jinkyu Lee

8th IEEE International Conference on Embedded Software and Systems (IEEE ICESS-11), IEEE. 16 to 18, Nov, 2011, pp 1068-1075. Changsha, China.

SPARTS: Simulator for Power Aware and Real-Time Systems HURRAY-TR-111101
Borislav Nikolic, Muhammad Ali Awan, Stefan M. Petters

8th IEEE International Conference on Embedded Software and Systems (IEEE ICESS-11), IEEE. 16 to 18, Nov, 2011, pp 999-1004. Changsha, China.

Job Phasing Aware Preemption Deferral HURRAY-TR-111203
José Marinho, Stefan M. Petters

24, Oct, 2011.Embedded Ubiquitous Computing EUC 2011

Combining RTSJ with Fork/Join: A Priority-based Model HURRAY-TR-110907
Cláudio Maia, Luis Miguel Nogueira, Luis Miguel Pinho

9th International Workshop on Java Technologies for Real-Time and Embedded Systems (JTRES 2011), ACM New York. 26 to 28, Sep, 2011, pp 82-86. York, United Kingdom.

WCET Analysis Considering Contention on Memory Bus in COTS-Based Multicores HURRAY-TR-111001
Dakshina Dasari, Vincent Nélis, Björn Andersson

16th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2011). 5 to 9, Sep, 2011, Work-In-Progress Session. Toulouse, France.

Enhanced Race-To-Halt: A Leakage-Aware Energy Management Approach for Dynamic Priority Systems HURRAY-TR-110602
Muhammad Ali Awan, Stefan M. Petters

23rd Euromicro Conference on Real-Time Systems (ECRTS 2011), IEEE. 6 to 8, Jul, 2011, pp 92-101. Porto, Portugal., Porto, Portugal.

Global-EDF Scheduling of Multimode Real-Time Systems Considering Mode Independent Tasks HURRAY-TR-110703
Vincent Nélis, José Marinho, Björn Andersson, Stefan M. Petters

23rd Euromicro Conference on Real-Time Systems (ECRTS '11), IEEE. 6 to 8, Jul, 2011, pp 205-214. Porto, Portugal.

Partitioned Scheduling of Multimode Systems on Multiprocessor Platforms: when to do the Mode Transition? HURRAY-TR-110701
José Marinho, Gurulingesh Raravi, Vincent Nélis, Stefan M. Petters

2nd International Real-Time Scheduling Open Problems Seminar (RTSOPS 2011). 5, Jul, 2011. Porto, Portugal.

Maximizing Contention-Free Executions in Multiprocessor Scheduling HURRAY-TR-110401
Jinkyu Lee, Arvind Easwaran, Insik Shin

17th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2011). 11 to 14, Apr, 2011, pp 235-244. Chicago, U.S.A..

The Roman Conquered by Delay: Reducing the Number of Preemptions using Sleep States HURRAY-TR-110301
Muhammad Ali Awan, Stefan M. Petters

17th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2011). 11 to 14, Apr, 2011, Work-In-Progress Session. Chicago, U.S.A..

LLF Schedulability Analysis on Multiprocessor Platforms HURRAY-TR-100902
Jinkyu Lee, Arvind Easwaran, Insik Shin

31st IEEE Real-Time Systems Symposium (RTSS 2010), IEEE. 30, Nov to 3, Dec, 2010, pp 25-36. San Diego, U.S.A..

Assigning Real-Time Tasks on Heterogeneous Multiprocessors with Two Unrelated Types of Processors HURRAY-TR-100505
Björn Andersson, Gurulingesh Raravi, Konstantinos Bletsas

31st IEEE Real-Time Systems Symposium (RTSS 2010), Springer US. 30, Nov to 3, Dec, 2010, 49, pp 29-72. San Diego, U.S.A..

Online Robust Optimization Framework for QoS Guarantees in Distributed Soft Real-Time Systems HURRAY-TR-100903
Jinkyu Lee, Insik Shin, Arvind Easwaran

ACM and IEEE International Conference on Embedded Software (EMSOFT 2010), ACM New York. 24 to 29, Oct, 2010, pp 89-98. Scottsdale, U.S.A..Part of ESWEEK 2010.

Conjecture about global fixed-priority preemptive multiprocessor scheduling of implicit-deadline sporadic tasks: The utilization bound of SM-US(sqrt(2)-1) is sqrt(2)-1 HURRAY-TR-100512
Björn Andersson

1st International Real-Time Scheduling Open Problems Seminar (RTSOPS 2010). 6, Jul, 2010. Brussels, Belgium.In conjunction with the 22th Euromicro Intl Conference on Real-Time Systems

Implementing Multicore Real-Time Scheduling Algorithms Based on Task Splitting Using Ada 2012 HURRAY-TR-100301
Björn Andersson, Luis Miguel Pinho

15th International Conference on Reliable Software Technologies (Ada-Europe 2010), Springer Berlin Heidelberg. 14 to 18, Jun, 2010, pp 54-67. Valencia, Spain.

Conference or Workshop Posters/Demos

Supporting Real-Time Parallel Task Models with Work-Stealing HURRAY-TR-120301
Cláudio Maia, Luis Miguel Nogueira, Luis Miguel Pinho

Poster presented in DATE'12 Fourth Friday Workshop on Designing for Embedded Parallel Computing Platforms: Architectures, Design Tools, and Applications (DEPCP 2012). 16, Mar, 2012. Dresden, Germany.

Technical Reports

Energy and Pre-emption Savings through Real-Time Race-To-Halt Algorithms CISTER-TR-130507
Muhammad Ali Awan, Stefan M. Petters

30, May, 2013.Technical report

Energy-conscious tasks partitioning onto a heterogeneous multi-core platform HURRAY-TR-121006
Muhammad Ali Awan, Stefan M. Petters

18, Oct, 2012.Technical report only.