A Retargetable Environment for Power-Aware Code Evaluation: An Approach Based on Coloured Petri Net

Meuse, N. O.; Maciel, Paulo; Lima, Ricardo; Ribeiro, Angelo; Oliveira, César; Arcoverde, Adilson; Barreto, Raimundo; Tavares, Eduardo; Amorin, Leornado

doi:10.1007/11556930_6

Cited by 3 publications

(3 citation statements)

References 10 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The current model extends our previous architecture CPN-Model [11] so that it performs a simulation based on probabilistic alternatives of code flow. The model presented in [11] is constructed in a way that any code can be built from a set of instruction-CPN model.…”

Section: Architecture Description Modelmentioning

confidence: 99%

“…The model presented in [11] is constructed in a way that any code can be built from a set of instruction-CPN model. This set of instruction-CPN models describes the processor ISA (Instruction Set Architecture).…”

Section: Architecture Description Modelmentioning

confidence: 99%

“…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%

See 2 more Smart Citations

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

Self Cite

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

Section: Architecture Description Modelmentioning

confidence: 99%

Section: Architecture Description Modelmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation