My research activities are done within the AOSTE team project of the INRIA Sophia Antipolis research unit. I mainly focus on the validation of conception models. More precisely, My area of research is situated on the border between the use of Model Driven Engineering and the formal validation, the whole applied to real-time and embedded systems. There are various ways to use both techniques but one objective is to stay int the model technical space to ease feedback to users. Beyond the used techniques, the purpose is to capture and to specify the information needed for the validation of a real-time system like for instance:

• The operational semantics
• The structural constraints to be associated with the model to allow the realization of analysis,
• the extra-functionnal constraint and their relation with time

Since my arrival in the team these concerns are mainly centred around the use of Logical Time, which is relax form of time introduced in Synchronous language and then extended. It is adequate from the first requirements stage until the precise specification of a system. All these activities are experimented in TimeSquare, one of the tool developped in the AOSTE team.

for more information, please contact me: