Projet "Equivalence sémantique des modèles de SED"

Contact : jean-marc.roussel(at)lurpa.ens-cachan.fr

Thème scientifique :

Confronté à l'impossibilité de disposer d'un modèle unique pour spécifier, analyser, commander ou contrôler le comportement d'un SED, la communauté des SED a su très tôt définir différents modèles pour exprimer le comportement dynamique d'un SED. Elle dispose aujourd'hui d'un ensemble de modèles formels lui permettant d'apporter une réponse adaptée aux différents problèmes qu'elle rencontre. Les travaux théoriques développés autour de ces modèles permettent des techniques de conception ou d’analyse de plus en plus performante (synthèse globale, synthèse distribuée, model-cheking symbolique, diagnostic, ...). Cependant, ces différents apports ne sont pas directement à la portée des concepteurs d'applications industrielles car ils nécessitent le plus souvent, le passage d'un modèle à un autre. Pour ce passage, il n'existe pas ou peu de solutions pertinentes.

Pour être à même de répondre à un tel besoin, les membres du groupe INCOS se sont donnés comme objectif d'étudier le problème des équivalences sémantiques entre les modèles des SED. Sur le plan scientifique, cette réponse ne peut être unique car la transformation de modèles s'effectue toujours avec un objectif précis mais parfois antagoniste selon le contexte. Ces transformations se font généralement avec l’un des objectifs suivants : équivalence de comportement, abstraction de comportement ou raffinement du comportement. L'objet de ce projet est d'étudier le problème des équivalences sémantiques entre les modèles des SED en le remplaçant dans le contexte de leur utilisation.

Méthode de travail

Lors des premiers échanges au sein du groupe INCOS, il a été retenu de démarrer les échanges autour du traitement d'une ou plusieurs études de cas. Il a été également décidé de travailler au départ sur des études de cas de toute petite taille permettant à chacun de proposer rapidement une première modélisation en utilisant l'outil de représentation de son choix. Pour faciliter les échanges entre les participants, il est nécessaire que chaque modèle soit complété d'informations permettant à chacun d'analyser le modèle proposé et de comprendre les principes retenus pour sa conception. Ces informations pourraient être :

• es frontières du système modélisé (Modèle de comportement du système, Modèle de la commande du système, ...),
• les entrées/sorties du modèle,
• l'objectif du modèle,
• le point de vue retenu lors de la conception du modèle (modèle de comportement avec ou sans défaillance, ...),

Ce projet est ouvert à tous. Afin de simplifier le travail de chacun des participants, merci de signaler votre participation par email à l'animateur du projet.