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 : email@example.com