By Topic

Using CSP to model the synchronisation process of variable length codes

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 $31
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

2 Author(s)
Fong, A.C.M. ; Nanyang Technol. Univ., Singapore ; Simpson, A.

Variable length codes (VLC) have found widespread use for efficient encoding of symbols with unequal probabilities in many practical situations. However, bit errors can cause a loss of decoder synchronism that often leads to error propagation. Recent advances in the development of VLC that limit the effect of error propagation, such as reversible VLC and self-synchronising VLC, contribute further to their popularity. However, it is still important to model the performance of various VLC code sets so that comparisons can be made between different coding schemes and for different applications. Communicating sequential processes (CSP) is a well-established formal description technique that allows one to analyse the behaviour of concurrently evolving processes. It has been successfully applied to industrial-scale problems. The paper describes how CSP can be applied to the modelling of the resync process of VLC. This approach offers three main advantages. First, a complete model comprises processes and events as basic building blocks, making this approach highly scalable. Second, different semantic models provide different level of abstraction. Third, tools are available for automatic generation of sync sequences, which also provide a measure of sync performance. This facilitates comparisons of different VLC schemes in addition to code sets obtained using a given coding scheme.

Published in:

Communications, IEE Proceedings-  (Volume:153 ,  Issue: 2 )