一种结合AADL和TPN的系统能耗建模方法

来源：计算机技术与发展杂志2017年第06期北京时间：

作者：马铮;黄连丽;陶冰冰;周海鹰

摘要：结构分析设计语言(AADL)可以描述嵌入式系统的实时性、可靠性等关键性能特性,是嵌入式领域的体系结构建模、分析和验证的重要手段.针对嵌入式系统能耗无法预知的问题,提出了一种基于AADL和TPN(时间Petri网)的系统能耗建模与分析方法.该方法利用AADL基本语言建立了系统级架构模型,通过系统能耗相关性能分析,利用AADL属性集定义了能耗相关属性.由于AADL只是一种半形式化的语言,对系统的执行不够精确,而Petri网能较好地描述和模拟离散事件系统的动态行为及过程,为此,定义了AADL到TPN的模型转换规则,实现了AADL到时间Petri网的模型变换.通过对TPN模型进行严格的数学推导分析,得到系统整体能耗.为验证所提出的建模与分析方法,以某传感器节点为实例建立了系统能耗模型.实例验证表明,所提出的嵌入式系统能耗建模与分析方法可行有效.

关键词：结构分析设计语言;嵌入式系统;时间Petri网;能耗分析