Please use this identifier to cite or link to this item: https://doi.org/10.1007/978-3-642-24559-6_12
Title: PRTS: An approach for model checking probabilistic real-time hierarchical systems
Authors: Sun, J.
Liu, Y. 
Song, S.
Dong, J.S. 
Li, X.
Issue Date: 2011
Source: Sun, J.,Liu, Y.,Song, S.,Dong, J.S.,Li, X. (2011). PRTS: An approach for model checking probabilistic real-time hierarchical systems. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 6991 LNCS : 147-162. ScholarBank@NUS Repository. https://doi.org/10.1007/978-3-642-24559-6_12
Abstract: 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. © 2011 Springer-Verlag.
Source Title: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
URI: http://scholarbank.nus.edu.sg/handle/10635/43173
ISBN: 9783642245589
ISSN: 03029743
DOI: 10.1007/978-3-642-24559-6_12
Appears in Collections:Staff Publications

Show full item record
Files in This Item:
There are no files associated with this item.

SCOPUSTM   
Citations

7
checked on Dec 13, 2017

Page view(s)

51
checked on Dec 9, 2017

Google ScholarTM

Check

Altmetric


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.