Skip to Main content Skip to Navigation
Reports

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

Mohammed Ouzzif 1 André Schaff 1
1 RESEDAS - Software Tools for Telecommunications and Distributed Systems
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
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.
Document type :
Reports
Complete list of metadata

https://hal.inria.fr/inria-00107530
Contributor : Publications Loria <>
Submitted on : Thursday, October 19, 2006 - 9:00:09 AM
Last modification on : Friday, February 26, 2021 - 3:28:06 PM
Long-term archiving on: : Friday, November 25, 2016 - 1:03:24 PM

Identifiers

  • HAL Id : inria-00107530, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

141

Files downloads

121