PSyHCoS系统 swMATH ID: 30319 软件作者： 埃蒂安·安德烈；刘、杨；孙军；董金松 描述： PSyHCoS：分层并发实时系统的参数合成。实时系统由于其复杂的结构、定量的时间因素甚至未知的延迟，往往难以控制。我们在此介绍PSyHCoS，这是一种用于分析使用分层建模语言PSTCSP指定的参数化实时系统的工具。PSyHCoS支持多种参数合成和模型检查算法，以及状态空间缩减技术。它的体系结构在语法、语义和算法方面支持重用。它提供了一个友好的用户界面，可用于编辑、模拟和验证PSTCSP模型。实验证明了该方法的有效性和适用性。 主页： https://link.springer.com/chapter/10.1007/978-3-642-39799-8_70 关键词： 实时规范;参数定时验证;模型检查;稳健性 相关软件： Shrinktech公司;拍打;PPL（公私合营）;Uppaal公司;高超声速;TREX公司;VINAS-P公司;模仿者 引用于： 1文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 分层并发实时系统的参数综合。 Zbl 1314.68081号埃蒂安·安德烈;刘，杨;孙骏;董金松 2014 4位作者引用 1 埃蒂安·安德烈 1 董金松 1 刘，杨 1 孙，六月 连载1篇 1 实时系统 在1个字段中引用 1 计算机科学（68至XX） 按年份列出的引文