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

权利要求书

1.一种基于扩展活性顺序图模型检测的物联网可信性评价方法，其特征在于：包括以下步骤：

(1)采用概率时间活性顺序图对被评价的物联网建立系统模型；

(2)采用时间活性顺序图对物联网的运行建立规约模型；

(3)将概率时间活性顺序图转换为概率时间自动机；

(4)将时间活性顺序图转换为时间自动机；

(5)调整并组合上述的概率时间自动机和时间自动机，形成新概率时间自动机；

(6)将新概率时间自动机输入到模型检测工具PRISM，进行系统的可信性评价。

2.根据权利要求1所述的基于扩展活性顺序图模型检测的物联网可信性评价方法，其特征在于：实现步骤(1)的方法如下：

a、确定被评价的物联网对象，可以是一个完整的物联网，也可以是物联网的一部分；

b、确定被评价对象中的各个主要组件，以及各个主要组件之间的交互关系，包括时间约束关系和以概率来描述的可信度指标；

c、遵循MARTE分析模型的规范，采用Papyrus软件绘制出相应的概率时间活性顺序图。

3.根据权利要求1所述的基于扩展活性顺序图模型检测的物联网可信性评价方法，其特征在于：实现步骤(2)的方法如下：

a、针对被评价的物联网对象，分析该物联网对象中各个主要组件之间的约束关系，提出系统运行的硬性要求，包括系统运行的时间约束要求和运行的可信度要求；

b、遵循MARTE分析模型的规范，采用Papyrus软件绘制出相应的时间活性顺序图。

4.根据权利要求1所述的基于扩展活性顺序图模型检测的物联网可信性评价方法，其特征在于：实现步骤(3)的方法如下：

a、建立MARTE的一般元模型和概率时间自动机的一般元模型；

b、建立MARTE的一般元模型和概率时间自动机的一般元模型中的变量和元素之间的映射关系，撰写ATL工具的第一转换规则；

c、将上述概率时间活性顺序图、MARTE的一般元模型、概率时间自动机的一般元模型、ATL工具的第一转换规则输入到ATL工具，经过转换得到相应的XMI格式的一组概率时间自动机；

d、建立XMI格式的概率时间自动机与XML格式的概率时间自动机的转换规则，通过TCS转换器将上述XMI格式的一组概率时间自动机转换为XML格式的一组概率时间自动机。

5.根据权利要求1所述的基于扩展活性顺序图模型检测的物联网可信性评价方法，其特征在于：实现步骤(4)的方法如下：

a、建立MARTE的一般元模型和时间自动机的一般元模型；

b、建立MARTE的一般元模型和时间自动机的一般元模型中的变量和元素之间的映射关系，撰写ATL工具的第二转换规则；

c、将上述时间活性顺序图、MARTE的一般元模型、时间自动机的一般元模型、ATL工具的第二转换规则输入到ATL工具，经过转换得到相应的XML格式的一组时间自动机；

d、建立XMI格式的时间自动机与XML格式的时间自动机的转换规则，通过TCS转换器将上述XMI格式的一组时间自动机转换为XML格式的一组时间自动机。