Abstract
This paper presents a formal approach for estimating the execution time and the energy consumption of embedded system using Coloured Petri Net. Experimental results have demonstrated an accuracy of 96% using the proposed formal method in comparison with the values obtained with the hardware platform. In addition to estimation purposes, several properties can be analyzed and verified using the proposed formal model.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
CPN Tools version 2.2.0, http://wiki.daimi.au.dk/cpntools/cpntools.wiki
Keil UVision IDE Version 3.33, http://www.keil.com
Junior, M.N.O., Maciel, P.R.M., Lima, R., Ribeiro, A., Oliveira, C., Arcoverde, A., Barreto, R.S., Tavares, E., Amorin, L.: A retargetable environment for power-aware code evaluation: An approach based on coloured petri net. In: Paliouras, V., Vounckx, J., Verkest, D. (eds.) PATMOS 2005. LNCS, vol. 3728, pp. 49–58. Springer, Heidelberg (2005)
Nikolaidis, S., Kavvadias, N., Laopoulos, T., Neofotistos, P.: Instruction level power models for embedded processors, AUTH (ed.), 48 pages (2002)
Tiwari, V., Malik, S., Wolfe, A.: Power Analysis of Embedded Software: A First Step Towards Software Power Minimization. IEEE Transactions on Very Large Scale Integration (VLSI) Systems 2(4), 437–445 (1994)
Laurent, J., Senn, E., Julien, N., Martin, E.: High Level Energy Estimation for DSP Systems. In: PATMOS 2001, pp. 311–316. Kluwer Academic Publishers, Dordrecht (2001)
Jensen, K.: A brief introduction to coloured petri nets. Tools and Algorithms for the Construction and Analysis of Systems. In: Brinksma, E. (ed.) TACAS 1997. LNCS, vol. 1217, pp. 203–208. Springer, Heidelberg (1997)
Tavares, E.: AMALGHMA Tool, http://www.cin.ufpe.br/~eagt/tools/
Ribeiro, A.: Estimativa de Consumo de Energia de Código ANSI-C para Sistemas Embarcados: Uma Abordagem Baseada em Simulação Estocástica (in portuguese). MSc Thesis, Centro de Informática. Universidade Federal de Pernambuco (2007)
Nikolaidis, S., Kavvadias, N., Neofotistos, P.: Instruction-Leve Power Measurement Methodology. Technical report, Eletronics Lav., Physics Dept., Aristotle University of Thessaloniki, Greece (2002)
Senn, E., Laurent, J., Julien, N., Martin, É.: SoftExplorer: Estimation, characterization, and optimization of the power and energy consumption at the algorithmic level. In: Macii, E., Paliouras, V., Koufopavlou, O. (eds.) PATMOS 2004. LNCS, vol. 3254, pp. 342–351. Springer, Heidelberg (2004)
Murata, T.: Petri nets: Properties, analysis and applications. A Decade of Concurrency. IEEE 77(4), 541–580 (1989)
Huber, P., Jensen, K., Shapiro, R.M.: Hierarchies in Coloured Petri Nets. In: Rozenberg, G. (ed.) APN 1990. LNCS, vol. 483, pp. 313–341. Springer, Heidelberg (1991)
Law, A., Kelton, W.: Simulation Modeling and Analysis, p. 794. McGraw-Hill Book Company, New York (1999)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Callou, G., Maciel, P., Carneiro, E., Nogueira, B., Tavares, E., Oliveira, M. (2009). A Formal Approach for Estimating Embedded System Execution Time and Energy Consumption. In: Svensson, L., Monteiro, J. (eds) Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation. PATMOS 2008. Lecture Notes in Computer Science, vol 5349. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-95948-9_38
Download citation
DOI: https://doi.org/10.1007/978-3-540-95948-9_38
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-95947-2
Online ISBN: 978-3-540-95948-9
eBook Packages: Computer ScienceComputer Science (R0)