ERTS 2014

CLEARSY a participé à la conférence « Embedded Real Time Software and Systems » (ERTS 2014) qui a eu lieu du 5 au 7 Février à Toulouse. A cette occasion, les résultats du projet de R&D Cercles-2, financé par l’Agence Nationale de la Recherche, ont été présentés en relation avec l’article « Compositional certification: the Cercles 2 project« . L’objectif du projet était de pouvoir valider par preuve B la composition de modèles SCADE. Les résultats obtenus sont très positifs et prometteurs.