一种基于统计模型检测的CPS属性验证方法

摘要

一种基于统计模型检测的CPS属性验证方法，包括以下步骤。S1、设置通信端口将混成自动机扩展为扩展混成自动机，并获取CPS模型通过所述扩展混成自动机运行的轨迹。S2、构造用于产生所述CPS模型运行的轨迹样本的监视器，并将所述监视器生成的轨迹样本作为SMC统计验证阶段的输入。S3、使用统计评估技术收集所述CPS模型满足特定属性的证据，并使用预设的第二算法判断CPS模型是否满足所述特定属性。

主权项

一种基于统计模型检测的CPS属性验证方法，其特征在于，包括以下步骤：S1、设置通信端口将混成自动机扩展为扩展混成自动机，并获取CPS模型通过所述扩展混成自动机运行的轨迹；S2、构造用于产生所述CPS模型运行的轨迹样本的监视器，并将所述监视器生成的轨迹样本作为SMC统计验证阶段的输入；S3、使用统计评估技术收集所述CPS模型满足特定属性的证据，并使用贝叶斯统计模型检测方法判断CPS模型是否满足所述特定属性。