Abstract FR:

L'approche synchrone est d'un grand interet pour la conception de systemes reactifs temps reel surs. Toutefois, en raison des hypotheses synchrones, les programmes issus de cette approche ne sont pas directement executables. Leur implantation necessite une machine d'execution dont le role est d'etablir le lien entre le modele ideal synchrone et le monde reel asynchrone. La machine d'execution est souvent consideree comme un detail d'implementation et traitee au cas par cas. Notre objectif est de definir une architecture generique de machines d'execution qui permette d'avoir une approche unifiee pour l'implantation des processus synchrones. L'architecture proposee est basee sur le modele de boites reactives. Ce modele permet de concevoir des machines d'execution qui partagent une structure generique commune, mais chacune repondant a des besoins particuliers en termes de connexion a l'environnement, de mode de fonctionnement et de traitement des anomalies. L'execution de traitements externes non instantanes (taches du langage esterel) en parallele avec le code synchrone est aussi traitee et integree dans l'architecture. Nous avons developpe des outils de generation automatique bases sur cette approche. Ils permettent la configuration et la production de machines executables pour le systeme solaris 2. Les bibliotheques sont ecrites en c++ et reposent largement sur les objets synchrones de f. Boulanger. Nous illustrons l'utilisation de cet environnement sur l'exemple d'un atm (automatic teller machine). Nous nous interessons aussi a la verification de proprietes logiques, d'abord du programme synchrone puis de l'implementation elle-meme (proprietes de bout en bout portant sur les signaux physiques).