Extending the Software Tool TimeNET by Power Consumption Estimation of UML MARTE Models

Dmitriy Shorin, Armin Zimmermann

Abstract

This paper presents an extension of the software tool TimeNET, which supports modeling and analysis of stochastic Petri nets. The new extension implements a previously proposed method for power consumption modeling and evaluation based on extended UML models. Two new net classes have been developed to support the necessary operational and application models and edit them in the graphical user interface. Several stereotypes of the UML Profile for Modeling and Analysis of Real-Time and Embedded Systems (MARTE) have been added to extend the information about power consumption of system and application states. The two UML models are then automatically transformed into a stochastic Petri net. Power consumption of the system can be predicted by standard Petri net analysis modules of TimeNET. An example of an industrial control system is provided.

References

  1. Andrade, E., Maciel, P., Falca˜o, T., Nogueira, B., Araujo, C., and Callou, G. (2009). Performance and energy consumption estimation for commercial off-the-shelf component system design. Innovations in Systems and Software Engineering, 6(1-2):107-114.
  2. Callou, G. R. d. A., Maciel, P. R. M., de Andrade, E. C., Nogueira, B. C. e. S., and Tavares, E. A. G. a. (2008). A coloured petri net based approach for estimating execution time and energy consumption in embedded systems. In Proceedings of the 21st Annual Symposium on Integrated Circuits and System Design, SBCCI 7808, pages 134-139, New York, NY, USA. ACM.
  3. Dijkstra, E. (1959). A note on two problems in connexion with graphs. Numerische Mathematik, 1(1):269-271.
  4. German, R. (2000). Performance Analysis of Communication Systems, Modeling with Non-Markovian Stochastic Petri Nets. John Wiley and Sons.
  5. German, R., Kelling, C., Zimmermann, A., and Hommel, G. (1995). TimeNET - a toolkit for evaluating nonMarkovian stochastic Petri nets. J. Performance Evaluation, 24:69-87.
  6. Jakop, F. (2003). PENG - Plattformunabhängiger Editor für NetzGraphen. Master's thesis, TU Berlin.
  7. Jensen, K., Kristensen, K. L., and Wells, L. (2007). Coloured Petri nets and CPN tools for modelling and validation of concurrent systems. Int. Journal on Software Tools for Technology Transfer (STTT), 9(3- 4):213-254.
  8. Object Management Group (OMG) (2005). UML Profile for Schedulability, Performance, and Time Specification, Version 1.1.
  9. Object Management Group (OMG) (2011). UML Profile for MARTE: Modeling and Analysis of Real-Time Embedded Systems, Version 1.1.
  10. Object Management Group (OMG) (2012). OMG Unified Modeling Language (OMG UML), Infrastructure, Version 2.4.1.
  11. Shorin, D. and Zimmermann, A. (2013). Evaluation of Embedded System Energy Usage with Extended UML Models. In 2nd Workshop Energy Aware SoftwareEngineering and Development (EASED@BUIS), Softwaretechnik-Trends, 33(2), Oldenburg, Germany.
  12. Shorin, D., Zimmermann, A., and Maciel, P. (2012). Transforming UML State Machines into Stochastic Petri Nets for Energy Consumption Estimation of Embedded Systems. In 2nd IFIP Conference on Sustainable Internet and ICT for Sustainability (SustainIT 2012), Pisa, Italy.
  13. Trowitzsch, J. (2007). Quantitative Evaluation of UML State Machines Using Stochastic Petri Nets. PhD thesis, TU Berlin.
  14. Trowitzsch, J., Jerzynek, D., and Zimmermann, A. (2007). A Toolkit for Performability Evaluation Based on Stochastic UML State Machines. In Proceedings of the 2nd International Conference on Performance Evaluation Methodologies and Tools (ValueTools), Nantes, France.
  15. Trowitzsch, J. and Zimmermann, A. (2005). Towards Quantitative Analysis of Real-Time UML Using Stochastic Petri Nets. In Proceedings of the 13th International Workshop on Parallel and Distibuted Real-Time Systems, Denver, Colorado. IEEE.
  16. Zimmermann, A. (2012). Modeling and Evaluation of Stochastic Petri Nets with TimeNET 4.1. In Proceedings of the 6th International Conference on Performance Evaluation Methodologies and Tools (ValueTools), pages 54-63. IEEE.
  17. Zimmermann, A. and Hommel, G. (1999). Modelling and evaluation of manufacturing systems using dedicated Petri nets. Int. Journal of Advanced Manufacturing Technology, 15:132-137.
Download


Paper Citation


in Harvard Style

Shorin D. and Zimmermann A. (2014). Extending the Software Tool TimeNET by Power Consumption Estimation of UML MARTE Models . In Proceedings of the 4th International Conference on Simulation and Modeling Methodologies, Technologies and Applications - Volume 1: SIMULTECH, ISBN 978-989-758-038-3, pages 83-91. DOI: 10.5220/0005096700830091


in Bibtex Style

@conference{simultech14,
author={Dmitriy Shorin and Armin Zimmermann},
title={Extending the Software Tool TimeNET by Power Consumption Estimation of UML MARTE Models},
booktitle={Proceedings of the 4th International Conference on Simulation and Modeling Methodologies, Technologies and Applications - Volume 1: SIMULTECH,},
year={2014},
pages={83-91},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005096700830091},
isbn={978-989-758-038-3},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 4th International Conference on Simulation and Modeling Methodologies, Technologies and Applications - Volume 1: SIMULTECH,
TI - Extending the Software Tool TimeNET by Power Consumption Estimation of UML MARTE Models
SN - 978-989-758-038-3
AU - Shorin D.
AU - Zimmermann A.
PY - 2014
SP - 83
EP - 91
DO - 10.5220/0005096700830091