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.
[1] John Derrick,et al. Stochastic Specification and Verification , 1999, IWFM.
[2] Pedro R. D'Argenio,et al. A compositional Translation of Stochastic Automata into Timed Automata , 2000 .