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

  • 13
  • 0
  • 约2.09万字
  • 约 5页
  • 2018-12-13 发布于天津
  • 举报
AADL端对端数据流一致性验证方法.PDF

第28卷 第1期 计 算机 技 术 与发 展 Vol.28 No.1 2018年1月 COMPUTERTECHNOLOGY AND DEVELOPMENT Jan. 2018 AADL端对端数据流一致性验证方法 1 2 王 凯 ,毕海滨 (1.南京航空航天大学计算机科学与技术学院,江苏 南京 210016; 2.江南计算技术研究所 第三处,江苏无锡 214083) 摘 要:复杂嵌入式实时系统的端对端数据流的时延分析是一种有效的实时系统实时性评估方法。 体系结构分析与设计 语言(ArchitectureAnalysisandDesignLanguage,AADL)是描述

文档评论(0)

1亿VIP精品文档

相关文档