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.
Type de document :
Rapport
[Interne] 98-R-235 || ouzzif98a, 1998, 52 p
Liste complète des métadonnées

https://hal.inria.fr/inria-00107530
Contributeur : Publications Loria <>
Soumis le : jeudi 19 octobre 2006 - 09:00:09
Dernière modification le : jeudi 11 janvier 2018 - 06:20:00
Document(s) archivé(s) le : vendredi 25 novembre 2016 - 13:03:24

Fichier

Identifiants

  • 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〉

Partager

Métriques

Consultations de la notice

93

Téléchargements de fichiers

44