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

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

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.