Please use this identifier to cite or link to this item:
|Title:||PSyHCoS: Parameter synthesis for hierarchical concurrent real-time systems|
|Citation:||André, É.,Liu, Y.,Sun, J.,Dong, J.S.,Lin, S.-W. (2013). PSyHCoS: Parameter synthesis for hierarchical concurrent real-time systems. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 8044 LNCS : 984-989. ScholarBank@NUS Repository. https://doi.org/10.1007/978-3-642-39799-8_70|
|Abstract:||Real-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. © 2013 Springer-Verlag.|
|Source Title:||Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|
|Appears in Collections:||Staff Publications|
Show full item record
Files in This Item:
There are no files associated with this item.
checked on Nov 16, 2018
checked on Oct 20, 2018
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.