Hierarchies in Coloured Petri Nets
APN 90 Proceedings on Advances in Petri nets 1990
Power analysis of embedded software: a first step towards software power minimization
IEEE Transactions on Very Large Scale Integration (VLSI) Systems - Special issue on low-power design
Simulation Modeling and Analysis
Simulation Modeling and Analysis
A Brief Introduction to Coloured Petri Nets
TACAS '97 Proceedings of the Third International Workshop on Tools and Algorithms for Construction and Analysis of Systems
A retargetable environment for power-aware code evaluation: an approach based on coloured petri net
PATMOS'05 Proceedings of the 15th international conference on Integrated Circuit and System Design: power and Timing Modeling, Optimization and Simulation
Hi-index | 0.00 |
This paper presents a formal approach for estimating the execution time and the energy consumption of embedded system using Coloured Petri Net. Experimental results have demonstrated an accuracy of 96% using the proposed formal method in comparison with the values obtained with the hardware platform. In addition to estimation purposes, several properties can be analyzed and verified using the proposed formal model.