id: 05981967
dt: a
an: 05981967
au: Sun, Jun; Liu, Yang; Song, Songzheng; Dong, Jin Song; Li, Xiaohong
ti: PRTS: an approach for model checking probabilistic real-time hierarchical
    systems.
so: Qin, Shengchao (ed.) et al., Formal methods and software engineering. 13th
    international conference on formal engineering methods, ICFEM 2011,
    Durham, UK, October 26‒28, 2011. Proceedings. Berlin: Springer (ISBN
    978-3-642-24558-9/pbk). Lecture Notes in Computer Science 6991, 147-162
    (2011).
py: 2011
pu: Berlin: Springer
la: EN
cc: 
ut: 
ci: 
li: doi:10.1007/978-3-642-24559-6_12
ab: Summary: Model Checking real-life systems is always difficult since such
    systems usually have quantitative timing factors and work in unreliable
    environment. The combination of real-time and probability in
    hierarchical systems presents a unique challenge to system modeling and
    analysis. In this work, we develop an automated approach for verifying
    probabilistic, real-time, hierarchical systems. Firstly, a modeling
    language called PRTS is defined, which combines data structures,
    real-time and probability. Next, a zone-based method is used to build a
    finite-state abstraction of PRTS models so that probabilistic model
    checking could be used to calculate the probability of a system
    satisfying certain property. We implemented our approach in the PAT
    model checker and conducted experiments with real-life case studies.
rv: