PSyHCoS：层次并发实时系统的参数综合

摘要

实时系统由于其复杂的结构、定量的时间因素甚至未知的延迟，往往难以控制。我们在此介绍PSyHCoS，这是一种用于分析使用分层建模语言PSTCSP指定的参数化实时系统的工具。PSyHCoS支持多种参数合成和模型检查算法，以及状态空间缩减技术。它的体系结构在语法、语义和算法方面支持重用。它带有一个友好的用户界面，可以用来编辑、模拟和验证PSTCSP模型。实验证明了该方法的有效性和适用性。

这些关键词是由机器添加的，而不是由作者添加的。这个过程是实验性的，随着学习算法的改进，关键字可能会更新。