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

Dealing with AADL End-to-end Flow Latency with UML MARTE

作　　者：杨夏[1] 

机构地区：[1]湖南科技职业学院,湖南长沙410004

出　　处：《软件工程师》2015年第11期24-26,共3页Software Engineer

基　　金：湖南省教育厅科学研究项目(No.14C0063)

摘　　要：AADL和MARTE都支持对实时嵌入式系统形式化建模的分析。利用MARTE的时间模型设备,研究MARTE是如何对实时嵌入式系统的建模和分析的,能够比较准确的通过事件或者数据端口的端到端流延迟分析,表达AADL周期性或非周期性任务。AADL and MARTE are both modeling formalisms supporting the analysis of real-time embedded systems.Use MARTE time model equipment,research MARTE is how real-time embedded systems modeling and analysis,can be more accurately analyzed by flow delay or end event data ports,express AADL periodic or aperiodic tasks.

关 键 词：AADL MARTE 流延迟 

分 类 号：TP202[自动化与计算机技术—检测技术与自动化装置]