Abstract
Performance analysis of computing systems, in particular distributed computing systems, is a complex process. Analysing the complex flows and interactions between a set of distributed processing nodes is a non-trivial task. The problem is exacerbated by the addition of continuous system functions that are time dependent, such as communication between components in the form of multimedia streams of video and audio data. Quality-of-Service (QoS) specifications define constraints on such communications and describe the required patterns of data transfer. By making use of these specifications as part of the performance analysis process it is possible to add significant confidence to predictions about the correct (required) operation of a distributed system. This paper presents a method for designing distributed multimedia systems, including the specification of QoS, using the ODP framework and UML and describes a technique for verifying the QoS specification against the designed functional behaviour of the system using Timed Automata.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Aagedal, J.Ø.: Quality of Service Support in Development of Distributed Systems, PhD thesis, Department of Informatics, Faculty of Mathematics and Natural Sciences, The University of Oslo (2001)
Akehurst, D.H., Bordbar, B., Derrick, J., Waters, A.G.: Design and Verification of Distributed Multi-media Systems,University of Kent at Canterbury (January 1-03, 2003)
Akehurst, D.H., Derrick, J., Waters, A.G.: Addressing Computational Viewpoint Design. In Proceedings EDOC 2003, Brisbane, Australia (September 2003)
Blair, G., Stefani, J.-B.: Open Distributed Processing and Multimedia. Addison Wesley, Reading (1997) ISBN 0-201-17794-3
Blair, L.: The Role of Temporal Logic and Time Automata in Distributed Multimedia Systems. In: Proceedings Modal & Temporal Logic Based Planning for Open Networked Multimedia Systems (PONMS 1999), Cape Cod, MA, pp. 1–7 (November 1999)
Bordbar, B., Derrick, J., Waters, A.G., Using, U.M.L.: to specify QoS constraints in ODP. Computer Networks 40, 279–304 (2002)
Bowman, H., Faconti, G., Katoen, J.-P., Latella, D., Massink, M.: Automatic verification of a lip-synchronisation algorithm using uppaal - extended version. In: Luttick, B., Groote, J.F., Wamel, J.V. (eds.) Proceedings FMICS 1998 Third International Workshop on Formal Methods for Industrial Critical Systems, CWI, Amsterdam, The Netherlands, May 1998, pp. 97–124 (1998)
David, A., Moller, M.O.: From HUppaal to Uppaal: A translation from hierarchical timed automata to flat timed automata, BRICS, Department of Computer Science, University of Aarhus,, Research Series RS-01-11 (March 2001)
David, A., Moller, M.O., Yi, W.: Formal Verification of UML Statecharts with Real- Time Extensions. In: Kutsche, R.-D., Weber, H. (eds.) FASE 2002. LNCS, vol. 2306, p. 218. Springer, Heidelberg (2002)
Harel, D.: Statecharts: A Visual Formalism for Complex Systems. Science of Computer Programming 8, 231–274 (1987)
Jones, T., Blair, L.: Prototyping of Real-time Component Based Systems by the use of Timed Automata. In: Hofmann, P., Schürr, A. (eds.) Proceedings Workshop on Objectoriented Modeling of Embedded Real-time Systems (OMER-2 2001), Munich, Germany. GI-Edition - Lecture Notes in Informatics (LNI), P-5 (May 2001)
Knapp, A., Merz, S., Rauh, C.: Model Checking Timed UML State MAchines and Collaborations. In: Damm, W., Olderog, E.-R. (eds.) FTRTFT 2002. LNCS, vol. 2469, p. 395. Springer, Heidelberg (2002)
Larsen, K.G., Pettersson, P., Yi, W.: UPPAAL in a Nutshell. Springer International Journal of Software Tools for Technology Transfer 1 (October 1997)
Waters, A.G., Linington, P.F., Akehurst, D.H., Utton, P., Martin, G.: Permabase: Predicting the performance of distributed systems at the design stage. IEE Proceedings - Software 148, 113–121 (2001)
X.641, Information technology - Quality of service: Framework, vol. 1997: ITU-T Recommendation (1998)
X.901-5, Information Technology - Open Distributed Processing - Reference Model: All Parts, ITU-T Recommendation (1996-1999)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 IFIP International Federation for Information Processing
About this paper
Cite this paper
Akehurst, D., Derrick, J., Waters, A.G. (2003). Design and Verification of Distributed Multi-media Systems. In: Najm, E., Nestmann, U., Stevens, P. (eds) Formal Methods for Open Object-Based Distributed Systems. FMOODS 2003. Lecture Notes in Computer Science, vol 2884. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-39958-2_19
Download citation
DOI: https://doi.org/10.1007/978-3-540-39958-2_19
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-20491-6
Online ISBN: 978-3-540-39958-2
eBook Packages: Springer Book Archive