RECOMP
Reduced Certification Costs for Trusted Multi-core Platforms
| 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: | |
| Contact Person at CISTER: | Stefan M. Petters |
.png)
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Journal Papers
Provably Good Multiprocessor Scheduling with Resource Sharing HURRAY-TR-100901
Björn Andersson, Arvind EaswaranReal-Time Systems Journal, Springer US. Oct 2010, Volume 64, Issue 2, pp 153-156.
Björn Andersson, Arvind EaswaranReal-Time Systems Journal, Springer US. Oct 2010, Volume 64, Issue 2, pp 153-156.
PDFConference or Workshop Papers/Talks
LLF Schedulability Analysis on Multiprocessor Platforms HURRAY-TR-100902
Jinkyu Lee, Arvind Easwaran, Insik Shin31st IEEE Real-Time Systems Symposium (RTSS 2010), IEEE. 30, Nov to 3, Dec, 2010, pp 25-36. San Diego, U.S.A..
Jinkyu Lee, Arvind Easwaran, Insik Shin31st 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 Bletsas31st IEEE Real-Time Systems Symposium (RTSS 2010), Springer US. 30, Nov to 3, Dec, 2010, 49, pp 29-72. San Diego, U.S.A..
Björn Andersson, Gurulingesh Raravi, Konstantinos Bletsas31st 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 EaswaranACM 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.
Jinkyu Lee, Insik Shin, Arvind EaswaranACM 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 Andersson1st 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
Björn Andersson1st 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 Pinho15th International Conference on Reliable Software Technologies (Ada-Europe 2010), Springer Berlin Heidelberg. 14 to 18, Jun, 2010, pp 54-67. Valencia, Spain.
Björn Andersson, Luis Miguel Pinho15th International Conference on Reliable Software Technologies (Ada-Europe 2010), Springer Berlin Heidelberg. 14 to 18, Jun, 2010, pp 54-67. Valencia, Spain.