Abstract-Energy consumption as an increasingly important decision criterion has to be included in the search for good architectural and design alternatives to make an embedded system as energy-efficient as possible. The proposed method describes a system with dedicated extended UML models for applications and hardware components and evaluates the energy use via a transformation into an analyzable stochastic Petri net.

This paper presents a formal description of an approach for model-based engineering of energy-efficient automation systems. Energy consumption is an important decision criterion, which has to be included in the search for good architectural and design alternatives already on the early system design stages. In the method, we describe an embedded system with an operational model for the processor hardware and an application model for the software. UML extended with MARTE profile elements is used for this part. Both models are transformed into a stochastic Petri net using transformation rules. The procedure steps are described with formal mathematical language and graphical illustrations.

No abstract