We are currently experiencing intermittent issues impacting performance. We apologize for the inconvenience.
By Topic

Using timed CSP for specification verification and simulation of multimedia synchronization

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

4 Author(s)
Ates, A.F. ; Dept. of Comput. Sci., Univ. of Southern California, Los Angeles, CA, USA ; Bilgic, M. ; Saito, S. ; Sarikaya, B.

Timed communicating sequential processes (TCSP) language is used to specify fine-grain and coarse-grain multimedia synchronization. A lip synchronization system is an example of fine-grain synchronization. Several groupware scenarios are examples of coarse-grain synchronization. The formal specifications are used as the basis of verification and simulation. Safety and liveness timing requirements of the synchronization system are stated in terms of temporal logic formulas. Correctness analysis of the specification is shown using the temporal formulas and TCSP proof theory. It is shown that TCSP is powerful enough to be used in multimedia system design and verification. Next, simulation of multimedia synchronization is discussed. Various simulation models are developed for fine- and coarse-grain synchronization systems. It is shown that simulation modeling can lead to early detection of possible synchronization violations. The buffering requirements of a given synchronization mechanism can be effectively studied using simulation

Published in:

Selected Areas in Communications, IEEE Journal on  (Volume:14 ,  Issue: 1 )