next up previous
Item suivant: Les protocoles du niveau transport et transfert
Sommaire: Cesame : conception formelle de système multimédia
Item précédent: Introduction

La synchronisation multimédia [4]

Un exemple d'application multimédia peut-être une page de présentation d'un cours d'EAO gif, une procédure applicable dans un avion: les informations présentées seront alors des schémas de fonctionnement des matériels impliqués, une animation graphique d'un équipement, une vidéo montrant le résultat de l'application de cette procédure, des directives textuelles, la reproduction de sons émis lors de l'exécution de cette procédure, comme des messages vocaux d'alarme. Pour être «attrayant» et efficace, ce cours doit être le plus proche possible de la réalité, et donc il est nécessaire de reproduire les comportements observés dans l'avion, en particulier l'affichage simultané de certaines informations. L'organisation spatiale de cet exemple est présentée figure 1.

La présentation sous-jacente respecte un scénario, qui peut être représenté à l'aide d'un modèle défini dans le cadre de ce projet: il s'agit du modèle Réseau de Petri à flux temporel ou TSPN (pour Time Stream Petri Net) permettant de spécifier les contraintes de synchronisation temporelles existant entre les différents flux multimédias. Pour celà, les TSPN utilisent des intervalles temporels sur les arcs sortant des places, ce qui permet à la fois de tenir compte du non déterminisme temporel des systèmes distribués asynchrones et de la variabilité des temps de présentation tolérée par les objets multimédias. Les intervalles temporels dans un TSPN sont des triplets appelés intervalles de validité temporelle représentant les temps de présentation minimal, nominal et maximal de chaque objet.Les dérives temporelles interflux peuvent être contrôlées de façon très précise grâce à 9 sémantiques de tir de transitions différentes. En effet, dans un contexte d'applications multimédias, il est impératif d'avoir des règles de tir qui, dans tous les cas assurent la continuité des flux de données mutimédias. Par exemple, en utilisant ces règles de transition, il est possible de spécifier des mécanismes de synchronisation conduits par le processus le plus en avance, par le processus le plus en retard, ou par un processus donné. Ces sémantiques de synchronisation permettent de définir les instants de synchronisation à partir d'un arc choisi statiquement ou dynamiquement. Le modèle de présentation temporelle correspondant à la figure 1 est donné figure 2.

Texte1 et Audio1 seront présentés de façon concurrente, avec pour règle, dès que Audio1 est terminée, on aborde la suite de la présentation. Les animations 1 et 2 seront présentées de façon concurrente avec la vidéo, en introduisant un point de synchronisation permettant de contrôler l'avancement des flux présentés, ...



next up previous
Item suivant: Les protocoles du niveau transport et transfert
Sommaire: Cesame : conception formelle de système multimédia
Item précédent: Introduction



Jres95