The Design of a Multimedia Protocol Analysis Software Environment

We have developed a variant of Estelle, called Time-Estelle which is able to express multimedia quality of service (QoS) parameters, synchronisation scenarios, and time-dependent and probabilistic behaviours of multimedia protocols. We have developed an approach to verifying a multimedia protocol specified in Time-Estelle. To predict the performance of a multimedia system, we have also developed a method for the performance analysis of a multimedia protocol specified in Time-Estelle. However, without the support of a software environment to automate the processes, verification and performance analysis methods would be very time-consuming. This paper describes the design of such a software environment.