[发明专利]AADL端对端数据流一致性验证方法在审
| 申请号： | 201610911692.4 | 申请日： | 2016-10-19 |
| 公开（公告）号： | CN107967182A | 公开（公告）日： | 2018-04-27 |
| 发明（设计）人： | 周勇;刘骁;谢红梅 | 申请（专利权）人： | 南京航空航天大学 |
| 主分类号： | G06F9/54 | 分类号： | G06F9/54 |
| 代理公司： | 暂无信息 | 代理人： | 暂无信息 |
| 地址： | 211106 江*** | 国省代码： | 江苏;32 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明公开了一种AADL端对端数据流一致性验证方法，解决了实时系统的时延验证问题。本发明基于实时系统的时延问题提出了实时系统的AADL模型端对端数据流路径一致性的定义，在此基础上讨论带有时延的两种端对端数据流，即单一型端对端数据流和混合型端对端数据流，分别给出了单一型端对端数据流及混合型数据流到基本状态图的映射方法，设计了端对端数据流路径一致性的Prolog验证规则，利用Prolog规则刻画实时系统的时延问题，即可实现实时系统时延问题的完整验证。 | ||
| 搜索关键词： | aadl 数据流 一致性 验证 方法 | ||
【主权项】：
AADL端对端数据流一致性验证方法，其特征在于，包括如下步骤：1)通过建模工具OSATE建立包含单一型端对端数据流和混合型端对端数据流的AADL模型，定义AADL端对端数据流的路径一致性；2)将步骤1)中的单一型端对端数据流和混合型端对端数据流映射为基本状态图，并用Prolog事实对基本状态图进行描述；3)结合步骤1)中的AADL端对端数据流的路径一致性，利用Prolog刻画端对端数据流的路径一致性；4)结合步骤2)中所述的事实及步骤3)中所述的规则对实时系统的时延问题进行验证。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于南京航空航天大学，未经南京航空航天大学许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201610911692.4/，转载请声明来源钻瓜专利网。
