Real-Time Systems: Scheduling, energy optimization, methodology and conception tools

ordonnancement temps réel

Critical Real-Time Systems need specific conception and analysis tools. We study them following three axis.

Real-Time Scheduling:  we study scheduling algorithms which offer worst case warranties on the system temporal behaviors. For example we extend classical algorithms for specific models such as energy harvesting systems.

Energy optimization: we study the electric actuators commands and optimal gesture strategies for energy exchanges in Hybrid Electric Vehicles (HEV).

Methodology and conception tools: our aim is to reduce the development cost  by providing a model-driven and component-based design approach. We propose a design tool, MoDEST,  which permits  multi-formalism specification and simulation,  schedulability analysis, and automatic models transformations for codes generation.

Contact :