计算机技术与发展2017，Vol.27Issue(6)：151-155,5.DOI:10.3969/j.issn.1673-629X.2017.06.031
一种结合AADL和TPN的系统能耗建模方法
An Embedded System Energy Consumption Modeling Method Using AADL and 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.关键词
结构分析设计语言/嵌入式系统/时间Petri网/能耗分析Key words
AADL/embedded systems/TPN/energy consumption analysis分类
信息技术与安全科学引用本文复制引用
马铮,黄连丽,陶冰冰,周海鹰..一种结合AADL和TPN的系统能耗建模方法[J].计算机技术与发展,2017,27(6):151-155,5.基金项目
湖北省科技支撑计划项目(对外合作)(2014BHE024) （对外合作）
