Evénements



Calendrier

août 2017 :

Rien pour ce mois

juillet 2017 | septembre 2017

Méthodes formelles pour le test de réseaux de contrôleurs

Accueil > Communauté GOSPI > Thèses

  • Directeur : Matescu Radu

Les automatismes industriels et domestiques sont fréquemment mis en œuvre au moyen de contrôleurs logiques programmables (CLP), qui exécutent en mode synchrone des applications embarquées interagissant avec leur environnement. En combinant plusieurs CLP qui opèrent indépendamment et communiquent à travers un réseau, il est possible de réaliser des automatismes plus élaborés, de type GALS (Globalement Asynchrone, Localement Synchrone). La conception des systèmes GALS est difficile à cause de la présence simultanée des aspects synchrones et asynchrones. Il est donc nécessaire d’employer un processus de conception rigoureux, basé sur des méthodes formelles, pour assurer la correction du système GALS, mais aussi la conformité de l’implantation effective avec la spécification du cahier des charges. L’objectif du projet est l’extension de méthodologies de conception GALS existantes, comme celle développée dans le projet FUI Bluesky, afin extraire automatiquement des tests de conformité à partir de modèles formels des systèmes GALS.