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