Mapping UML Interaction Overview Diagram to Time Petri Net for Analysis and Verification of Embedded Real-Time Systems with Energy Constraints

With the heterogeneity and complexity growth of embedded real-time systems (ERTS) is required an interdisciplinary approaches in the development processes embracing software engineering, mechanics, electric and electronics areas. Accordingly, a modeling language, called Unified Modeling Language (UML), has been specified by OMG (Object Management Group). However, when dealing with ERTS is indispensable the description of quantitative system aspects such as time and energy consumption. For that, a new UML Profile for Modeling and Analysis of Real-Time and Embedded systems (MARTE) has been also specified by OMG. Nevertheless, these UML models themselves are not directly analyzable. This paper presents the mapping process of interaction overview diagram (IO) into a time Petri net with energy constraints (ETPN) so as to analyze and verify the functional, timing and energy requirements in early phases of the life-cycle development.