AADL端对端数据流一致性验证方法

• 作者: 毕海滨 王凯
• 来源期刊: 计算机技术与发展
• 学科: 工学
• 关键词: 端对端数据流 实时系统 一致性 Prolog
• 年，卷（期）: 2018,（1）
• 所属期刊栏目: 智能、算法、系统工程
• 页码范围: 1-5
• 页数: 5页
• 分类号: TP311
• 字数: 4678字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-629X.2018.01.001

摘要

复杂嵌入式实时系统的端对端数据流的时延分析是一种有效的实时系统实时性评估方法.体系结构分析与设计语言(Architecture Analysis and Design Language,AADL)是描述实时系统(嵌入式系统)的标准语言,端对端的数据流描述系统组件间的消息传递.提出一种基于Prolog的端对端数据流分析方法,解决嵌入式实时系统的AADL模型时延验证问题.针对AADL模型缺乏时延验证的现状,分析讨论了AADL模型的端对端数据流并提出了端对端数据流的路径一致性的定义;针对单一型端对端数据流和混合型端对端数据流给出了两种端对端数据流到基本状态图的映射方法;设计了端对端数据流路径一致性的Prolog验证规则.最后对带时间约束的汽艇速度控制子系统进行实例验证,结果表明该方法能够有效地解决实时系统的时延验证问题.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王凯	南京航空航天大学计算机科学与技术学院	43	136	7.0	9.0
2	毕海滨	江南计算技术研究所第三处	4	8	2.0	2.0