The entity in charge of CERTAINTY within UU is the Embedded Systems Design Group. Current activities encompass Verification, Interference and WCET Analysis, Real-Time Scheduling and Expressiveness vs. Analysis Efficiency (related to real-time calculus).
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.