Abstract FR:

Nous presentons un modele et des outils permettant d'integrer des modules synchrones dans un langage a objets (c#+#+). Ce systeme permet d'appliquer une methodologie de developpement par objets a des applications faisant intervenir du code synchrone. Les modules synchrones, ecrits dans un langage synchrone, sont transformes automatiquement en classes c#+#+. Les instances de ces classes ont le meme comportement que les modules d'origine. Les proprietes verifiees sur ces modules grace aux outils de preuve de l'approche synchrone sont donc conservees. Les principaux problemes traites sont: la communication synchrone entre objets synchrones; la communication asynchrone entre objets synchrones et taches asynchrones; la dynamicite des objets synchrones et de leur interconnexion