Précédent : CTI CNET « Objets Réactifs Remonter :
Actions
industrielles Suivant : Motorola
Participants : Gérard Berry, Ellen
Sentovich, Delphine Terrasse, Horia Toma Dans le cadre de cette
action de développement, des travaux prospectifs sur la preuve de
la traduction de programmes Esterel vers leur forme de circuits
digitaux, en utilisant l'assistant de preuve COQ, ont donné des
résultats forts encourageant : nous avons en particulier détecté
à cette occasion quelques erreurs dans la spécification formelle
« papier » de cette traduction. Notre projet bénéficie ici du
financement de neuf mois d'ingénieur-expert.
Par ailleurs les collaborations avec la société Dassault sur
leur utilisation du langage Esterel se sont encore amplifiées
(contrats Armines).