Blog
About

181
views
0
recommends
+1 Recommend
1 collections
    0
    shares
      • Record: found
      • Abstract: found
      • Conference Proceedings: found
      Is Open Access

      Stochastic Specification and Verification

      ,

      3rd Irish Workshop on Formal Methods (IWFM)

      Formal Methods

      1st - 2nd July 1999

      Read this article at

      Bookmark
          There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

          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.

          Related collections

          Most cited references 3

          • Record: found
          • Abstract: not found
          • Article: not found

          A GSMP formalism for discrete event systems

           P.W. Glynn (1989)
            Bookmark
            • Record: found
            • Abstract: not found
            • Article: not found

            Formal Characterisation of Immediate Actions in SPA with Nondeterministic Branching

             H. Hermanns (1995)
              Bookmark
              • Record: found
              • Abstract: not found
              • Book Chapter: not found

              An Algebraic Approach to the Specification of Stochastic Systems (Extended Abstract)

                Bookmark

                Author and article information

                Contributors
                Conference
                July 1999
                July 1999
                : 1-20
                Affiliations
                Computing Laboratory, University of Kent, Canterbury, CT2 7NF, UK.

                Phone: + 44 1227 764000
                Article
                10.14236/ewic/IWFM1999.3
                © Jeremy Bryans et al. Published by BCS Learning and Development Ltd. 3rd Irish Workshop on Formal Methods

                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/

                3rd Irish Workshop on Formal Methods
                IWFM
                3
                Galway, Ireland
                1st - 2nd July 1999
                Electronic Workshops in Computing (eWiC)
                Formal Methods
                Product
                Product Information: 1477-9358BCS Learning & Development
                Self URI (journal page): https://ewic.bcs.org/
                Categories
                Electronic Workshops in Computing

                Comments

                Comment on this article