RECOMP - Reduced Certification Costs Using Trusted Multi-core Platforms
The aim of the co-European RECOMP project is to establish methods, tools and platforms enabling cost-efficient (re-)certification of safety-criticial and medium-critical systems. The project among other things looks at cars, airplanes, industrial automoation, lifts and transport systems.