Abstract FR:

Ce travail porte sur la programmation et la vérification des systèmes réactifs. Il consiste dans une première partie en la définition d'un langage mixte impératif/déclaratif, nommé ArgoLus, fondé sur les langages synchrones Argos et Lustre. Argos est un langage impératif à base d'automates parallèles et hiérarchisés. Lustre est un langage déclaratif fondé sur le modèle flots de données. Le langage ArgoLus permet de mélanger au niveau source ces deux langages. La définition des traductions structurelles d'ArgoLus en Argos ou en Lustre offre deux solutions intéressantes pour mettre en œuvre ce langage, tout en profitant des environnements déjà existants.