Abstract
Nowadays, component-based embedded real- time systems have been used to improve the system development as well as to keep cost down through the reuse of embedded software applications. Besides, the use of semi-formal models has been widely adopted in the embedded real-time system component and system life cycle due to their friendly and intuitive notations. However, the ever more complex systems of today require modeling methods that allow early detection of potential problems in the initial phases of development. This paper presents the mapping process of UML state machine diagram into a time Petri net with energy constraints so as to estimate execution time and energy consumption in early phases of the embedded real-time 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.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Tavares E, Maciel P, Silva B, Oliveira M (2008) Hard realtime tasks scheduling considering voltage scaling, precedence and exclusion relations. Inf Process Lett 108:50–59
Wuyts R, Ducasse S (2001) Non-functional requirements in a component model for embedded systems. In: International workshop on specification and verification of component-based systems, OOPSLA
OMG UML (2005) 2.0 superstructure specification. http://www.uml.org/
OMG MARTE (2007) Profile for modeling and analysis of real-time and embedded systems (MARTE), Beta1
OMG SPT (2003) Profile for schedulability, performance, and time specification. Object Management Group
King P, Pooley R Using UML to derive stochastic Petri net models. In: Proceedings of the 15th UK performance engineering workshop. Citeseer, pp 45–56
Merseguer J, Campos J, Mena E (2002) Performance evaluation for the design of agent-based systems: a petri net approach. In: Proceedings of the workshop on software engineering and petri nets, within the 21st international conference on application and theory of petri nets, pp 1–20
Trowitzsch J, Zimmermann A (2005) Real-time UML state machines: an analysis approach. Object oriented software design for real time and embedded computer systems
Trowitzsch J, Zimmermann A (2006) Using UML state machines and petri nets for the quantitative investigation of ETCS. In: Proceedings of the 1st international conference on performance evaluation methodolgies and tools
Mohammed E, Mohamed B, Rudolf KK, Mohamed B (2002) Real-time system specifications based on UML scenarios and timed petri nets. In: International workshop on communication software engineering
Tavares E, Maciel P (2008) Amalghma tool. http://www.cin.ufpe.br/~eagt/tools/
Murata T (1989) Petri nets: properties, analysis and applications. Proc IEEE 77(4): 541–580
Merlin P, Faber DJ (1976) Recoverability of communication protocols: implicatons of a theoretical study. IEEE Trans Commun 24(9): 1036–1043
David R (2005) Discrete, continuous, and hybrid petri nets. Springer, Berlin
Thermal printer—im433td. diebold printers. (2009) http://www.diebold.com.br/produtos_impressoras/c_prodimp.asp
Starke P, Roch S (1999) INA—integrated net analyzer—version 2.2. Humbolt Universitat zu Berlin, Institut für Informatik
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Andrade, E., Maciel, P., Falcão, T. et al. Performance and energy consumption estimation for commercial off-the-shelf component system design. Innovations Syst Softw Eng 6, 107–114 (2010). https://doi.org/10.1007/s11334-009-0110-7
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11334-009-0110-7