Skip to main content
SpringerLink
Log in
Book cover

Joint International Workshop von Process Algebra and Probabilistic Methods, Performance Modeling and Verification

PAPM-PROBMIV 2002: Process Algebra and Probabilistic Methods: Performance Modeling and Verification pp 209–210Cite as

An Integrated Approach for the Specification and Analysis of Stochastic Real-Time Systems

Short Abstract

  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2399))

Abstract

Two approaches for expressing and analyzing time properties of systems have been developed which are based on formal description paradigms: (i) the real-time approach, mainly concerned with the expression of time constraints and the verification of exact time properties, and (ii) the probabilistic-time approach, mainly concerned with the probabilistic quantification of durations of system activities via exponential distributions and the evaluation of system performance.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

References

  1. M. Bravetti, “Specification and Analysis of Stochastic Real-Time Systems”, Ph.D. Thesis, University of Bologna (Italy), February 2002. Available at http://www.cs.unibo.it/~bravetti

    Google Scholar 

  2. M. Bravetti, “Towards the Integration of Real-Time and Probabilistic-Time Process Algebras”, in Proc. of the 3rd European Research Seminar on Advances in Distributed Systems (ERSADS’99), Madeira Island (Portugal), April 1999

    Google Scholar 

  3. J. Bryans, J. Derrick, “Stochastic Specification and Verification”, In Proc. of the 3rd Irish Workshop in Formal Methods, Elect. Workshops in Comp., July 1999

    Google Scholar 

  4. P.R. D’Argenio, “A Compositional Translation of Stochastic Automata into Timed Automata”, Technical Report CTIT 00-08, Univ. Twente, May 2000

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dipartimento di Scienze dell’Informazione, Università di Bologna, Mura Anteo Zamboni 7, 40127, Bologna, Italy

    Mario Bravetti

Authors
  1. Mario Bravetti
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Faculty of Computer Science Formal Methods and Tools Group, University of Twente, P.O. Box 217, 7500 AE, Enschede, The Netherlands

    Holger Hermanns

  2. Department of Computer Science, University of Verona, Strada Le Grazie 15, 37134, Verona, Italy

    Roberto Segala

Rights and permissions

Reprints and permissions

Copyright information

© 2002 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Bravetti, M. (2002). An Integrated Approach for the Specification and Analysis of Stochastic Real-Time Systems. In: Hermanns, H., Segala, R. (eds) Process Algebra and Probabilistic Methods: Performance Modeling and Verification. PAPM-PROBMIV 2002. Lecture Notes in Computer Science, vol 2399. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45605-8_14

Download citation

  • DOI: https://doi.org/10.1007/3-540-45605-8_14

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-43913-4

  • Online ISBN: 978-3-540-45605-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation