Analyzing Software Performance and Energy Consumption of Embedded Systems by Probabilistic Modeling: An Approach Based on Coloured Petri Nets

  • Meuse N. O. Junior
  • Silvino Neto
  • Paulo Maciel
  • Ricardo Lima
  • Angelo Ribeiro
  • Raimundo Barreto
  • Eduardo Tavares
  • Frederico Braga
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4024)


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.


Energy Consumption Execution Time Embed System Power Estimation Test Vector 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
  2. 2.
    Bernat, G., Colin, A., Petters, S.M.: Pwcet, a tool for probabilistic wcet analysis of real-time systems. In: WCET, pp. 21–38 (2003)Google Scholar
  3. 3.
    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)Google Scholar
  4. 4.
    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)Google Scholar
  5. 5.
    Burch, R., Najm, F., Yang, T.T.P.: A monte carlo approach for power estimation. IEEE transactions on vlsi systems 1, 63–71 (1993)CrossRefGoogle Scholar
  6. 6.
    Burns, F., Koelmans, A., Yakovlev, A.: Wcet analysis of superscalar processor using simulation with coloured petri nets. International Journal of Time-Critical Computing SystemsGoogle Scholar
  7. 7.
    Jensen, K.: Coloured petri nets. basic concepts, analysis methods and practical use. Basic Concepts. Monographs in Theoretical Computer Science, vol. 1(2) (1997)Google Scholar
  8. 8.
    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)Google Scholar
  9. 9.
    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)Google Scholar
  10. 10.
    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)Google Scholar
  11. 11.
    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)CrossRefGoogle Scholar
  12. 12.
    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)Google Scholar
  13. 13.
    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)MATHGoogle Scholar
  14. 14.
    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)Google Scholar
  15. 15.
    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)CrossRefGoogle Scholar
  16. 16.
    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)Google Scholar
  17. 17.
    Najm, F.N.: A survey of power estimation techniques in vlsi circuits. IEEE Trans. Very Large Scale Integr. Syst. 2(4), 446–455 (1994)CrossRefGoogle Scholar
  18. 18.
    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)CrossRefGoogle Scholar
  19. 19.
    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)CrossRefGoogle Scholar
  20. 20.
    Yeap, G.: Practical Low Power Digital VLSI Design. Kluwer Academic Publishers, Dordrecht (1998)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Meuse N. O. Junior
    • 1
  • Silvino Neto
    • 1
  • Paulo Maciel
    • 1
  • Ricardo Lima
    • 2
  • Angelo Ribeiro
    • 1
  • Raimundo Barreto
    • 1
  • Eduardo Tavares
    • 1
  • Frederico Braga
    • 3
  1. 1.Centro de Informática (CIn)Universidade Federal de Pernambuco (UFPE)Brazil
  2. 2.Departamento de Sistemas ComputacionaisUniversidade de Pernambuco (UPE)Brazil
  3. 3.ITPE Instituto Tecnológico do Estado de PernambucoBrazil

Personalised recommendations