Please use this identifier to cite or link to this item:
|Title:||PRTS: An approach for model checking probabilistic real-time hierarchical systems||Authors:||Sun, J.
|Issue Date:||2011||Citation:||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.
checked on May 23, 2019
checked on May 22, 2019
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.