[发明专利]基于扩展活性顺序图模型检测的物联网可信性评价方法

摘要

本发明公开了一种基于扩展活性顺序图对物联网进行可信性评价的方法，属于物联网技术领域。本发明提出采用概率时间活性顺序图对物联网的运行加以直观和量化的描述，采用时间活性顺序图对物联网的运行场景加以规约，采用模型检测的方法，实现对物联网可信性的评价。该方法自动化程度高，对计算空间要求不高，过程清晰明确，可操作性和可复用性强。本发明提升了业内对物联网设计与运行的理论认识水平和实际检测技术水平，对加快国内物联网产业的健康和可持续发展具有重要的促进作用。

主权项

一种基于扩展活性顺序图模型检测的物联网可信性评价方法，其特征在于：包括以下步骤：(1)采用概率时间活性顺序图对被评价的物联网建立系统模型；(2)采用时间活性顺序图对物联网的运行建立规约模型；(3)将概率时间活性顺序图转换为概率时间自动机；(4)将时间活性顺序图转换为时间自动机；(5)调整并组合上述的概率时间自动机和时间自动机，形成新概率时间自动机；(6)将新概率时间自动机输入到模型检测工具PRISM，进行系统的可信性评价。