AADL流模型与实时演算模型的转换方法研究

在分布式综合航空电子信息流时延分析的过程中,时间触发(TT)流量可以直接在体系结构分析与设计语言的流时延分析框架下进行分析,而对速率约束(RC)流量的分析必须借助其他专用的分析模型,即实时演算(RTC)模型。因此,必须实现基于模型意义一致性的从AADL模型向RTC模型的转换,并且使转换后的模型可以利用RTC分析工具快速获取必要的时延参数,文章对此进行了研究。