A COTS-based approach for estimating performance and energy consumption of embedded real-time systems

被引:1
作者
Andrade, Ermeson [1 ]
Maciel, Paulo [1 ]
Nogueira, Bruno [1 ]
Araujo, Carlos [1 ]
Callou, Gustavo [1 ]
机构
[1] Univ Fed Pernambuco, Informat Ctr, Recife, PE, Brazil
关键词
Software engineering; Performance evaluation; Formal methods; Time Petri Net; SysML; Embedded real-time systems; Component; PETRI NETS;
D O I
10.1016/j.ipl.2010.04.025
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
Before deciding which COTS (commercial off-the-shelf) component will be developed to a given embedded software system, there is a need to estimate the energy consumption and execution time, since a good estimation can help in the decision of whether to implement a COTS solution or not. Thus, a designer is able to guarantee that a component will fit into a target system. This paper presents the mapping process of SysML State Machine diagram into a Time Petri Net with energy constraints in order to analyze timing and energy consumption requirements in early phases of the real-time embedded component development life-cycle. The estimates obtained from the model show that the proposed approach is indeed a good approximation to the respective measures obtained from the real hardware platform. (C) 2010 Elsevier B.V. All rights reserved.
引用
收藏
页码:525 / 534
页数:10
相关论文
共 20 条
[1]  
David R., 2005, DISCRETE CONTINUOUS
[2]  
ELKOUTBI M, 2002, ITN WORKSH COMM SOFT
[3]  
Hammal Y, 2005, LECT NOTES COMPUT SC, V3731, P38
[4]  
Kaufmann M., 2008, SYSMOD THE SYSTEMS M, P83
[5]  
King P., 1999, P 15 UK PERFORMANCE, P45
[6]  
MELO GAF, 2009, 11 BRAZ WORKSH REAL
[7]   RECOVERABILITY OF COMMUNICATION PROTOCOLS - IMPLICATIONS OF A THEORETICAL-STUDY [J].
MERLIN, PM ;
FARBER, DJ .
IEEE TRANSACTIONS ON COMMUNICATIONS, 1976, 24 (09) :1036-1043
[8]  
Merseguer J, 2002, P WORKSH SOFTW ENG P, P1
[9]   PETRI NETS - PROPERTIES, ANALYSIS AND APPLICATIONS [J].
MURATA, T .
PROCEEDINGS OF THE IEEE, 1989, 77 (04) :541-580
[10]  
*OMG, 2007, SYSML SYST MOD LANG