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

Short Abstract
  • Mario Bravetti
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2399)


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.


Time Constraint Discrete Event Simulation Time Approach Time Automaton Distribution Support 
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.
    M. Bravetti, “Specification and Analysis of Stochastic Real-Time Systems”, Ph.D. Thesis, University of Bologna (Italy), February 2002. Available at Google Scholar
  2. 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 1999Google Scholar
  3. 3.
    J. Bryans, J. Derrick, “Stochastic Specification and Verification”, In Proc. of the 3rd Irish Workshop in Formal Methods, Elect. Workshops in Comp., July 1999Google Scholar
  4. 4.
    P.R. D’Argenio, “A Compositional Translation of Stochastic Automata into Timed Automata”, Technical Report CTIT 00-08, Univ. Twente, May 2000Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2002

Authors and Affiliations

  • Mario Bravetti
    • 1
  1. 1.Dipartimento di Scienze dell’InformazioneUniversità di BolognaBolognaItaly

Personalised recommendations