Publication Type
Conference Proceeding Article
Version
publishedVersion
Publication Date
7-2013
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
Keywords
Model Check, Mutual Exclusion Label Transition System Parameter Synthesis Reference Valuation
Discipline
Software Engineering
Research Areas
Software and Cyber-Physical Systems
Publication
Proceedings of the 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19
First Page
984
Last Page
989
ISBN
9783642397981
Identifier
10.1007/978-3-642-39799-8_70
Publisher
Springer Link
City or Country
Russia
Citation
ANDRÉ, Étienne; LIU, Yang; SUN, Jun; DONG, Jin Song; and LIN, Shang-Wei.
PSyHCoS: Parameter synthesis for hierarchical concurrent real-time systems. (2013). Proceedings of the 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19. 984-989.
Available at: https://ink.library.smu.edu.sg/sis_research/4958
Creative Commons License
This work is licensed under a Creative Commons Attribution-NonCommercial-No Derivative Works 4.0 International License.
Additional URL
https://doi.org/10.1007/978-3-642-39799-8_70