×

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 实时系统

在1个字段中引用

1 计算机科学(68-XX)

按年份列出的引文