Multicores are today an opportunity to support the next generation of safety-critical systems such as the Flight Management Systems with 4D trajectories, the Sesar program (Next European Traffic Management Program) or Cockpit 3.0. Without appropriate usage restrictions those multicore architectures exhibit unpredictable behavior that makes them uncertifiable for safety-critical systems.
CERTAINTY, parMerasa and T-CREST consortiums organize a common workshop in Madrid, in parallel of the ECRTS conference.
The updated list of the public deliverables of the CERTAINTY project is available.
Kai Lampka from UU presented a tutorial "With Real-time Performance Analysis and Monitoring to Timing Predictable Use of Multi-core Architectures" at the 4th International Conference on Runtime Verification (RV 2013) in Rennes, France.
CERTAINTY consortium organised a Tutorial on mixed-criticality systems during the ESWEEK 2013.
tubs.CITY cordially invite you to participate to the 5th annual symposium and enjoy the presentations, demonstrations and social interaction in the newly opened Steigenberger Parkhotel close to the old city center of Braunschweig.
The CERTAINTY leaflet informs about the project objectives, research areas and results.
The CERTAINTY poster summarizes the context and the objectives of the CERTAINTY project
The CERTAINTY consortium presented project goals to German Authorities at the Route2020 Exhibition
The research leading to these results has received funding from the European Union Seventh Framework Programme (FP7/2007-2013) under grant agreement n° 288175
DR. Madeleine FAUGÈRE
THALES S.A.