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.
This work was done by the author at the University of Mannheim, Germany, with funding by the DFG research grant Ef 14/1-2.
Chapter PDF
Similar content being viewed by others
References
Abadi, M. and Lamport, L. (1991). An Old-Fashioned Recipe for Real Time. In (de Bakker et al., 1991 ), pages 1–27.
Alur, R. and Dill, D. (1991). The Theory of Timed Automata. In (de Bakker et al., 1991 ), pages 43–73.
Bowman, H., Blair, G., Blair, L., and Chetwynd, A. (1994). Time versus abstraction in formal descriptions. In (Tenney et al., 1994 ), pages 467–482.
Bredereke, J. and Gotzhein, R. (1994). Increasing the Concurrency in Estelle. In (Tenney et al., 1994 ), pages 127–141.
Budkowski, S. (1992). Estelle Development Toolset. Computer Networks and ISDN Systems, Special Issue on FDT Concepts and Tools, 25 (1): 63–81.
Chamberlain, S. C. (1992). Estelle Enhancements for Formally Specifying Distributed Systems. PhD thesis, University of Delaware, USA.
Courtiat, J.-P. and de Oliveira, R. C. (1995). RT-LOTOS and its application to multimedia protocol specification and validation. In Sarikaya, B. and Saito, S., editors, IEEE International Conference on Multimedia Networking (MmNet95), Participants’ Proceeedings, pages 31–45. IEEE Computer Society Press.
de Bakker, J. W., Huizing, C., de Roever, W. P., and Rozenberg, G., editors (1991). Real-Time: Theory in Practice (LNCS 600). Springer—Verlag Berlin Heidelberg New York.
Dembinski, P. and Budkowski, S. (1987). Simulating Estelle specifications with time parameters. In (Rudin and West, 1987 ), pages 265–279.
Dembinski, P. and Sredniawa, M., editors (1995). Protocol Specification, Testing and Verification XV. Chapman & Hall, London.
Fischer, S. (1995). On the Suitability of Estelle for Multimedia Systems. In (Dembinski and Sredniawa, 1995 ), pages 369–384.
Fischer, S. (1996). Real-Time Estelle. Technical Report TR-96–003, University of Mannheim. URL=ftp://pi4.informatik.uni-mannheim.de/pub/techreports/1996/tr-96003.ps.gz.
Fischer, S. and Effelsberg, W. (1995). Efficient Configuration of Protocol Software for Multiprocessors. In Puigjaner, R., editor, High Performance Networking VI, pages 195–210. Chapman & Hall, London.
Gotzhein, R. (1992). Temporal logic and applications–a tutorial. Computer Networks and ISDN Systems, 24: 203–218.
Hamidzadeh, B. and Lilja, D. (1996). Dynamic Scheduling Strategies for Shared-memory Multiprocessors. In Buckles, B. and Chanson, S., editors, IEEE Int. Conf. on Distributed Computing Systems, Hongkong: IEEE Computer Society Press. To appear.
Henzinger, T. A., Manna, Z., and Pnueli, A. (1991). Timed Transition Systems. In (de Bakker et al., 1991 ), pages 226–251.
ISO9074 (1989). Information processing systems — Open Systems Interconnection — Estelle: A formal description technique based on an extended state transition model. International Standard ISO 9074.
Kawachiya, K. and Tokuda, H. (1996). Dynamic QOS Control Based on the QOS-Ticket Model. In IEEE Int. Conference on Multimedia Computing and Systems (ICMCS’96), Hiroshima, Japan. IEEE Computer Society Press.
Koymans, R. (1990). Specifying Real-Time Properties with Metric Temporal Logic. Real-Time Systems Journal, 2 (4): 255–299.
Léonard, L. and Leduc, G. (1994). An enhanced version of timed LOTOS and its application to a case study. In Tenney, R., Amer, P., and Uyar, M., editors, Formal Description Techniques VI, pages 483–498. Elsevier Science Publishers B.V. (North—Holland), Amsterdam.
Leue, S. (1995). Specifying Real-Time Requirements for SDL Specifications — A Temporal Logic-Based Approach. In (Dembinski and Sredniawa, 1995 ), pages 19–34.
Little, T. D. C. and Ghafoor, A. (1990). Synchronization and storage models for multi-media objects. IEEE Journal on Selected Areas in Communication, 8 (3): 52–61.
Lynch, N. and Vaandrager, F. (1991). Forward and Backward Simulation for Timing-Based Systems. In (de Bakker et al., 1991 ), pages 397–446.
Mercer, C. W., Savage, S., and Tokuda, H. (1994). Processor Capacity Reserves: Operating System Support for Multimedia Applications. In Belady, L., Stevens, S. M., and Steinmetz, R., editors, IEEE International Conference on Multimedia Computing and Systems, pages 90–99. IEEE Computer Society Press.
Merlin, P. M. and Farber, D. J. (1976). Recoverability of Communication Protocols–Implication of a theoretical Study. IEEE Transactions on Communications, Com-24: 1046–1043.
Mok, A. K. (1993). Fundamental Design Problems of Distributed Systems for the Hard Real-Time Environment. PhD thesis, MIT.
Nicollin, X. and Sifakis, J. (1991). An Overview and Synthesis of Timed Process Algebras. In (de Bakker et al., 1991 ), pages 526–548.
Ostroff, J. S. (1990). Temporal Logic of Real-time Systems Research Studies Press.
Quemada, J. and Fernandez, A. (1987). Introduction of Quantitative Relative Time into LOTOS. In (Rudin and West, 1987 ), pages 105–121.
Rudin, H. (1986). The dimension of Time in Protocol Specification. In Lecture Notes in Computer Science 2.48, pages 360–372. Springer-Verlag Berlin Heidelberg New York.
Rudin, H. and West, C. H., editors (1987). Protocol Specification, Testing and Verfication VII. Elsevier Science Publishers B. V. ( North-Holland ), Amsterdam.
Sénac, P., Diaz, M., and de Saqui-Sannes, P. (1994). Toward a formal specification of multimedia synchronization scenarios. Annuaires Télécommunication, 49 (5–6): 297–314.
Sijelmassi, R. and Strausser, B. (1993). The PET and DINGO tools for deriving distributed implementations from Estelle. Computer Networks and ISDN Systems, 25 (7): 841–851.
Stankovic, J. A., Spuri, M., Natale, M. D., and Buttazzo, G. C. (1995). Implications of Classical Scheduling Results for Real-Time Systems. IEEE Computer, 28(6):16–25.
Steinmetz, R. (1995). Analyzing the Multimedia Operating System. IEEE MultiMedia, 2(1):68–84.
Tenney, R. L., Amer, P. D., and Uyar, M. ü., editors (1994). Formal Description Techniques, VI. Elsevier Science Publishers B. V. ( North-Holland ), Amsterdam.
von Bochmann, G. and Vaucher, J. (1988). Adding Performance Aspects to Specification Languages. In Aggarwal, S. and Sabnani, K., editors, Protocol Specification, Testing and Verification VIII, pages 19–29. Elsevier Science Publishers B.V. (North-Holland), Amsterdam.
Wittig, H., Wolf, L. C., and Vogt, C. (1994). CPU Utilization of Multimedia Processes: HeiPOET - The Heidelberg Predictor of Execution Times Measurement Tool. In Steinmetz, R., editor, Multimedia: Advanced Teleservices and High-Speed Communication Architectures (LNCS 868), pages 92–103. Springer-Verlag Berlin Heidelberg New York.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1996 IFIP International Federation for Information Processing
About this chapter
Cite this chapter
Fischer, S. (1996). Implementation of multimedia systems based on a real-time extension of Estelle. In: Gotzhein, R., Bredereke, J. (eds) Formal Description Techniques IX. IFIP Advances in Information and Communication Technology. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-35079-0_19
Download citation
DOI: https://doi.org/10.1007/978-0-387-35079-0_19
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-5041-2883-4
Online ISBN: 978-0-387-35079-0
eBook Packages: Springer Book Archive