江苏省科技期刊可视化阅读平台

导航条

无线互联科技 ›› 2020, Vol. 17 ›› Issue (4): 125-126.doi: 10.0002/1672-6944-1590

• 论文 • 上一篇    下一篇

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

唐家强, 王星皓, 安品臣, 胡宾洋   

  1. 中国民航大学航空工程学院;中国民航大学电子信息与自动化学院
  • 发布日期:2021-01-26

  • Published:2021-01-26

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

关键词: 综合模块化航电, 信息流, 建模, 体系结构分析和设计语言