Abstract
This paper presents an approach for analyzing embedded systems’ software energy consumption and performance based on probabilistic modeling. Such an approach applies Coloured Petri Net modeling language (CPN) for supporting simulation and analysis. The proposed approach offers three basic contributions for embedded system analysis field:(i)code modeling, a probabilistic model for scenarios exploration being presented, (ii) formalism, a formal and widespread modeling language (CPN) being applied, with previously validated engines and algorithms for simulation;(iii) flexibility, the proposed approach enabling modeling of different micro-controllers at different abstraction levels.
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
Cpntools, version 1.4.0, http://wiki.daimi.au.dk/cpntools/cpntools.wiki
Bernat, G., Colin, A., Petters, S.M.: Pwcet, a tool for probabilistic wcet analysis of real-time systems. In: WCET, pp. 21–38 (2003)
Bona, A., Sami, M., Sciuto, D., Zaccaria, V., Silvano, C., Zafalon, R.: Energy estimation and optimization of embedded vliw processors based on instruction clustering. In: Proceedings of the 39th conference on Design automation, pp. 886–891. ACM Press, New York (2002)
Bona, A., Sami, M., Sciuto, D., Zaccaria, V., Silvano, C., Zafalon, R.: An instruction-level methodology for power estimation and optimization of embedded vliw cores. In: Proceedings of the conference on Design, automation and test in Europe, p. 1128. IEEE Computer Society, Los Alamitos (2002)
Burch, R., Najm, F., Yang, T.T.P.: A monte carlo approach for power estimation. IEEE transactions on vlsi systems 1, 63–71 (1993)
Burns, F., Koelmans, A., Yakovlev, A.: Wcet analysis of superscalar processor using simulation with coloured petri nets. International Journal of Time-Critical Computing Systems
Jensen, K.: Coloured petri nets. basic concepts, analysis methods and practical use. Basic Concepts. Monographs in Theoretical Computer Science, vol. 1(2) (1997)
Jφrgensen, J., Christensen, S., Tuovinen, A.-P., Xu, J.: Tool support for estimating the memory usage of mobile phone software. International Journal on Software Tools for Technology Transfer (STTT) (2006)
Arcoverde Jr., A., Alves Jr., G., Lima, R., Maciel, P., Oliveira Jr., M., Barreto, R.: Ezpetri: A petri net interchange framework for eclipse based on pnml. In: Margaria, T., Steffen, B. (eds.) ISoLA 2004. LNCS, vol. 4313. Springer, Heidelberg (2006)
Junior, M.N.O., Maciel, P., Barreto, R., Carvalho, F.: Towards a software power cost analysis framework using colored petri net. In: Macii, E., Paliouras, V., Koufopavlou, O. (eds.) PATMOS 2004. LNCS, vol. 3254, pp. 362–371. Springer, Heidelberg (2004)
Júnior, M.N.O., Maciel, P.R.M., Lima, R.M.F., 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)
Klass, B., Thomas, D., Schmit, H., Nagle, D.: Modeling inter-instruction energy effects in a digital signal processor. In: Power-Driven Microarchitecture Workshop In conjunstion with ISCA 1998 (1998)
Kristensen, L., Christensen, S., Jensen, K.: The practitioner’s guide to coloured petri nets. International Journal on Software Tools for Technology Transfer: Special section on coloured Petri nets 2(2), 98–132 (1998)
Laopoulos, T., Neofotistos, P., Kosmatopoulos, C., Nikolaidis, S.: Current variations measurements for the estimation of software-related power consumption. In: IEEE Instrumentation and Measurement Technology Conference (May 2002)
Marculescu, R., Nandi, A.: Probabilistic application modeling for system-level perfromance analysis. In: DATE 2001. Proceedings of the conference on Design, automation and test in Europe, Piscataway, NJ, USA, pp. 572–579. IEEE Press, Los Alamitos (2001)
Murugavel, A.K., Ranganathan, N.: Petri net modeling of gate and interconnect delays for power estimation. In: Proc. of the 39th conf. on Design automation, pp. 455–460. ACM Press, New York (2002)
Najm, F.N.: A survey of power estimation techniques in vlsi circuits. IEEE Trans. Very Large Scale Integr. Syst. 2(4), 446–455 (1994)
Nikolaidis, S., Kavvadias, N., Laopoulos, T., Bisdounis, L., Blionas, S.: Instruction level energy modeling for pipelined processors. In: Chico, J.J., Macii, E. (eds.) PATMOS 2003. LNCS, vol. 2799, pp. 279–288. Springer, Heidelberg (2003)
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 Systems 2(4), 437–445 (1994)
Yeap, G.: Practical Low Power Digital VLSI Design. Kluwer Academic Publishers, Dordrecht (1998)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Junior, M.N.O. et al. (2006). Analyzing Software Performance and Energy Consumption of Embedded Systems by Probabilistic Modeling: An Approach Based on Coloured Petri Nets. In: Donatelli, S., Thiagarajan, P.S. (eds) Petri Nets and Other Models of Concurrency - ICATPN 2006. ICATPN 2006. Lecture Notes in Computer Science, vol 4024. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11767589_15
Download citation
DOI: https://doi.org/10.1007/11767589_15
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-34699-9
Online ISBN: 978-3-540-34700-2
eBook Packages: Computer ScienceComputer Science (R0)