Design and Verification of Distributed Multi-media Systems

  • David Akehurst
  • John Derrick
  • A. Gill Waters
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2884)


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.


Object Constraint Language Time Automaton Interface Signature Computational Object Time Automaton 
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.


  1. 1.
    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)Google Scholar
  2. 2.
    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)Google Scholar
  3. 3.
    Akehurst, D.H., Derrick, J., Waters, A.G.: Addressing Computational Viewpoint Design. In Proceedings EDOC 2003, Brisbane, Australia (September 2003)Google Scholar
  4. 4.
    Blair, G., Stefani, J.-B.: Open Distributed Processing and Multimedia. Addison Wesley, Reading (1997) ISBN 0-201-17794-3Google Scholar
  5. 5.
    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)Google Scholar
  6. 6.
    Bordbar, B., Derrick, J., Waters, A.G., Using, U.M.L.: to specify QoS constraints in ODP. Computer Networks 40, 279–304 (2002)CrossRefGoogle Scholar
  7. 7.
    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)Google Scholar
  8. 8.
    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)Google Scholar
  9. 9.
    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)CrossRefGoogle Scholar
  10. 10.
    Harel, D.: Statecharts: A Visual Formalism for Complex Systems. Science of Computer Programming 8, 231–274 (1987)MathSciNetCrossRefzbMATHGoogle Scholar
  11. 11.
    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)Google Scholar
  12. 12.
    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)CrossRefGoogle Scholar
  13. 13.
    Larsen, K.G., Pettersson, P., Yi, W.: UPPAAL in a Nutshell. Springer International Journal of Software Tools for Technology Transfer 1 (October 1997)Google Scholar
  14. 14.
    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)CrossRefGoogle Scholar
  15. 15.
    X.641, Information technology - Quality of service: Framework, vol. 1997: ITU-T Recommendation (1998)Google Scholar
  16. 16.
    X.901-5, Information Technology - Open Distributed Processing - Reference Model: All Parts, ITU-T Recommendation (1996-1999)Google Scholar

Copyright information

© IFIP International Federation for Information Processing 2003

Authors and Affiliations

  • David Akehurst
    • 1
  • John Derrick
    • 1
  • A. Gill Waters
    • 1
  1. 1.University of Kent at CanterburyUK

Personalised recommendations