一种S2ML流的建模与验证方法与流程

技术特征：
1.一种s2ml流的建模与验证方法，其特征在于采用s2ml流模型的分析框架对实时系统进行时延分析和验证，其流建模及验证具体包括以下步骤：a1：基于modelio开源工具平台进行s2ml流的图形化建模；a2：将s2ml流模型保存为文本格式；a3：将s2ml流模型映射为aadl模型；a4：对s2ml流模型进行时延分析。2.根据权利要求1所述s2ml流的建模与验证方法，其特征在于所述s2ml流模型的语法定义为一个10
‑
元组flow＝(t,p,b,w,d,po,fs,fd,fp,co)，其中：p为组件周期属性的集合；b为组件执行最好时间属性的集合；w为组件执行的最坏时间属性的集合；d为组件的截止时间属性的集合；po为组件端口的集合，其中po＝{data port,event port,data event port}分别表示数据端口、事件端口和数据事件端口；fp为flow path，组件内部的流路径，其中f＝{po
×
po}；fs:代表flow source为流的起点；fd代表flow sink为流的终点；t为组件集合，其中t＝{p,b,w,d,po,f}；co为不同组件端口连接的集合，其中co＝{t
×
t}。3.根据权利要求1所述s2ml流的建模与验证方法，其特征在于所述基于modelio开源工具平台进行s2ml流的图形化建模，具体步骤包括：a1
‑
1：在建模元面板中，选择模块，拖拽到模型编辑窗口，并添加值属性；a1
‑
2：在建模元面板中，选择端口，添加到模块中，并设置端口方向；a1
‑
3：在建模元面板中，选择行为，添加到端口上，并添加时延属性；a1
‑
4：在建模元面板中，选择连接，连接端口和端口；a1
‑
5：声明端到端的流。4.根据权利要求1所述s2ml流的建模与验证方法，其特征在于所述将s2ml 流模型保存为文本格式，具体步骤包括：a2
‑
1：读取图像文件数据；a2
‑
2：在根节点下添加<classifiers>节点，将模块保存到该节点下；a2
‑
3：在每个组件节点下添加<features>节点，保存组件的属性；a2
‑
4：在每个组件节点下添加<ports>节点，保存端口属性；a2
‑
5：在每个组件节点下添加<flows>节点，保存流属性；a2
‑
6：在根节点下添加<connections>节点，保存模块之间的连接；a2
‑
7：在根节点下添加<e2e>节点，保存端到端之间的流。5.根据权利要求1所述s2ml流的建模与验证方法，其特征在于所述将s2ml流模型映射为aadl模型，其具体映射关系如下表1：表1 s2ml流模型与aadl模型映射关系
。6.根据权利要求1所述s2ml流的建模与验证方法，其特征在于所述对s2ml流模型进行时延分析，具体步骤包括：a4
‑
1：分析端到端流中组件的周期、执行时间和截至时间产生的时延；a4
‑
2：分析由于排队或采样而导致的处理延迟；a4
‑
3：分析沿连接的组件之间的信息传输时间，以及组件之间的传输可能发生在同一处理器或不同处理器上而产生的时延；a4
‑
4：分析由于排队或等待传输协议中的时隙而产生的时延；a4
‑
5：将上述产生的时延与系统要求的时延进行比较，得到时延分析结果。

技术总结
本发明公开了一种S2ML流的建模与验证方法，其特点是采用S2ML流模型的分析框架对实时系统进行时延分析和验证，具体包括：S2ML流的图形化建模、S2ML流模型保存为文本格式、S2ML流模型映射为AADL模型和对S2ML流模型进行时延分析，以验证其时延属性是否满足系统设计需求。本发明与现有技术相比具有对实时系统中的流进行建模，并验证其时延属性，方法简便，成本低廉且安全可靠，较好的解决了实时系统时延建模与验证问题，为安全攸关系统的验证奠定了基础。础。础。


技术研发人员：刘静 丁郭欢 孙海英 康介祥 尹伟 高杰 王辉 吴志伟 杨琛琛
受保护的技术使用者：华东师范大学
技术研发日：2021.05.14
技术公布日：2021/10/18