×

心理医生

swMATH标识: 30319
软件作者: 安德烈,爱蒂安;刘、杨;孙军;董金松
说明: PSyHCoS:分层并发实时系统的参数综合。由于时间结构的不确定性,系统往往具有复杂的时间结构。本文介绍PSyHCoS,一个分析参数化实时系统的工具,它使用层次化建模语言PSTCSP指定。PSyHCoS支持多种参数综合和模型检查算法,以及状态空间简化技术。它的体系结构在语法、语义和算法方面支持可重用性。它提供了一个友好的用户界面,可以用来编辑、模拟和验证PSTCSP模型。实验证明了该方法的有效性和适用性。
主页: https://link.springer.com/chapter/10.1007/978-3-642-39799-8_70
关键词: 实时规范;参数定时验证;模型检查;稳健性
相关软件: 拍打;收缩技术;PPL公司;乌帕阿尔;高超声速;特雷克斯;维纳斯-P;模仿者
参考文献: 1个出版物

参考1系列

1 实时系统

在1个字段中引用

1 计算机科学(68-XX)

按年份引用出版物