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

Meuse, N. O.; Neto, Silvino; Maciel, Paulo; Lima, Ricardo; Ribeiro, Angelo; Barreto, Raimundo; Tavares, Eduardo; Braga, Frederico

doi:10.1007/11767589_15

Cited by 12 publications

(2 citation statements)

References 18 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…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. Moreover, [9] takes a power consumption focused approach, using a formalism called action systems to estimate power usage in systems comprised of composed processes.…”

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

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

show abstract

“…These components are used for the energy consumption calculation for complete software programs. Junior et al [12] in 2006 used Coloured Petri Net (CPN) modeling language to analyze embedded systems' software performance and energy consumption. Callou et al [13] in 2008 presented a formal model and a platform for estimating energy consumption and the execution time of embedded biomedical applications.…”

Section: Introductionmentioning

confidence: 99%

Nested Interrupt Analysis of Low Cost and High Performance Embedded Systems Using GSPN Framework

Lin

2010

IEICE Trans. Inf. & Syst.

View full text Add to dashboard Cite

SUMMARYInterrupt service routines are a key technology for embedded systems. In this paper, we introduce the standard approach for using Generalized Stochastic Petri Nets (GSPNs) as a high-level model for generating CTMC Continuous-Time Markov Chains (CTMCs) and then use Markov Reward Models (MRMs) to compute the performance for embedded systems. This framework is employed to analyze two embedded controllers with low cost and high performance, ARM7 and Cortex-M3. Cortex-M3 is designed with a tail-chaining mechanism to improve the performance of ARM7 when a nested interrupt occurs on an embedded controller. The Platform Independent Petri net Editor 2 (PIPE2) tool is used to model and evaluate the controllers in terms of power consumption and interrupt overhead performance. Using numerical results, in spite of the power consumption or interrupt overhead, Cortex-M3 performs better than ARM7.

show abstract

Skylines for Symbolic Energy Consumption Analysis

Klinik

Gastel

Kop

et al. 2020

Formal Methods for Industrial Critical Systems

View full text Add to dashboard Cite

Energy consumption in embedded systems plays a large role as it has implications for the power supply and the batteries used. Programmers of these systems should consider how their programs control external devices, and where energy consumption hotspots lie. We present a static analysis to predict and visualize energy consumption of external devices controlled by programs written in a simple imperative programming language. Currently available energy consumption analysis techniques generate graphs over time, which makes it difficult to see from where in the source code the consumption originates. Our method generates graphs over source locations, called skyline diagrams, showing the maximum power draw for each line of source code.Our method harnesses symbolic execution extended with support for controlling external devices. This gives accurate predictions and complete code path coverage, as far as the limits of computability allow. To make the diagrams easier to understand, we introduce a merge algorithm that condenses all skylines into a concise overview. We demonstrate the potential by analysing various example programs with our prototype implementation. We envision this approach being used to identify energy consumption hotspots of embedded systems during the design and development phase, in a less involved way than traditional approaches.

show abstract

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

Cited by 12 publications

References 18 publications

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

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

Nested Interrupt Analysis of Low Cost and High Performance Embedded Systems Using GSPN Framework

Skylines for Symbolic Energy Consumption Analysis

Contact Info

Product

Resources

About