Précédent : Documentation de l'environnement Remonter : Environnement de programmation temps réel Suivant : Modèle et langage (évolution)

Expérimentations de Signal, méthodologie de programmation et vérification

  Participants : Patricia Bournai, Michel Le Borgne, Hervé Marchand, Éric Rutten, Paul Le Guernic

Les diverses expérimentations de SIGNAL ont un rôle central pour nos recherches, en particulier en matière de techniques de compilation. Les applications développées sont aussi d'une grande utilité dans une perspective méthodologique, tant en ce qui concerne la programmation que la vérification.

• La spécification du comportement de gestion de défauts électriques d'une cellule de transformateur, réalisée en SIGNALGT à partir de descriptions fournies par Électricité de France, a été mise en oeuvre et simulée. On a montré qu'elle satisfait un ensemble de propriétés au moyen de la méthode de vérification de SIGNAL\ [9]. Des études sont en cours sur la synthèse d'un contrôleur des interactions entre plusieurs cellules. Plus généralement, une méthode de conception progressive de programmes par synthèse / vérification / simulation est en cours d'étude dans le cadre d'une coopération avec EDF.
• Dans le cadre d'études entreprises par GDF pour une meilleure maîtrise du développement des logiciels à fortes contraintes de sûreté de fonctionnement, une étude de cas a été réalisée en collaboration avec AQL (Alliance Qualité Logiciel). Cette étude a permis de spécifier en SIGNAL un générateur d'eau chaude sanitaire et d'en étudier certaines propriétés (identification de modes de fonctionnement dégradés du régulateur, vivacité du contrôleur en cas de défaillance de capteurs...).