Made available in DSpace on 2014-06-12T16:00:15Z (GMT). No. of bitstreams: 2
arquivo6285_1.pdf: 1527923 bytes, checksum: 78d4cb768e2160db1bd4ea015fdefa03 (MD5)
license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5)
Previous issue date: 2007 / Sistema Embarcado ¶e um sistema computacional projetado para uma fun»c~ao dedicada.
Geralmente, este sistema executa uma tarefa espec¶³¯ca dentre um conjunto maior de
tarefas, e possui particularidades tanto de hardware quanto de software.
Os Sistemas Embarcados est~ao presentes no cotidiano sob diferentes formas e com
diferentes objetivos. Geralmente possuem uma s¶erie de restri»c~oes, tais como: dimens~oes
das mem¶orias, fonte de energia, baixa velocidade de processamento, dentre outras.
Este trabalho apresenta o desenvolvimento de um modelo em Redes de Petri de desem-
penho e energias para c¶odigos ANSI-C, considerando um processador de uma plataforma
embarcada espec¶³¯ca, com o objetivo de estimar o consumo de energia.
A linguagem ANSI-C, como c¶odigo de Sistemas Embarcados, foi escolhida por ser uma
das mais utilizadas no desenvolvimento destes sistemas. Redes de Petri Temporizadas
permitem a modelagem e especi¯ca»c~ao de sistemas paralelos e distribu¶³dos e, ao mesmo
tempo, prov^eem o formalismo matem¶atico necess¶ario para uma avalia»c~ao de desempenho.
Neste trabalho, o modelo Redes de Petri Temporizada ¶e anotado com informa»c~ao de
consumo de energia, o que originou a Power Petri Net.
Este trabalho contribui tamb¶em com a implementa»c~ao de um simulador estoc¶astico
para avalia»c~ao de desempenho e de um ambiente computacional no qual s~ao realizadas
as estimativas. Esse ambiente ¶e formado pelo tradutor de c¶odigo ANSI-C para Redes de
Petri no formato PNML [1], padr~ao XML para descri»c~ao de Redes de Petri, simulador
estoc¶astico e extens~ao do ambiente EzPetri [2]. Como o modelo apresentado, b¶asico, pode
ser estendido em outros trabalhos ¶e caracterizada a forma»c~ao de um framework.
Para valida»c~ao do m¶etodo proposto, foi utilizado um c¶odigo de avalia»c~ao, benchmark,
PowerStone [3] desenvolvido para explorar o sistema sob diferentes aspectos de consumo
de energia
Identifer | oai:union.ndltd.org:IBICT/oai:repositorio.ufpe.br:123456789/2684 |
Date | January 2007 |
Creators | Roncalli Novaes Pires Ribeiro, Angelo |
Contributors | Romero Martins Maciel, Paulo |
Publisher | Universidade Federal de Pernambuco |
Source Sets | IBICT Brazilian ETDs |
Language | Portuguese |
Detected Language | Portuguese |
Type | info:eu-repo/semantics/publishedVersion, info:eu-repo/semantics/masterThesis |
Source | reponame:Repositório Institucional da UFPE, instname:Universidade Federal de Pernambuco, instacron:UFPE |
Rights | info:eu-repo/semantics/openAccess |
Page generated in 0.0016 seconds