A coloured petri net based approach for estimating execution time and energy consumption in embedded systems

Callou, Gustavo; Maciel, Paulo; Andrade, Ermeson; Nogueira, Bruno; Tavares, Eduardo

doi:10.1145/1404371.1404412

Cited by 6 publications

(2 citation statements)

References 5 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…A related approach similar to the one of [7], [8] is taken 978-1-4799-5412-4/14/$31.00 ©2014 IEEE in [11], in which enriched UML models are translated into stochastic Petri nets. The main difference to our work is the distinction between the two aspect models and their integration during transformation.…”

Section: Introductionmentioning

confidence: 99%

Formal description of an approach for power consumption estimation of embedded systems

Shorin

Zimmermann

2014

2014 24th International Workshop on Power and Timing Modeling, Optimization and Simulation (PATMOS)

View full text Add to dashboard Cite

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.

show abstract

Section: Introductionmentioning

confidence: 99%

Formal description of an approach for power consumption estimation of embedded systems

Shorin

Zimmermann

2014

2014 24th International Workshop on Power and Timing Modeling, Optimization and Simulation (PATMOS)

View full text Add to dashboard Cite

show abstract

“…System design using Petrinet formalisms has been proposed in [3]. Power consumption of such implementations has been a concern, but the methodology has chiefly been used as a simulation technique [4] that models software at the instruction level, optionally enhanced with experimentally captured data [5]. Other research [6] has begun to apply formal analysis properties of Petri-nets to power control.…”

Section: Introductionmentioning

confidence: 99%

The Self-Growing Concept – A novel Framework developed by the FP7 CONSERN Project

Alonistioti¹,

Schulz²,

Koudouridis³

et al. 2011

Proceedings of the 6th International ICST Conference on Cognitive Radio Oriented Wireless Networks and Communications

View full text Add to dashboard Cite

Abstract-The CONSERN project (COoperative aNd Self growing Energy awaRe Networks) develops the novel SelfGrowing concept. It is part of the European Commission's FP7 research initiative focusing on the following two major research directions: i) Solutions for optimised energy and power consumption in a small scale, purpose-driven network through balancing autonomic and cooperative approaches and ii) mechanisms for the self-evolvement of the network towards a large-scale, multi-purpose network. This paper will detail mechanisms developed within CONSERN that allow an on-going integration of existing networks in an ever-growing, complex environment, applying continuous self-optimization mechanisms and guaranteeing a minimized level of power-consumption, resource usage efficiency.

show abstract

Modelling and Analysis of Migration Policies for Autonomic Management of Energy Consumption in Cloud via Petri-Nets

Alansari

Bordbar

2014

2014 International Conference on Cloud and Autonomic Computing

View full text Add to dashboard Cite

A coloured petri net based approach for estimating execution time and energy consumption in embedded systems

Cited by 6 publications

References 5 publications

Formal description of an approach for power consumption estimation of embedded systems

Formal description of an approach for power consumption estimation of embedded systems

The Self-Growing Concept – A novel Framework developed by the FP7 CONSERN Project

Modelling and Analysis of Migration Policies for Autonomic Management of Energy Consumption in Cloud via Petri-Nets

Contact Info

Product

Resources

About