Implementation of multimedia systems based on a real-time extension of Estelle

Abstract

Estelle is one of the standardized Formal Description Techniques for the specification of communication protocols and distributed systems. Unfortunately, Estelle is not capable of expressing real-time requirements resp. characteristics of services or protocols which are especially interesting in the context of distributed multimedia systems. Therefore, we developed an extension to Estelle called Real-Time Estelle that allows the description of real-time systems. In this paper, we first give a short introduction into Real-Time Estelle and compare it to earlier approaches to the inclusioin of real time into FDTs. In the main part, we discuss possibilities to implement such specifications in a manner guaranteeing QoS requirements by using a real-time operating system. An analysis shows that time bounds can be guaranteed not only for single Estelle module instances but also for module groups where single modules communicate asynchronously.

OriginalspracheEnglisch
TitelFormal Description Techniques VIII (Proc. of First Joint Int. Conf. FORTE/PSTV'96, Kaiserslautern)
Redakteure/-innenR. Gotzhein, J. Bredereke
Seitenumfang17
ErscheinungsortBoston
Herausgeber (Verlag)Springer Verlag
Erscheinungsdatum1996
Seiten310-326
ISBN (Print)978-1-5041-2883-4
ISBN (elektronisch)978-0-387-35079-0
DOIs
PublikationsstatusVeröffentlicht - 1996
VeranstaltungIFIP TC6 WG6.1 International Conference on Formal Description Techniques IX / Protocol Specification, Testing and Verification XVI
- Kaiserslautern, Deutschland
Dauer: 08.10.199611.10.1996

Fingerprint

Untersuchen Sie die Forschungsthemen von „Implementation of multimedia systems based on a real-time extension of Estelle“. Zusammen bilden sie einen einzigartigen Fingerprint.

Zitieren