Spécification formelle d'une application de téléconférence en SDl'92 - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport Année : 1998

Spécification formelle d'une application de téléconférence en SDl'92

Résumé

Le monde de l'informatique a été marqué ces dernières années par l'avènement du «multimédia» et des «autoroutes de l'infor- mation». l'utilisation conjointe des techniques rapportés à ces deux domaines ont donné naissance à des recherches en infor- matique : la visioconférence et toutes les activités faisant appel à cette technologie (télé-ingénierie, télé-enseignement, télé-médecine). Ces applications constituent des systèmes complexes et une étape de spécification formelle constitue une phase primordiale pour leurs développements. Les techniques de description formelle s'avèrent de plus en plus nécessaires ; surtout dans les domaines dont la complexité est assez élevée. En effet ces techniques permettent d'avoir des spécifications claires, exactes, complètes et vérifiables. Dans ce travail, nous allons présenter une spécification formelle de quelques aspects de coordination dans un système de téléconférence. Cette spécification a été réalisée avec le langage SDl'92 et a été implémentée avec l'outil ObjectGeode. Des simulations de ce système ont été faites grâce à cet outil et différents scénarios ont été vérifiés.
Fichier principal
Vignette du fichier
98-R-235.pdf (398.25 Ko) Télécharger le fichier

Dates et versions

inria-00107530 , version 1 (19-10-2006)

Identifiants

  • HAL Id : inria-00107530 , version 1

Citer

Mohammed Ouzzif, André Schaff. Spécification formelle d'une application de téléconférence en SDl'92. [Interne] 98-R-235 || ouzzif98a, 1998, 52 p. ⟨inria-00107530⟩
79 Consultations
69 Téléchargements

Partager

Gmail Facebook X LinkedIn More