Aerospace and Transport
Our team, at a glance
(~ 6 researchers)
Safety critical real-time systems are implemented as sets of tasks that must meet deadlines. Real-time task scheduling strategies rely on the knowledge of the worst-case execution time (WCET) of each task. The research activities of the TRACES group aim to design new techniques with which to determine such WCETs and/or to facilitate their computation.
- Analysis of the timing predictability of multicore systems (THALES)
- Timing (WCET) analysis of parallel programs (HONEYWELL)
- Mastering the behavior of multi-core systems to match avionics requirements (THALES)
- Identification of scenarios for precise WCET analysis (CONTINENTAL)