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

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.