stage

Afin de fédérer le RED, il est nécessaire de proposer une base commune de réflexion avec l’élaboration d’un méta-modèle DEVS cohérent avec les travaux déjà proposés par la communauté. Confrontés à des choix de conception, les méta-modèles existants diffèrent. Une description unique de la structure et de la sémantique de DEVS (le méta-modèle) va permettre d’établir un standard. L’utilisation des outils de l’IDM (Ingénierie Dirigée par les Modèles) donnera la possibilité à la communauté de limiter les efforts nécessaires pour partager les modèles existants (transformations de modèles) ou encore autoriser la création rapide de nouveaux DSLs consistant avec le méta-modèle DEVS.

DEVS propose une approche formelle et opérationnelle de la modélisation et de la simulation en fournissant un ensemble d’algorithmes, les simulateurs abstraits. Il existe de nombreuses variantes de ces algorithmes ; adaptées par exemple au contexte d’utilisation. Cependant, le développement informatique de ces algorithmes peut être entaché de problèmes ou de mauvaises interprétations des simulateurs abstraits. Dans le cadre d’une certification des simulateurs DEVS par le réseau, il est nécessaire de disposer d’un ensemble de modèles pour valider et assurer le comportement des simulateurs.

* ce stage est pourvu * Le stagiaire participera à l'évolution du logiciel VLE, principalement sur les interfaces de modélisation et à l'évolution des services web associés. En collaboration avec l'équipe d'encadrants au CIRAD et l'équipe RECORD et membres de l'équipe MIA de l'INRA de Toulouse, le stagiaire fera évoluer...