The RECOMP Project
RECOMP stands for REduced Certification COsts Using Trusted Multi-core Platforms
This three-year European project started on April 1st, 2010 and was funded from ARTEMIS JOINT UNDERTAKING.
RECOMP will establish methods, tools and platforms for enabling cost-efficient (re-)certification of safety-critical and mixed-criticality systems. Applications addressed are automotive, aerospace, industrial control systems, and lifts and transportation systems. The project 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, multicore systems. The aim of RECOMP is to define a European standard reference technology, supported by the European tool vendors participating in RECOMP.
SYSGO’s role within the project is to provide the PikeOS operating system and map its DO-178 process to IEC-61508. Multi-core extensions to PikeOS will be designed and implemented to suit the needs of the partners. SYSGO targets at cooperating with Airbus, TÜV Süd, Elektrobit, PSA, TRT and seeks a close cooperation with the partners providing the demonstrators for the different vertical markets (e.g. Danfoss, FCC, Integrasys, KONE, Metso, and SevenSolutions).
Previous experience that is relevant to the tasks attributed to the project is as follows. In 1998, SYSGO began to develop its own operating system approach which was conceptually based on the L4 microkernel as introduced by Liedtke et al. This system has gradually evolved over several years of its practical application to the real-time embedded domain. The result of this evolution is the PikeOS microkernel, which today is part of SYSGO’s product portfolio. In addition, the company has significant experience in the certification of operating system software for use in highly safety-critical systems, especially in avionics. It has successfully completed a number of projects to certify operating system software for use in aircraft according to standard DO-178B, Level A.
As a partner of RECOMP SYSGO organized a Safety-Certification Workshop and trained the participants in the essential aspects of DO-178B.
For more information, please go to RECOMP