Towards a new multimedia synchronization mechanism and its formal specification

The design of a distributed multimedia application involves both temporal and spatial synchronization problems related to the processing, transport, storage, retrieval and presentation of data, sound, still images and video. Within this general framework, the paper aims at defining a new multimedia synchronization mechanism, the so-called conditional delivery mechanism, which appears particularly useful for achieving both intraand interstream synchronization. Main motivations behind this synchronization mechanism are first discussed on a simple example, namely a distributed application in the area of distance and interactive training, and then the details of the mechanism are presented. This presentation starts with an informal discussion on simple examples, which is followed by a formal specification of the mechanism based on the use of a temporal extension of the Formal Description Technique LOTOS.

[1]  Serge Fdida,et al.  Preserving temporal signature: a way to convey time constrained flows , 1993, Proceedings of GLOBECOM '93. IEEE Global Telecommunications Conference.

[2]  Patrick Sénac,et al.  Time Stream Petri Nets: A Model for Timed Multimedia Information , 1994, Application and Theory of Petri Nets.

[3]  P. Venkat Rangan,et al.  Techniques for multimedia synchronization in network file systems , 1993, Comput. Commun..

[4]  Craig Partridge.  Isochronous applications do not require jitter-controlled networks , 1991, RFC.

[5]  Luiz Fernando Rust da Costa Carmo,et al.  Towards a new multimedia synchronization mechanism and its formal definition , 1994, MULTIMEDIA '94.

[6]  Jean-Pierre Courtiat,et al.  About time nondeterminism and exception handling in a temporal extension of LOTOS , 1994, PSTV.

[7]  Gordon S. Blair,et al.  Summary of the 4th International Workshop on Network and Operating System Support for Digital Audio and Video (NOSSDAV'93) , 1994, OPSR.

[8]  Howard Bowman,et al.  Formal Support for the Specification and Construction of Distributed Multimedia Systems (The Tempo Project) Final Project Deliverable , 1993 .

[9]  Luiz Fernando Rust da Costa Carmo,et al.  A new mechanism for achieving inter-stream synchronization in multimedia communication systems , 1994, 1994 Proceedings of IEEE International Conference on Multimedia Computing and Systems.

[10]  Tommaso Bolognesi,et al.  Tableau methods to describe strong bisimilarity on LOTOS processes involving pure interleaving and enabling , 1994, FORTE.

[11]  L.R.d.C. Carmo,et al.  Towards multimedia communication services , 1993, 1993 4th Workshop on Future Trends of Distributed Computing Systems.

[12]  Luiz Fernando Rust da Costa Carmo,et al.  Basic Synchronization Concepts in Multimedia Systems , 1992, NOSSDAV.

[13]  Arif Ghafoor,et al.  Synchronization and Storage Models for Multimedia Objects , 1990, IEEE J. Sel. Areas Commun..