RECOMP project is an European project funded by the ARTEMIS network (Project Call 2009-1). As its name indicates, the project pretends to reduce costs in certification and re-certification of safety-critical systems and mixed-criticality systems by using multi-core platform in the frame of avionic, automobile & industry.