An Integrated Approach for the Specification and Analysis of Stochastic Real-Time Systems
- 267 Downloads
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.
KeywordsTime Constraint Discrete Event Simulation Time Approach Time Automaton Distribution Support
- 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.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.P.R. D’Argenio, “A Compositional Translation of Stochastic Automata into Timed Automata”, Technical Report CTIT 00-08, Univ. Twente, May 2000Google Scholar