[PostDoc] Exploiting High-Level Design Information in WCET Estimation
raymond, Claire Maïza · 2013
supervisors: Claire Maiza, Pascal Raymomd Postdoctoral reasearcher (6 to 18 months, from 2012 October) Scientific context: The advertised position will be funded by the ANR/INS project W-SEPT. Critical embedded systems are generally composed of repetitive tasks that must meet drastic timing constraints, such as termination deadlines. Providing an upper bound of the worst-case execution time (WCET) of such tasks at design time is thus necessary to prove the correctness of the system. (...)