Abstract FR:

Les langages de scénarios permettent la spécification partielle d'applications distribuées complexes. Les exigences de performance pour les systèmes temps-réels sont rapidenment présentes dans le design. Afin d'obtenir des estimations pour ces performances, nous appliquons l'algèbre Max-Plus à une définition temporisée d'un langage de scénarios : les light-level-message-sequence-charts. Moyennant une abstraction au niveau du méta-langage engendré, ceci nous permet de calculer différentes notions de trafic. Dans le cas d'une accumulation de messages sur un canal, on montre comment estimer la vitesse d'accumulation et comment pour un contrôle sur les instances éliminer cette accumulation. Dans une deuxième partie, on montre que les mêmes techniques s'appliquent au cas des réseaux de Pétri temporisés bornés vérifiant certaines hypothèses de linéarité i. E la modélisation du comportement temporel est Max-Plus pour un contrôle en steps maximaux. Finalement on s'intéresse à la modélisation et l'étude des équations d'évolution des réseaux de Pétri temporisés déterministes. On donne une condition nécessaire et suffisante pour que celles-ci se développent en séries formelles. Ce formalisme est ensuite appliqué au contrôle.