Abstract
There is currently considerable interest in the formal specification of distributed multimedia systems, with the majority of research in this area considering the use of timed formal languages for the specification of such systems. In contrast, however, there has been less research on the specification of stochastic behaviour, and yet this style of behaviour is predominant in this class of system. We therefore present stochastically enhanced timed automata, as a solution to the problem. The paper also introduces an associated tool suite that supports the editing, composition and simulation of such automata. Finally, a multimedia example is presented, illustrating the use of the enhanced automata and the associated tool suite.
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
“Aspect-Oriented Programming Home Page”, Xerox PARC, 2000. http://www.parc.xerox.com/csl/projects/aop/
M. Bernardo, R. Gorrieri, “Extended Markovian Process Algebra”, In Proc. CONCUR’96, U. Montanan, V. Sassone (eds), Pisa, Italy, LNCS 1119, pp 314–330, Berlin: Springer, 1996.
E. Biersack, W. Geyer, “Synchronized Delivery and Playout of Distributed Stored Multimedia Streams”, Multimedia Systems, 7 (1), pp 70–90, Berlin: Springer, 1999.
G.S. Blair, L. Blair, H. Bowman, A. G. Chetwynd, “Formal Specification of Distributed Multimedia Systems”, London: UCL Press, 1998.
L. Blair, G.S. Blair, “Composition in Multi-Paradigm Specification Techniques”, Proc. 3rd International Workshop on Formal Methods for Open Object-based Distributed Systems (FMOODS’99), P. Ciancarini, A. Fantechi, R. Gorrieri (eds), Florence, Italy, Massachusetts: Kluwer, 1999.
L. Blair, T. Jones, G.S. Blair, “A Tool Suite for Multi-Paradigm Specification”, Short paper, Proc. Fundamental Approaches to Software Engineering (FASE’99),.1.-P. Finance (ed), Amsterdam, LNCS 1577, pp 234–238, Berlin: Springer, 1999.
L. Blair, “A Tool Suite to Support Aspect-Oriented Specification”, Aspect-Oriented Programming Workshop at ECOOP’99, Lisbon, June 1999. Workshop report in “Object-Oriented Technology: ECOOP’99 Workshop Reader”, A. Moreira, S. Demeyer (eds), LNCS 1743, pp 288–313, Berlin: Springer, 1999. Paper available from http://www.comp.lancs.ac.uk/computing/users/lb/v-qos.html.
L. Blair, “The Role of Temporal Logic and Timed Automata in Distributed Multimedia Systems”, AAAI’99 workshop on Temporal and Modal Logics for the Planning of Open Networked Multimedia Systems (PONMS’99), Cape Cod, MA, 1999. Available from http://www.comp.lancs.ac.uk/computing/users/Ib/v-qos.html
G. Blakowski, R. Steinmetz, “A Media Synchronization Survey: Reference Model, Specification and Case Studies”, IEEE Journal on Selected Areas in Communications, 14(1), Special Issue on Synchronization Issues in Multimedia Communications, pp 5–35, IEEE, 1996.
S. Bornot, J. Sifakis, S. Tripakis, “Modelling Urgency in Timed Systems”, Proc. Compositionality (COMPOS’97), LNCS 1536, Berlin: Springer, 1998.
H. Bowman, “Modelling Timeouts without Timelocks”, In Proc. Formal Methods for Real-Time and Probabilistic Systems (ARTS’99), J.-P. Katoen (ed), Bamberg, Germany, LNCS 1601, pp 334–353, Berlin: Springer, 1999.
M. Bravetti, R. Gorrieri, “Interactive Generalized Semi-Markov Processes”, In Proc. 7th Int. Workshop on Process Algebras and Performance Modelling (PAPM’99), J. Hillston and M. Silva (eds), pp 83–98, Zaragoza, Spain, Sept. 1999.
J. Bryans, J. Derrick, “Stochastic Specification and Verification”, Proc. 3rd Irish Workshop on Formal Methods, Electronic Workshops in Computing pp20, Springer, 1999.
P.R. D’Argenio, J.-P. Katoen, E. Brinksma, “An Algebraic Approach to the Specification of Stochastic Systems (extended abstract)”, In Proc. Programming Concepts and Methods (Procomet’98), D. Gries, W.-P. de Roever (eds), Shelter Island, New York, pp 126–147, Chapman & Hall, 1998.
P.R. D’Argenio, J.-P. Katoen, E. Brinksma, “Specification and Analysis of Soft Real-Time Systems: Quantity and Quality”, Proc. 20th IEEE Real-time Systems Symposium, Phoenix, Arizona, pp 104–114, IEEE, December 1999.
H. Garavel, “An Overview of the Eucalyptus Toolbox”, Proc. International Workshop on Applied Formal Methods in System Design, pp 76–88, Maribor, Slovenia, June 1996. See http://www.inrialpes.fr/vasy/Publications/Garavel-96.html.
P.W. Glynn, “A GSMP Formalism for Discrete Event Simulation”, In Proc. of the IEEE, 77(1), pp 14–23, IEEE, 1989.
D. Gross, C.M. Harris, “Fundamentals of Queuing Theory (2nd edition)”, New-York: Wiley, 1985.
H. Hermanns, V. Mertsiotakis, M. Rettlebach, “A Construction and Analysis Tool based on the Stochastic Process Algebra TIPP”, In Proc. TACAS’96, LNCS 1055, Berlin: Springer p. 427–430, 1996.
J. Hillston, “A Compositional Approach to Performance Modelling”, Distinguished Dissertation in Computer Science, Cambridge University Press, 1996.
ISO, “Information Processing Systems - Open Systems Interconnection - LOTOS, A Formal Description Technique based on the Temporal Ordering of Observational Behaviour”, ISO8807, International Organisation for Standardisation, Geneva, 1989.
T. Jones, L. Blair, “A tool-suite for simulating, composing and editing timed automata (LUSCETA: Users manual release 1.0)”, Internal Report MPG-99–24, 1999. Available at http://www.comp.lancs.ac.uk/computing/users/jonest/default.htm.
T. Jones, “Case study: Synchronized delivery and playout of distributed stored multimedia streams”, Powerpoint presentation, 1999. Available from http://www.comp.lancs.ac.uk/computing/users/jonest/default.htm
K.G. Larsen, P. Pettersson, W. Yi, “Diagnostic Model-Checking for Real-Time Systems”, Proc. 4th DIMACS Workshop on Verification and Control of Hybrid Systems, New Brunswick, New Jersey, October 1995.
M.A. Marsan, G. Balbo, G. Conte, S. Donatelli, G. Franceschinis, “Modelling with Generalized Stochastic Petri Nets”, John Wiley & Sons, 1995.
G.C. Murphy, R.J. Walker, E.L.A. Baniassad, “Evaluating Emerging Software Development Technologies: Lessons Learned from Assessing Aspect-Oriented Programming”, IEEE Transactions on Software Engineering (Special Section on Empirical Software Engineering), 25 (4), pp 438–455, IEEE, July/August 1999.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 IFIP International Federation for Information Processing
About this paper
Cite this paper
Blair, L., Jones, T., Blair, G. (2000). Stochastically Enhanced Timed Automata. In: Smith, S.F., Talcott, C.L. (eds) Formal Methods for Open Object-Based Distributed Systems IV. FMOODS 2000. IFIP Advances in Information and Communication Technology, vol 49. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-35520-7_17
Download citation
DOI: https://doi.org/10.1007/978-0-387-35520-7_17
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-1018-2
Online ISBN: 978-0-387-35520-7
eBook Packages: Springer Book Archive