Show simple item record

dc.contributor.authorAndré, E
dc.contributor.authorLiu, Y
dc.contributor.authorSun, J
dc.contributor.authorDong, JS
dc.contributor.authorLin, SW
dc.date.accessioned2017-10-24T03:58:07Z
dc.date.available2017-10-24T03:58:07Z
dc.date.issued2013
dc.identifier.issn0302-9743
dc.identifier.doi10.1007/978-3-642-39799-8_70
dc.identifier.urihttp://hdl.handle.net/10072/172901
dc.description.abstractReal-time systems are often hard to control, due to their complicated structures, quantitative time factors and even unknown delays. We present here PSyHCoS, a tool for analyzing parametric real-time systems specified using the hierarchical modeling language PSTCSP. PSyHCoS supports several algorithms for parameter synthesis and model checking, as well as state space reduction techniques. Its architecture favors reusability in terms of syntax, semantics, and algorithms. It comes with a friendly user interface that can be used to edit, simulate and verify PSTCSP models. Experiments show its efficiency and applicability.
dc.description.peerreviewedYes
dc.languageEnglish
dc.language.isoeng
dc.publisherSpringer
dc.relation.ispartofpagefrom984
dc.relation.ispartofpageto989
dc.relation.ispartofjournalLecture Notes in Computer Science
dc.relation.ispartofvolume8044 LNCS
dc.subject.fieldofresearchComputer Software not elsewhere classified
dc.subject.fieldofresearchcode080399
dc.titlePSyHCoS: Parameter synthesis for hierarchical concurrent real-time systems
dc.typeJournal article
dc.type.descriptionC1 - Articles
dc.type.codeC - Journal Articles
gro.hasfulltextNo Full Text
gro.griffith.authorDong, Jin-Song


Files in this item

FilesSizeFormatView

There are no files associated with 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