loading龙源期刊网 http://www.qikan.com.cn
AADL流模型与实时演算模型的转换方法研究
作者： 唐家强 王星皓 安品臣 胡宾洋 来源：《无线互联科技》2020年第04期
摘; ;要：在分布式综合航空电子信息流时延分析的过程中，时间触发（TT）流量可以直接在体系结构分析与设计语言的流时延分析框架下进行分析，而对速率约束（RC）流量的分析必须借助其他专用的分析模型，即实时演算（RTC）模型。因此，必须实现基于模型意义一致性的从AADL模型向RTC模型的转换，并且使转换后的模型可以利用RTC分析工具快速获取必要的时延参数，文章对此进行了研究。
关键词：综合模块化航电;信息流;建模;体系结构分析和设计语言
体系结构分析和设计语言（Architecture Analysis and Design Language，AADL）[1]是SAE标准定义的一种兼有文本和图形形式的体系结构描述语言，特别适用于性能关键性实时系统的软件和硬件体系结构的描述、设计和分析。在分布式综合航空电子信息流时延分析的过程中，时间触发（Time Trigger，TT）流量可以直接在AADL的流时延分析框架下进行分析，而对速率约束（Rate Constraints，RC）流量的分析必须借助其他专用的分析模型，即实时演算（Real-Time Clock，RTC）模型。
1; ; 与RTC分析相关的AADL构件属性
由于需要借助RTC模型对RC流量在具体互连情况下的时延进行分析，因此，系统AADL模型中必须包含足够的、构建相应的RTC模型所需的，主要用以描述输入网络节点的事件流的到达曲线、服务曲线以及通信和处理过程的历时等的参数信息。下面，将从不同构件的角度分析AADL模型中应当包含的用于RTC分析的参数。 1.1; 处理器构件
每个有线程绑定的处理器都应当定义其调度方式，标准AADL中定义了属性“调度协议（Scheduling_Protocol）”来描述处理器对线程的调度方式。
这里遇到的一个主要挑战是，AADL标准允许对一个处理器构件定义多种调度方式，但未对绑定在其上的线程具体采用的调度方式进行说明[2]，因此，有必要为线程增加相关的属性，描述其能够接受的调度方式。 1.2; 线程构件