| |
Hiérarchisation et déploiement
des systèmes de transitions synchrones
Localisation : IRISA
Equipe(s) : EP-ATR
Responsable(s) : Jean-Pierre Talpin (poste 7436)
Paul Le Guernic (poste 7242)
Mots-clés : Systèmes de transitions synchrone,
compilation de programmes.
La spécification et la mise en oeuvre de systèmes
réactifs nécéssite une analyse comportementale
précise
afin d’assurer la sureté de fonctionnement et de garantir
l’exécution efficace. L’utilisation de langages
de
programmation synchrone facilitent la réalisation de systèmes
critiques remplissant ces critères.
Dans ce processus d’analyse, une représentation symbolique
du système, par exemple sous forme d’arbres
de décision binaires, ou bien sous forme de systèmes
de transitions hiérarchiques, joue un rôle primordial
afin d’en analyser, d’en vérifier et d’en
optimiser la structure.
L’objectif est de définir et de mettre en oeuvre un
ensemble d’algorithmiques efficaces pour la représentation
hiérarchiques de systèmes de transition symboliques.
Il pourra également aborder l’étude de la décision
de
propriétés de sureté (par exemple l’endochronie)
dans les systèmes de transitions hiérarchiques.
Références :
"Hierarchic normal forms for desynchronization". Talpin,
J.-P., Benveniste, A., Caillaud, B., Le Guernic,
P.Research Report No. 3822. INRIA, December 1999.
"BDL: a semantics backbone for UML dynamic diagrams".
Caillaud, B. ,Talpin, J.-P. , Jezequel, J-M.,
Benveniste, A., Jard, C. Research Report No. 4003. INRIA, September,
2000
|
