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 :
- RDBG un débogueur de programmes réactifs
-
Lurette, un outil de test automatisé de programmes
réactifs.
- Lutin, un
language pour décrire et simuler des systèmes réactifs non
déterministes.
Mon travail sur Lurette et Lutin a aboutit à la création de la société
Argosim.
-
Le compilateur Lustre V6
- aadl2sync,
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).
|
