Je suis ingénieur de recherche CNRS au sein de l'équipe synchrone du
laboratoire Verimag.
Le groupe synchrone
s'intéresse à la programmation et à la
validation des programmes réactifs, c'est-à-dire, des
programmes qui contrôlent des systèmes qui interagissent avec leurs
environnements (typiquement, des programmes qui controllent des systèmes
embarqués et/ou critiques).
Quelques publications...
|
|
Quelques réalisations :
-
Lurette, un outil de test automatisé de programmes réactifs.
-
Lucky, un language pour décrire et simuler des systèmes réactifs non déterministes.
Lurette, lucky, et divers outils associés peuvent-être télé-chargés
a cette url.
- aadl2lustre, un outil pour traduire en Lustre des descriptions
d'architecture AADL.
- aadl4ocaml, l'analyseur syntaxique utilisé par aadl2lustre.
-
Morphine, un
débogueur/analyseur de trace de programmes Mercury (pendant ma thèse à l'IRISA).
|
