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

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