作者：杨夏aadlmarte流延迟
摘要：AADL和MARTE都支持对实时嵌入式系统形式化建模的分析。利用MARTE的时间模型设备,研究MARTE是如何对实时嵌入式系统的建模和分析的,能够比较准确的通过事件或者数据端口的端到端流延迟分析,表达AADL周期性或非周期性任务。
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
《软件工程》（CN：21-1603/TP）是一本有较高学术价值的大型月刊，自创刊以来，选题新奇而不失报道广度，服务大众而不失理论高度。颇受业界和广大读者的关注和好评。 《软件工程》提供工厂技术及管理信息，营造信息时代的软件工程师文化。为中国软件行业协会会刊，被中国期刊全文数据库、中国知网、龙源期刊网、万方数字——数据期刊群以及中国优秀期刊（遴选）数据库等全文收录。
北大期刊、统计源期刊
人气 543704 评论 58
人气 230588 评论 63
部级期刊
人气 217161 评论 35
省级期刊
人气 187913 评论 72
