Towards a Software Power Cost Analysis Framework Using Colored Petri Net

Júnior, Meuse N. Oliveira; Maciel, Paulo; Barreto, Raimundo; Carvalho, Fernando

doi:10.1007/978-3-540-30205-6_38

Cited by 4 publications

(4 citation statements)

References 10 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…A new approach based on Colored Petri Net for analyzing software power cost was proposed in [14]. This work explores CPN as a formal description language.…”

Section: Power Consumption Analysis Framework -Pcafmentioning

confidence: 99%

Petri nets tools integration through Eclipse

Arcoverde

Alves

Lima

2005

Proceedings of the 2005 OOPSLA Workshop on Eclipse Technology eXchange - Eclipse '05

View full text Add to dashboard Cite

The lack of a standard file format to represent Petri nets limits the reuse of models among Petri net tools. In order to reduce the impact of this limitation the Petri Net Markup Language (PNML) has been proposed. PNML is an interchange file format for Petri nets based on XML. This paper presents a framework, called EZPetri, based on PNML. EZPetri is a perspective and a set of plug-ins of the Eclipse platform. The union of Eclipse and PNML has demonstrated itself to be an effective instrument for integrating Petri net tools and applications. The paper discusses the principles of EZPetri and presents one application integrated into the framework: Power Consumption Analysis Framework. Such application has been developed with no knowledge about EZPetri. This is a demonstration of the integration facilities provided by the framework. EZPetri is thus an useful platform for combining existing Petri net tools and applications into a single environment, offering the Petri net community a new perspective of integration.

show abstract

“…A new approach based on Colored Petri Net for analyzing software power cost was proposed in [14]. This work explores CPN as a formal description language.…”

Section: Power Consumption Analysis Framework -Pcafmentioning

confidence: 99%

Petri nets tools integration through Eclipse

Arcoverde

Alves

Lima

2005

Proceedings of the 2005 OOPSLA Workshop on Eclipse Technology eXchange - Eclipse '05

View full text Add to dashboard Cite

show abstract

“…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. Higher level models such as live sequence charts [7] or Hume specifications [8] have also been used, with these approaches concentrating mainly on handling liveness, execution time, and heap bounding properties.…”

Section: Introductionmentioning

confidence: 99%

“…However, most of the previous works either address specific applications or have limited degrees of freedom for power management since generic run-time self-adaptation is not considered. This paper provides an overview of the CONSERN project by combining initial key technical results regarding a selfgrowing framework [10] as well as functional requirements and enablers for self-growing energy aware systems [11] as derived from selected use cases and scenarios [6]. Besides key technical research, business modelling and validation by a proof-of-concept platform are key elements of CONSERN.…”

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

“…Defining test vectors according to possible scenarios is normally very difficult. This paper approaches such a question by extending our previous works [10,11], where Coloured Petri Nets (CPN) [7] are applied to describing an application (code + processor architecture), focusing on probabilistic modeling to describe scenarios. The proposed modeling allows control flow exploration to statistically cover a large range of load and event possibilities.…”

Section: Introductionmentioning

confidence: 99%

Analyzing Software Performance and Energy Consumption of Embedded Systems by Probabilistic Modeling: An Approach Based on Coloured Petri Nets

Meuse

Neto

Maciel

et al. 2006

Petri Nets and Other Models of Concurrency - ICATPN 2006

View full text Add to dashboard Cite

This paper presents an approach for analyzing embedded systems' software energy consumption and performance based on probabilistic modeling. Such an approach applies Coloured Petri Net modeling language (CPN) for supporting simulation and analysis. The proposed approach offers three basic contributions for embedded system analysis field:(i)code modeling, a probabilistic model for scenarios exploration being presented, (ii) formalism, a formal and widespread modeling language (CPN) being applied, with previously validated engines and algorithms for simulation;(iii) flexibility, the proposed approach enabling modeling of different micro-controllers at different abstraction levels.

show abstract

Towards a Software Power Cost Analysis Framework Using Colored Petri Net

Cited by 4 publications

References 10 publications

Petri nets tools integration through Eclipse

Petri nets tools integration through Eclipse

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

Analyzing Software Performance and Energy Consumption of Embedded Systems by Probabilistic Modeling: An Approach Based on Coloured Petri Nets

Contact Info

Product

Resources

About