基于UML MARTE处理AADL的端到端流延迟

被引:0
|
作者
杨夏 [1 ]
机构
[1] 湖南科技职业学院
关键词
AADL; MARTE; 流延迟;
D O I
暂无
中图分类号
TP311.52 [];
学科分类号
081202 ; 0835 ;
摘要
AADL和MARTE都支持对实时嵌入式系统形式化建模的分析。利用MARTE的时间模型设备,研究MARTE是如何对实时嵌入式系统的建模和分析的,能够比较准确的通过事件或者数据端口的端到端流延迟分析,表达AADL周期性或非周期性任务。
引用
收藏
页码:24 / 26
页数:3
相关论文
共 4 条
  • [1] Flow Latency Analysis with the Architecture Analysis and Design Language (AADL). Feiler P.H,Hansson J. Carnegie Mellon University,Technical Note CMU/SEI- 2007 -TN-010 . 2007
  • [2] Modeling Time (s). AndréC,Mallet F,de Simone R. Lecture Notes in Computer Science . 2007
  • [3] MARTE:Also an UML Profile for Modeling AADL Applications. Madeleine Faugere,Thimothee Bourbeau,Robert De Simone,Sebastien Gerard. 12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007) . 2007
  • [4] Modeling of Immediate vs.Delayed Data Communications:from AADLto UML MARTE. AndréC,Mallet F,de Simone R. ECSI FDL 2007 . 2007