基于可能性混成自动机的CPS属性验证

摘要：

针对环境中存在的不确定性因素对信息物理融合系统(CPS)的影响,提出模型可能性混成自动机,在此基础上给出可能性CPS软件模型属性验证的描述语法和语义以及该模型的可能性动态验证方法.通过验证其可达性和安全性,理论证明和实例分析表明该方法是有效的,可描述不确定环境因素下的CPS系统的验证.

关键词：可能性混成自动机、可能性CPS、动态验证

所属期刊栏目：44

分类号：TP391(计算技术、计算机技术)

资助基金：国家自然科学基金61261047;青海省自然科学基金2014-Z-910,2015-ZJ-718;陕西省自然科学基础研究计划2016JM6033

在线出版日期：2016-11-30（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：26-32