Estelle development toolset (EDT)
Computer Networks and ISDN Systems
Proving temporal consistency in a new multimedia synchronization model
MULTIMEDIA '96 Proceedings of the fourth ACM international conference on Multimedia
An introduction to ET-LOTOS for the description of time-sensitive systems
Computer Networks and ISDN Systems
Specification and verification of multimedia synchronization scenarios using Time-Estelle
Software—Practice & Experience
Specifying real-time requirements for SDL specifications - a temporal logic-based approach
Proceedings of the Fifteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification XV
A New Approach for Protocols Performance Evaluation Using Estelle Specifications
Proceedings of the IFIP TC6 Eighth International Conference on Formal Description Techniques VIII
HMRSVP: a hierarchical mobile RSVP protocol
Wireless Networks
Time-Estelle: an extended Estelle capable of expressing multimedia QoS parameters
ICMCS '97 Proceedings of the 1997 International Conference on Multimedia Computing and Systems
Specification and Validation of Multimedia Protocols using RT-LOTOS
FTDCS '95 Proceedings of the 5th IEEE Workshop on Future Trends of Distributed Computing Systems
Hi-index | 0.00 |
Performance analysis derived from a formal specification of a multimedia protocol provides important information on the performance characteristics of a multimedia system before implementation. The major problem of existing performance methodology is the lack of feasibility in time-dependent and functional behaviours, as well as statistical traffic characteristics for distributed multimedia systems. The internationally standardised Formal Description Technique, Estelle, does not have enough expressive power to specify the time-dependent performance characteristics of a multimedia system. To address this limitation of Estelle, we have developed a variant of Estelle, called Time-Estelle. In this paper, we describe a method for analysing the performance of a multimedia protocol specified in Time-Estelle. To aid the analysis, we introduce a traffic model called the Time-interval Performance Indices in order to capture the burstiness and time correlations of realistic multimedia traffic. Thus, performance parameters of multimedia systems, such as the long-term average rate and short-term peak rate allocation, and exploitation of statistical resources utilisation, can be analysed. To demonstrate the soundness of our method, we have applied it to the Resource ReSerVation Protocol and some results are included in this paper.