Erwan Jahier
Verimag, Bâtiment IMAG 
Université Grenoble Alpes
700 avenue Centrale
Domaine Universitaire - 38401 St Martin d'Hères
        
Tél: +33 (0)4 57 42 22 23
Fax: +33 (0)4 57 42 22 22
Mél: erwan.jahier @ imag.fr
Version anglaise : Version anglaise

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).


Liens divers



Last modified: Mon Aug 1 15:35:40 CEST 2016