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

摘要：

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

关键词：端对端数据流、实时系统、一致性、Prolog

所属期刊栏目：28

分类号：TP311(计算技术、计算机技术)

资助基金："十三五"重点基础科研项目JCKY2016206B001

在线出版日期：2018-02-01（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：1-5