OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Nouvelle approche TURTLE pour le dimensionnement et la validation de systèmes répartis temps réel

Apvrille, Ludovic and Mifdaoui, Ahlem and Saqui-Sannes, Pierre de Nouvelle approche TURTLE pour le dimensionnement et la validation de systèmes répartis temps réel. ( In Press: 2009) In: NOTERE 2009 - Nouvelles Technologies pour la Répartition, 29 Juin - 03 Jul 2009, Montréal, Canada .

[img] (Document in French)

PDF (Publisher's version) - Depositor and staff only - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
638kB

Abstract

Le profil UML temps réel TURTLE supporté par l'outil open-source TTool offre un cadre formel pour la modélisation et la vérification formelle de systèmes temps réel communicants. Cet article ajoute à la méthode TURTLE un volet "calcul réseau" adapté au traitement des systèmes temps réel répartis à large échelle. Ce volet permet de dimensionner le réseau en prenant en compte les trafics des différents n\oe uds, puis d'injecter les résultats de dimensionnement dans les modélisations TURTLE. Cette approche permet au niveau des modèles TURTLE de n'explorer le système que pour un nombre réduit de nœuds du système réparti. Un système de vidéo-conférence au sein d'un campus universitaire sert d'étude de cas.

Item Type:Conference or Workshop Item (Paper)
Audience (conference):International conference proceedings
Uncontrolled Keywords:
Institution: Université de Toulouse > Institut Supérieur de l'Aéronautique et de l'Espace - ISAE
Laboratory name:
Statistics:download
Deposited By: Pierre de Saqui-Sannes

Repository Staff Only: item control page