[1]马铮,黄连丽,陶冰冰,等. 一种结合AADL和TPN的系统能耗建模方法[J].计算机技术与发展,2017,27(06):151-155.
　MA Zheng,HUANG Lian-li,TAO Bing-bing,et al. An Embedded System Energy Consumption Modeling Method Using AADL and TPN[J].,2017,27(06):151-155.
点击复制

 一种结合AADL和TPN的系统能耗建模方法()
分享到：

《计算机技术与发展》[ISSN:1006-6977/CN:61-1281/TN]

卷:
27
期数:
2017年06期
页码:
151-155
栏目:
应用开发研究
出版日期:
2017-06-10

文章信息/Info

Title:
 An Embedded System Energy Consumption Modeling Method Using AADL and TPN
文章编号:
1673-629X（2017)06-0151-05
作者:
 马铮; 黄连丽; 陶冰冰; 周海鹰
 湖北汽车工业学院 电气与信息工程学院
Author(s):
 MA Zheng; HUANG Lian-li; TAO Bing-bing; ZHOU Hai-ying
关键词:
 ; 结构分析设计语言; 嵌入式系统; 时间Petri网; 能耗分析
Keywords:
 ; AADL; embedded systems; TPN; energy consumption analysis
分类号:
TP311
文献标志码:
A
摘要:
 结构分析设计语言(AADL)可以描述嵌入式系统的实时性、可靠性等关键性能特性,是嵌入式领域的体系结构建模、分析和验证的重要手段.针对嵌入式系统能耗无法预知的问题,提出了一种基于AADL和TPN(时间Petri网)的系统能耗建模与分析方法.该方法利用AADL基本语言建立了系统级架构模型,通过系统能耗相关性能分析,利用AADL属性集定义了能耗相关属性.由于AADL只是一种半形式化的语言,对系统的执行不够精确,而Petri网能较好地描述和模拟离散事件系统的动态行为及过程,为此,定义了AADL到TPN的模型转换规则,实现了AADL到时间Petri网的模型变换.通过对TPN模型进行严格的数学推导分析,得到系统整体能耗.为验证所提出的建模与分析方法,以某传感器节点为实例建立了系统能耗模型.实例验证表明,所提出的嵌入式系统能耗建模与分析方法可行有效.
Abstract:
 Architecture Analysis and Design Language (AADL) can describe key performance features such as the real time and reliability of embedded system,which is an important means of architecture modeling,analysis and verification in embedded field.In view of the unpredictable energy consumption problem of the embedded system,a system modeling and energy consumption analysis method has been put forward based on AADL and TPN (Time Petri Net).It sets up system level structure model with AADL basic language,through analysis of system energy consumption related performance and definition of energy consumption related properties with AADL property set.Since the AADL is just a semi-formal language,the execution of the system is not accurate,but the Petri net can well describe and simulate the dynamic behavior processes of the discrete event system.Therefore,AADL-TPN model transformation rules has been defined,and the transformation between AADL model and time Petri nets model has been realized.The system energy consumption can be obtained through strict mathematical deduction and analysis.For the validation of the proposed modeling and analysis method,a sensor node has been chosen as an example and system energy model has been established.The operation of the example shows that the proposed system modeling and energy consumption analysis method are both feasible and effective.

相似文献/References:

[1]张志宏,吴庆波,邵立松,等.基于飞腾平台TOE协议栈的设计与实现[J].计算机技术与发展,2014,24(07):1.
　ZHANG Zhi-hong,WU Qing-bo,SHAO Li-song,et al. Design and Implementation of TCP/IP Offload Engine Protocol Stack Based on FT Platform[J].,2014,24(06):1.
[2]梁文快,李毅. 改进的基因表达算法对航班优化排序问题研究[J].计算机技术与发展,2014,24(07):5.
　LIANG Wen-kuai,LI Yi. Research on Optimization of Flight Scheduling Problem Based on Improved Gene Expression Algorithm[J].,2014,24(06):5.
[3]黄静,王枫,谢志新,等. EAST文档管理系统的设计与实现[J].计算机技术与发展,2014,24(07):13.
　HUANG Jing,WANG Feng,XIE Zhi-xin,et al. Design and Implementation of EAST Document Management System[J].,2014,24(06):13.
[4]侯善江[],张代远[][][]. 基于样条权函数神经网络P2P流量识别方法[J].计算机技术与发展,2014,24(07):21.
　HOU Shan-jiang[],ZHANG Dai-yuan[][][]. P2P Traffic Identification Based on Spline Weight Function Neural Network[J].,2014,24(06):21.
[5]李璨,耿国华,李康,等. 一种基于三维模型的文物碎片线图生成方法[J].计算机技术与发展,2014,24(07):25.
　LI Can,GENG Guo-hua,LI Kang,et al. A Method of Obtaining Cultural Debris’ s Line Chart Based on Three-dimensional Model[J].,2014,24(06):25.
[6]翁鹤,皮德常. 混沌RBF神经网络异常检测算法[J].计算机技术与发展,2014,24(07):29.
　WENG He,PI De-chang. Chaotic RBF Neural Network Anomaly Detection Algorithm[J].,2014,24(06):29.
[7]刘茜[],荆晓远[],李文倩[],等. 基于流形学习的正交稀疏保留投影[J].计算机技术与发展,2014,24(07):34.
　LIU Qian[],JING Xiao-yuan[,LI Wen-qian[],et al. Orthogonal Sparsity Preserving Projections Based on Manifold Learning[J].,2014,24(06):34.
[8]尚福华,李想,巩淼. 基于模糊框架-产生式知识表示及推理研究[J].计算机技术与发展,2014,24(07):38.
　SHANG Fu-hua,LI Xiang,GONG Miao. Research on Knowledge Representation and Inference Based on Fuzzy Framework-production[J].,2014,24(06):38.
[9]叶偲,李良福,肖樟树. 一种去除运动目标重影的图像镶嵌方法研究[J].计算机技术与发展,2014,24(07):43.
　YE Si,LI Liang-fu,XIAO Zhang-shu. Research of an Image Mosaic Method for Removing Ghost of Moving Targets[J].,2014,24(06):43.
[10]余松平[][],蔡志平[],吴建进[],等. GSM-R信令监测选择录音系统设计与实现[J].计算机技术与发展,2014,24(07):47.
　YU Song-ping[][],CAI Zhi-ping[] WU Jian-jin[],GU Feng-zhi[]. Design and Implementation of an Optional Voice Recording System Based on GSM-R Signaling Monitoring[J].,2014,24(06):47.

更新日期/Last Update: 2017-07-28