"Components for embedded systems" is the central topic of the research I have been working on until current time. I have studied the modeling of the functional behavior of heterogeneous components, and contracts for specifying their behavior. I am also interested in dynamic reconfiguration of component-based-systems. Currently, I am working on power and thermal analysis of embedded systems at The TLM level.
I received my Ph.D. degree in computer science from Grenoble University in September 2010. I did my thesis under the supervision of Professor Florence Maraninchi, at Verimag laboratory. My thesis dealt with the definition of a new component-based approach called 42, for the virtual prototyping of heterogeneous embedded systems.
At December 2010 , I joined the Sardes team at INRIA Grenoble for a five mounths Post-Doc. I have been working with Eric Rutten on the use of controller synthesis for dynamic reconfiguration of component based models.
Since June 2011, I'm working on High Level Models for power and thermal analysis of embedded systems with a focus on Systems-On-Chip. From the application point of view, this amount to power instrumentation of SystemC/TLM models and the definition of cosimulation mechanisms of SystemC and temperature analysis tools.