Show simple item record

dc.contributor.authorSong, S
dc.contributor.authorSun, J
dc.contributor.authorLiu, Y
dc.contributor.authorDong, JS
dc.date.accessioned2018-07-10T23:42:53Z
dc.date.available2018-07-10T23:42:53Z
dc.date.issued2012
dc.identifier.issn0302-9743
dc.identifier.doi10.1007/978-3-642-31424-7_53
dc.identifier.urihttp://hdl.handle.net/10072/172911
dc.description.abstractReal-life systems are usually hard to control, due to their complicated structures, quantitative time factors and even stochastic behaviors. In this work, we present a model checker to analyze hierarchical probabilistic real-time systems. A modeling language called PRTS is used to specify such systems, and automatic zone-abstraction approach, which is probability preserving, is used to generate finite state MDP. We have implemented PRTS in model checking framework PAT so that friendly user interface can be used to edit, simulate and verify PRTS models. Some experiments are conducted to show our tool’s efficiency.
dc.description.peerreviewedYes
dc.languageEnglish
dc.language.isoeng
dc.publisherSpringer
dc.relation.ispartofpagefrom705
dc.relation.ispartofpageto711
dc.relation.ispartofjournalLecture Notes in Computer Science
dc.relation.ispartofvolume7358 LNCS
dc.subject.fieldofresearchComputer Software not elsewhere classified
dc.subject.fieldofresearchcode080399
dc.titleA model checker for hierarchical probabilistic real-time systems
dc.typeJournal article
dc.type.descriptionC1 - Articles
dc.type.codeC - Journal Articles
dc.description.versionAccepted Manuscript (AM)
gro.rights.copyright© 2012 Springer International Publishing AG. This is an electronic version of an article published in Lecture Notes In Computer Science (LNCS), Vol. 7358LNCS pp. 705-711. Lecture Notes In Computer Science (LNCS) is available online at: http://link.springer.com// with the open URL of your article.
gro.hasfulltextFull Text
gro.griffith.authorDong, Jin-Song


Files in this item

This item appears in the following Collection(s)

  • Journal articles
    Contains articles published by Griffith authors in scholarly journals.

Show simple item record