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

• 作者: 周海鹰 陶冰冰 马铮 黄连丽
• 来源期刊: 计算机技术与发展
• 学科: 工学
• 关键词: 结构分析设计语言 嵌入式系统 时间Petri网 能耗分析
• 年，卷（期）: 2017,（6）
• 所属期刊栏目: 应用开发研究
• 页码范围: 151-155
• 页数: 5页
• 分类号: TP311
• 字数: 3660字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-629X.2017.06.031

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	黄连丽	湖北汽车工业学院电气与信息工程学院	13	24	3.0	4.0
2	周海鹰	湖北汽车工业学院电气与信息工程学院	8	11	2.0	3.0
3	马铮	湖北汽车工业学院电气与信息工程学院	3	3	1.0	1.0
4	陶冰冰	湖北汽车工业学院电气与信息工程学院	3	5	1.0	2.0