Specification and Validation of Multimedia Protocols using RT-LOTOS

Authors:
Jp. Courtiat;R. C. de Oliveira
Affiliations:
-;-
Venue:
FTDCS '95 Proceedings of the 5th IEEE Workshop on Future Trends of Distributed Computing Systems
Year:
1995

Citing 0
Cited 3

A method for analysing multimedia protocol performance

Journal of Systems and Software
Formal models for the description of timed behaviors of multimedia and hypermedia distributed systems

Computer Communications
Experience with RT-LOTOS, a temporal extension of the LOTOS formal description technique

Computer Communications

Quantified Score

Hi-index	0.00

Visualization

Abstract

The paper presents a new Formal Description Technique, RT-LOTOS (Real-Time LOTOS) which is a temporal extension of the standard Formal Description Technique LOTOS. After a brief and informal introduction to RT-LOTOS, the paper describes a design method of multimedia protocols based on the use of generic and reusable RT-LOTOS specification building blocks. An application in the area of multimedia synchronization is then developed as an illustration of the proposed design method. Several results, achieved by using the RT-LOTOS support tool RTL, are introduced and discussed with the purpose of formally assessing the quality of service of a lip-synchronization between audio and video streams.