RefDoc
Haut

Faire une nouvelle recherche
Make a new search
Lancer la recherche


Titre du document / Document title

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

Auteur(s) / Author(s)

JUNIOR Meuse N. O. (1) ; NETO Silvino (1) ; MACIEL Paulo (1) ; LIMA Ricardo (2) ; RIBEIRO Angelo (1) ; BARRETO Raimundo (1) ; TAVARES Eduardo (1) ; BRAGA Frederico (3) ;

Affiliation(s) du ou des auteurs / Author(s) Affiliation(s)

(1) Centro de Informática (CIn) Universidade Federal de Pernambuco (UFPE), BRESIL
(2) Departamento de Sistemas Computacionais Universidade de Pernambuco (UPE), BRESIL
(3) ITPE Instituto Tecnológico do Estado de Pernambuco, BRESIL

Résumé / Abstract

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.

Revue / Journal Title

Lecture notes in computer science    ISSN  0302-9743 

Source / Source

Congrès
Petri nets and other models of concurrency :   ( ICATPN 2006 )  ( 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006 )  ( proceedings )
International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency No27, Turku , FINLANDE (2006)
2006  , vol. 4024, pp. 261-281[Note(s) : XI-440 p., ] [Document : 21 p.] (20 ref.) ISBN 3-540-34699-6 ;

Langue / Language

Anglais

Editeur / Publisher

Springer, Berlin, ALLEMAGNE  (1973) (Revue)
Springer, Berlin, ALLEMAGNE  ETATS-UNIS  (2006) (Monographie)

Mots-clés anglais / English Keywords

Colored Petri net

;

Modeling

;

Probabilistic approach

;

Abstraction

;

Performance evaluation

;

Energy consumption

;

Formal method

;

Formal language

;

Simulation language

;

Boarded computer

;

Distributed system

;

Concurrency

;

Petri net

;

Mots-clés français / French Keywords

.

;

Réseau Pétri coloré

;

Modélisation

;

Approche probabiliste

;

Abstraction

;

Evaluation performance

;

Consommation énergie

;

Méthode formelle

;

Langage formel

;

Langage simulation

;

Calculateur embarqué

;

Système réparti

;

Simultanéité informatique

;

Réseau Pétri

;

Mots-clés espagnols / Spanish Keywords

Red Pétri colorado

;

Modelización

;

Enfoque probabilista

;

Abstracción

;

Evaluación prestación

;

Consumo energía

;

Método formal

;

Lenguaje formal

;

Lenguaje simulación

;

Calculador embarque

;

Sistema repartido

;

Simultaneidad informatica

;

Red Petri

;

Localisation / Location

INIST-CNRS, Cote INIST : 16343, 35400015363766.0150

Nº notice refdoc (ud4) : 20015063



Faire une nouvelle recherche
Make a new search
Lancer la recherche
Bas