Mes recherches sont effectuées au sein de l'équipe projet AOSTE de l'INRIA Sophia Antipolis. Mes travaux s'attachent à permettre la validation de modèles de conception. Plus précisément, Mon axe de recherche se situe au croisement entre l'utilisation de l'ingénierie des modèles et la validation formelle, le tout appliqué aux systèmes temps réel. Ceci peut être entrepris de différentes manières mais le recours aux techniques de manipulations de modèles (transformation, animations, etc) sont souvent utilisées. Au delà de l'utilisation de ces techniques, le but est de capturer et de spécifier les informations nécessaires à la validation d'un système temps réel. Par exemple, il s'agit de capturer :
Depuis mon arrivée dans l'équipe ces préoccupations sont principalement centrées autour de la partie Time Model du profil MARTE ainsi que du simulateur associé, timesquare.
Pour plus de détails, ou si vous souhaitez travailler parmi nous, n'hésitez pas à me contacter :
INRIA, équipe AOSTE