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.
Johan Lilius, Professor
+358 (0)2 215 4099
Ivan Porres, Tk.D., Professor
+358 (0)2 215 3463
|Jeanette Heidenberg, FD||Sébastien Lafond, Docent, TkD|
|Holmbacka, Simon and Ågren, Dag and Lafond, Sébastien and Lilius, Johan, QoS Manager for Energy Efficient Many-Core Operating Systems In: Proceedings of the 21st International Euromicro Conference on Parallel, Distributed and Network-based Processing. Kilpatrick, Peter and Milligan, Peter and Stotzka, Rainer (Eds.). IEEE Computer society, 2013 1|
|Holmbacka, Simon and Lund, Wictor and Lafond, Sébastien and Lilius, Johan, Task Migration for Dynamic Power and Performance Characteristics on Many-Core Distributed Operating Systems In: Proceedings of the 21st International Euromicro Conference on Parallel, Distributed and Network-based Processing. Kilpatrick, Peter and Milligan, Peter and Stotzka, Rainer (Eds.). IEEE Computer society, 2013 1|
|Nevalainen, Risto and Kremer, Uwe and Slotosch, Oscar and Truscan, Dragos and Wong, Vicky, Impact of multicore platforms in hardware and software certification In: International Workshop on Industry-Driven Approaches for Cost-effective Certification of Safety-Critical, Mixed-Criticality Systems (WICERT). online, 2013|
|Porres, Ivan and Heidenberg, Jeanette and Weijola, Max and Nordman, Kristian and Truscan, Dragos, Authoring IEC 61508 Based Software Development Process Models In: Product-Focused Software Process Improvement. Heidrich, Jens and Oivo, Markku and Jedlitschka, Andreas and Baldassarre, Maria Teresa (Eds.). LNCS Springer Berlin Heidelberg, 2013 1|
|Berthing, Jesper and Boström, Pontus and Sere, Kaisa and Tsiopoulos, Leonidas and Vain, Jüri, Refinement-Based Development of Timed Systems In: 9th International Conference on Integrated Formal Methods (iFM 2012). Latella, Diego and Treharne, Helen (Eds.). Lecture Notes in Computer Science Springer, Heidelberg, 2012 1|
|Holmbacka, Simon and Smeds, Jens and Lafond, Sébastien and Lilius, Johan, System Level Power Management for Many-Core Systems In: Workshop on Micro Power Management for Macro Systems on Chip. Springer, 2011|
|Lafond, Sébastien and Holmbacka, Simon and Lilius, Johan, A System Level Power Management for Web Clusters In: Proceedings of the COST Action IC0804 on Energy Efficiency in Large Scale Distributed Systems, 2nd Year. Pierson, Jean-marc and Hlavacs, Helmut (Eds.). IRIT, 2011|