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.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.