Stochastic Specification and Verification

Abstract

Modern distributed systems include a class of applications in which non-functional requirements are important. In particular, these applications include multimedia facilities where real time constraints are crucial to their correct functioning. In order to specify such systems it is necessary to describe that events occur at times given by probability distributions. Stochastic process algebras have emerged as a useful technique by which such systems can be specified and verified.

However, stochastic descriptions are very general, in particular they allow the use of general probability distribution functions, and therefore their verification can be complex. In this paper we define a translation from stochastic process algebras to timed automata. By doing so we aim to use the simpler verification methods for timed automata (e.g. reachability properties) for the more complex stochastic descriptions.

Contributors

John Derrick

Conference

Publication date: July 1999

Publication date (Print): July 1999

Pages: 1-20

Affiliations

Computing Laboratory, University of Kent, Canterbury, CT2 7NF, UK.

Phone: + 44 1227 764000

Article

DOI: 10.14236/ewic/IWFM1999.3

Copyright statement: © Jeremy Bryans et al. Published by BCS Learning and Development Ltd. 3rd Irish Workshop on Formal Methods

License:

This work is licensed under a Creative Commons Attribution 4.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/

Conference name: 3rd Irish Workshop on Formal Methods

Conference acronym: IWFM

Conference number: 3

Conference location: Galway, Ireland

Conference date: 1st - 2nd July 1999

Conference sponsor: Electronic Workshops in Computing (eWiC)

Conference theme: Formal Methods

Product

Product Information: 1477-9358BCS Learning & Development

Self URI (article page): https://www.scienceopen.com/hosted-document?doi=10.14236/ewic/IWFM1999.3

Self URI (journal page): https://ewic.bcs.org/

Categories

Series title: Electronic Workshops in Computing