Loading...
Please wait, while we are loading the content...
Similar Documents
Nouvelle approche TURTLE pour le dimensionnement et la validation de systèmes répartis temps réel
| Content Provider | Semantic Scholar |
|---|---|
| Author | Apvrille, Ludovic Mifdaoui, Ahlem Saqui-Sannes, Pierre De |
| Copyright Year | 2009 |
| Abstract | Le profil UML temps reel TURTLE supporte par l'outil open-source TTool offre un cadre formel pour la modelisation et la verification formelle de systemes temps reel communicants. Cet article ajoute a la methode TURTLE un volet "calcul reseau" adapte au traitement des systemes temps reel repartis a large echelle. Ce volet permet de dimensionner le reseau en prenant en compte les trafics des differents n\oe uds, puis d'injecter les resultats de dimensionnement dans les modelisations TURTLE. Cette approche permet au niveau des modeles TURTLE de n'explorer le systeme que pour un nombre reduit de nœuds du systeme reparti. Un systeme de video-conference au sein d'un campus universitaire sert d'etude de cas. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | http://biblio.telecom-paristech.fr/cgi-bin/download.cgi?id=9381 |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |