On Formal Description of Synchronization Requirements in Multimedia Systems

This paper explores how formal description techniques can be applied to some common synchronization requirements found in multimedia systems. The aim is to provide a framework for precise descriptions and understanding of some of the timing issues found in multimedia systems. Ultimately, this should lead to improvements in system performance and reliability.

[1]  Neeraj Suri,et al.  Synchronization issues in real-time systems , 1994 .

[2]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.

[3]  A. Simpson,et al.  Using CSP to model the synchronisation process of variable length codes , 2006 .

[4]  Parameswaran Ramanathan,et al.  Fault-tolerant clock synchronization in distributed systems , 1990, Computer.

[5]  Jim Woodcock,et al.  Using Z - specification, refinement, and proof , 1996, Prentice Hall international series in computer science.

[6]  Jin Song Dong,et al.  Timed Communicating Object Z , 2000, IEEE Trans. Software Eng..

[7]  H. Pfeifer,et al.  Formal verification for time-triggered clock synchronization , 1999, Dependable Computing for Critical Applications 7.

[8]  Jim Woodcock,et al.  The Semantics of Circus , 2002, ZB.