[PostDoc] Enhancing WCET Estimation by Exploiting Program Semantics
raymond, Claire Maïza · 2013
supervisors: Claire Maiza, Pascal Raymond Postdoctoral researcher (6 to 18 months) Scientific context: 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. Dynamic methods based on testing give realistic but unsafe results: they are not (...)