Title :
Using ESTEREL for building synchronization mechanisms in multimedia systems
Author :
Eyzell, José Miguel ; Farines, Jean-Marie
Author_Institution :
Dept. de Engenharia Eletrica, Univ. Fed. de Santa Catarina, Florianopolis, Brazil
Abstract :
This paper shows how the formal specification language ESTEREL may be efficiently used in the development of multimedia systems. We cover the specification and validation of a lip-synchronization mechanism. Modeling of this mechanism lends to a relative simple specification which confirms the simplification of reasoning about real-time systems related to the synchrony hypothesis. Several results obtained by simulation allowed a performance evaluation of the mechanism under different quality of service requirements
Keywords :
formal specification; multimedia communication; synchronisation; telecommunication computing; visual communication; ESTEREL; formal specification language; lip-synchronization mechanism; multimedia systems; performance evaluation; quality of service requirements; real-time systems; simulation; synchronization mechanisms; validation; video communication; Automata; Clocks; Electronic mail; Formal specifications; Multimedia systems; Predictive models; Quality of service; Real time systems; Streaming media; Synchronization;
Conference_Titel :
Protocols for Multimedia Systems - Multimedia Networking, 1997. Proceedings., IEEE Conference on
Conference_Location :
Santiago
Print_ISBN :
0-8186-7916-6
DOI :
10.1109/PRMNET.1997.638908
