PSyHCoS: Parameter synthesis for hierarchical concurrent real-time systems

Please use this identifier to cite or link to this item: https://doi.org/10.1007/978-3-642-39799-8_70

Title:	PSyHCoS: Parameter synthesis for hierarchical concurrent real-time systems
Authors:	André, É. Liu, Y. Sun, J. Dong, J.S. Lin, S.-W.
Issue Date:	2013
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)
URI:	http://scholarbank.nus.edu.sg/handle/10635/78306
ISBN:	9783642397981
ISSN:	03029743
DOI:	10.1007/978-3-642-39799-8_70
Appears in Collections:	Staff Publications

There are no files associated with this item.

Check