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

fYear

1997

fDate

24-27 Nov 1997

Firstpage

269

Lastpage

272

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Protocols for Multimedia Systems - Multimedia Networking, 1997. Proceedings., IEEE Conference on

Conference_Location

Santiago

Print_ISBN

0-8186-7916-6

Type

conf

DOI

10.1109/PRMNET.1997.638908

Filename

638908