Détail de la notice
Titre du Document
Analyzing Software Performance and Energy Consumption of Embedded Systems by Probabilistic Modeling : An Approach Based on Coloured Petri Nets
ICATPN 2006
Auteur(s)
JUNIOR Meuse N. O. ; NETO Silvino ; MACIEL Paulo ; ...
Résumé
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.
Editeur
Springer; Springer
Type du document
Conférence : International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, 27, Turku, FIN, 2006
Identifiant
ISSN : 0302-9743 ISBN : 3-540-34699-6
Source
Lecture notes in computer science A. 2006, vol. 4024, pp. 261-281 [21 pages] [bibl. : 20 ref.] [nb. vol. : 1]
Langue
Anglais
Pour les membres de la communauté du CNRS, ce document est autorisé à la reproduction à titre gratuit.
Pour les membres des communautés hors CNRS, la reproduction de ce document à titre onéreux sera fournie sous réserve d’autorisation du Centre Français d’exploitation du droit de Copie.

Pour bénéficier de nos services (strictement destinés aux membres de la communauté CNRS (Centre National de la Recherche Scientifique), de l'ESR français (Enseignement Supérieur et Recherche), et du secteur public français & étranger) :