Dissertação (mestrado)—Universidade de Brasília, Faculdade de Tecnologia, Departamento de Engenharia Elétrica, 2007. / Submitted by Aline Jacob (alinesjacob@hotmail.com) on 2010-01-21T18:51:49Z No. of bitstreams: 1 2007_FabianoGrandeGuiotti.pdf: 2857002 bytes, checksum: 23db5b3cb1a510577d9f1d636899f5f3 (MD5) / Approved for entry into archive by Lucila Saraiva(lucilasaraiva1@gmail.com) on 2010-01-21T22:19:24Z (GMT) No. of bitstreams: 1 2007_FabianoGrandeGuiotti.pdf: 2857002 bytes, checksum: 23db5b3cb1a510577d9f1d636899f5f3 (MD5) / Made available in DSpace on 2010-01-21T22:19:24Z (GMT). No. of bitstreams: 1 2007_FabianoGrandeGuiotti.pdf: 2857002 bytes, checksum: 23db5b3cb1a510577d9f1d636899f5f3 (MD5) Previous issue date: 2007-12-14 / As redes de transporte estão alcançando níveis tão elevados de complexidade que seu planejamento e operação sem ferramentas computacionais adequadas está se tornando impraticável. Adicionalmente, as operadoras estão sendo pressionadas pela concorrência do mercado a diminuir seu OPEX e CAPEX, a ter maior agilidade e a manter suas margens de lucro. O objetivo deste trabalho é aprofundar a discussão sobre a viabilidade técnica e econômica de um sistema integrado de informações para otimização de recursos da rede de transporte e propor ações no sentido de alcançar a excelência na administração desta rede. ______________________________________________________________________________________ ABSTRACT / The transmission networks are reaching such high levels of complexity that its planning and operation without adequate computational tools is becoming impractical. Additionally, operators are being pressured by competition in the market to reduce their OPEX and CAPEX, to have greater agility and to maintain their profit margins. The goal of this work is to further discussion on the technical and economic feasibility of an integrated system of information for optimization of resources of the transmission system and propose actions to achieve excellence in the administration of this network.

Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Matemática, Programa de Mestrado Profissional em Matemática em Rede Nacional, 2017. / Submitted by Raquel Almeida (raquel.df13@gmail.com) on 2017-10-18T17:00:02Z No. of bitstreams: 1 2017_RodrigoVazCosta.pdf: 2892774 bytes, checksum: 83a2af4d97b8282308bc62dd90a3653f (MD5) / Approved for entry into archive by Raquel Viana (raquelviana@bce.unb.br) on 2017-10-20T13:20:51Z (GMT) No. of bitstreams: 1 2017_RodrigoVazCosta.pdf: 2892774 bytes, checksum: 83a2af4d97b8282308bc62dd90a3653f (MD5) / Made available in DSpace on 2017-10-20T13:20:51Z (GMT). No. of bitstreams: 1 2017_RodrigoVazCosta.pdf: 2892774 bytes, checksum: 83a2af4d97b8282308bc62dd90a3653f (MD5) Previous issue date: 2017-10-20 / A teoria dos Grafos é um campo da Matemática que surgiu no século XVIII e que vem se desenvolvendo muito desde então. Tem aplicações notáveis em diversas áreas, tais como Lógica, Biologia, Análise Combinatória, Programação Computacional e Química. É ainda, de uma forma geral, uma ferramenta muito útil no estudo de relações, na construção de algoritmos e na análise de viabilidade de certas situações. Esse trabalho tem como objetivo mostrar como a Teoria dos Grafos pode ser usada como ferramenta para auxiliar no ensino da Matemática a Nível Médio. Para isso, será exposto como essa teoria se encaixa em alguns conteúdos específicos previstos no currículo de cada um dos três anos do Ensino Médio. / Graph theory is a field of Mathematics which first emerged in the 17th century and has been developed ever since. Such theory has outstanding applications in many other areas, such as Logic, Biology, Combinatories, Computer Programming and Chemistry. It also is, generally speaking, a very useful tool in studying relations, building algorithms and analysing the viability of certain situations. The work has the purpose of showing that Graph Theory can be used as an auxiliary tool in the teaching of mathematics at the high school level. We will show how the subject fits in some of the topics covered in the standard curriculum for each of the three years of the brazilian high school.

Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Matemática, Programa de Mestrado Profissional em Matemática em Rede Nacional, 2017. / Submitted by Raquel Almeida (raquel.df13@gmail.com) on 2017-10-30T18:24:04Z No. of bitstreams: 1 2017_ThiagoHenriqueSantosTorres.pdf: 3115434 bytes, checksum: 06b7f50cae14afa650f60bbc9372f8a4 (MD5) / Approved for entry into archive by Raquel Viana (raquelviana@bce.unb.br) on 2018-02-08T18:49:10Z (GMT) No. of bitstreams: 1 2017_ThiagoHenriqueSantosTorres.pdf: 3115434 bytes, checksum: 06b7f50cae14afa650f60bbc9372f8a4 (MD5) / Made available in DSpace on 2018-02-08T18:49:10Z (GMT). No. of bitstreams: 1 2017_ThiagoHenriqueSantosTorres.pdf: 3115434 bytes, checksum: 06b7f50cae14afa650f60bbc9372f8a4 (MD5) Previous issue date: 2018-02-08 / A teoria dos Grafos é um campo da Matemática que surgiu no século XVIII e que vem se desenvolvendo muito desde então. Tem aplicações notáveis em diversas áreas, tais como Lógica, Biologia, Análise Combinatória, Programação Computacional e Química. É ainda, de uma forma geral, uma ferramenta muito útil no estudo de relações, na construção de algoritmos e na análise de viabilidade de certas situações. Esse trabalho tem como objetivo mostrar como a Teoria dos Grafos pode ser usada como ferramenta para auxiliar no ensino da Matemática a Nível Médio. Para isso, será exposto como essa teoria se encaixa em alguns conteúdos específicos previstos no currículo de cada um dos três anos do Ensino Médio. / Graph theory is a field of Mathematics which first emerged in the 17th century and has been developed ever since. Such theory has outstanding applications in many other areas, such as Logic, Biology, Combinatories, Computer Programming and Chemistry. It also is, generally speaking, a very useful tool in studying relations, building algorithms and analysing the viability of certain situations. The work has the purpose of showing that Graph Theory can be used as an auxiliary tool in the teaching of mathematics at the high school level. We will show how the subject fits in some of the topics covered in the standard curriculum for each of the three years of the brazilian high school.

Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Matemática, Programa de Mestrado Profissional em Matemática em Rede Nacional, 2015. / Submitted by Fernanda Percia França (fernandafranca@bce.unb.br) on 2016-01-26T11:02:21Z No. of bitstreams: 1 2015_DanielKlugNogueira.pdf: 4104350 bytes, checksum: f5ff3e4c9c5a086822c23a128a822492 (MD5) / Approved for entry into archive by Patrícia Nunes da Silva(patricia@bce.unb.br) on 2016-01-26T15:32:25Z (GMT) No. of bitstreams: 1 2015_DanielKlugNogueira.pdf: 4104350 bytes, checksum: f5ff3e4c9c5a086822c23a128a822492 (MD5) / Made available in DSpace on 2016-01-26T15:32:25Z (GMT). No. of bitstreams: 1 2015_DanielKlugNogueira.pdf: 4104350 bytes, checksum: f5ff3e4c9c5a086822c23a128a822492 (MD5) / Este trabalho apresenta uma introdução à Teoria dos Grafos, propondo sua aplicação em aulas do Ensino Médio, em especial no segundo ou no terceiro ano. A Teoria dos Grafos teve seu pontapé inicial com o estudo de Euler sobre o problema das pontes de Königsberg. Outros trabalhos se seguiram, particularmente tratando de problemas como determinar trilhas eulerianas, caminhos hamiltonianos, minimização de custos de fluxos em redes. Após uma apresentação teórica incluindo, além desses itens, anotações importantes sobre planaridade e poliedros (ou seja, o tratamento dos poliedros tradicionalmente estudados na Geometria Espacial Euclidiana por meio de seus equivalentes planos em forma de grafos), elabora-se um caderno de atividade a ser aplicadas às turmas de Ensino Médio. Uma experimentação de campo com aproximadamente noventa alunos mostrou-se bem-sucedida, refletindo a adequação do nível da matéria a ser-lhes passada, bem como o interesse nas aplicações cotidianas da Teoria dos Grafos. ______________________________________________________________________________________________ ABSTRACT / This work makes an introduction to Graph Theory, and suggests its inclusion in high school programs, especially on second and third grades. Graph Theory had its start with Euler’s study on the Königsberg bridges’ problem. Other works followed, particularly concerning the determination of Eulerian tracks, Hamiltonian paths, minimization of network flows costs, and so on. After presenting some theory on these items, including furthermore important notes on planarity and polyhedra (that is, the treatment of polyhedra traditionally studied on Euclidian space geometry through their equivalent plane graphs), an activity workbook is prepared for high school classes. A field experiment with about ninety students resulted successful, reflecting the level adequacy of the subject to be taught, as well as the interest on Graph Theory applications to day-to-day problems.

Submitted by Johnny Rodrigues (johnnyrodrigues@ufcg.edu.br) on 2018-07-09T18:31:20Z No. of bitstreams: 1 ALUIZIO FREIRE DA SILVA JÚNIOR - DISSERTAÇÃO PPGMAT 2006..pdf: 980989 bytes, checksum: f1926c139600c32faa072dcabfe92429 (MD5) / Made available in DSpace on 2018-07-09T18:31:20Z (GMT). No. of bitstreams: 1 ALUIZIO FREIRE DA SILVA JÚNIOR - DISSERTAÇÃO PPGMAT 2006..pdf: 980989 bytes, checksum: f1926c139600c32faa072dcabfe92429 (MD5) Previous issue date: 2006-03 / Capes / Este trabalho tem como objetivo estabelecer algumas técnicas de T-G aplicadas a alguns problemas da teoria dos grafos, como: o problema da existência de um 6-fluxo não-nulo, problemas relacionados a orientações acíclicas, coloração a duas variáveis, e percolação. Para isto, estaremos apresentando uma pequena introdução ao polinômio de Tutte para matróides com seus principais resultados. / This work has as objective to establish some T-G techniques applied to some problems of the graph theory, as: the problem of existence of a nowhere-zero 6-flow, problems concern to acyclic orientations, two-variable coloring, and percolation. To do this, we shall present a little introduction to Tutte polynomials to matroids with its main results.

Made available in DSpace on 2016-06-02T19:05:30Z (GMT). No. of bitstreams: 1 1904.pdf: 8596621 bytes, checksum: bb1a64e6ce17817f414ced4cd74b8404 (MD5) Previous issue date: 2006-08-17 / With the progress of the sequencing techniques and the inevitable increasing number of sequenced genomes, it becomes interesting studying computational techniques to analyze these data. One of the possible analyses refers to the extraction of functional and evolutionary characteristics of the studied organisms. Thus, in this line of research, this study is motivated in identifying common regions, in terms of the genes that they contain, in multiple proteomes that keep the order and the gene content. The problem is modeled with a colored graph, and the common regions between proteomes are like clicks in the graph. Using peculiarities of the constructed graph, an algorithm for search space reduction was developed, making it possible to get complete results in a short time. Therefore, the contribution of this work constitutes an approach to find common regions in multiple proteomes, added of an implementation from which the Multiple Proteome Comparison (MPC) tool originated. / Com o avanço das técnicas de seqüenciamento e o inevitável crescimento do número de genomas seqüenciados, torna-se necessário o uso de técnicas computacionais para analisar e gerenciar essa grande massa de dados. Uma das análises possíveis diz respeito à extração de características funcionais e evolutivas dos organismos estudados. Assim, nesta linha de pesquisa, este estudo preocupa-se em identificar regiões comuns, em termos dos genes que elas contêm, em múltiplos proteomas, que conservam a ordem e o conteúdo gênico. O problema é modelado com o auxílio de um grafo colorido, sendo que regiões comuns entre proteomas são como cliques no grafo. Aproveitando-se de peculiaridades do grafo construído, um algoritmo para redução do espaço de busca foi desenvolvido, possibilitando obter resultados completos em um pequeno espaço de tempo. Portanto, a contribuição deste trabalho constitui numa abordagem para encontrar regiões comuns em múltiplos proteomas, acrescida de uma implementação, que originou a ferramenta Multiple Proteome Comparison (MPC).

Made available in DSpace on 2015-06-20T02:07:16Z (GMT). No. of bitstreams: 1 000470809-Texto+Completo-0.pdf: 6861498 bytes, checksum: 8ff1a79ef3ddb913c671a8d1f821428d (MD5) Previous issue date: 2015 / With the use of resting state functional magnetic resonance imaging (rs-FMRI) we can analyze the functional connectivity between different brain areas. However, recent studies show that this connectivity undergoes fluctuations over time (also known as dynamic Resting State). In this study, the analysis of Graph Theoretical (GT) metrics will be used to assess the variability of the correlation between these areas, through a windowing technique. For this study, we used images of 15 patients with ADHD that underwent a clinical treatment with the medication (Ritalin®). Images were taken before treatment (Visit 1 - PRE) and after 6 months of treatment (Visit 2 - POST). We determined the GT metrics for windows between 75 and 150s generated from the correlation between the various groups after applying a mask that divided the brain into 190 regions. The results showed statistically significant differences between visits for the metric of the characteristic path length. Were also generated graphs that show the fluctuations of each of the metrics. GT analysis identified an increase in the average value of the characteristic path length after drug treatment for most patients. However, some patients behaved differently and therefore results are not conclusive. Furthermore, it was observed that there is a dependence of GT metrics based on the size of the window. Conclusion show that based on the analysis of the dynamics of the brain network by the GT metrics show to be an auxiliary tool in the diagnosis of ADHD, but still requires further studies to test the viability of this tool as a diagnostic test in neuroimaging. / Através da Ressonância Magnética Funcional no estado de repouso (RMf-er) podemos analisar a conectividade funcional entre as diversas áreas do cérebro. Entretanto, estudos recentes mostram que a correlação desta conectividade sofre flutuações ao longo do tempo (Dynamic Resting State). No presente trabalho, foi feita uma análise por intermédio de métricas da Teoria dos Grafos da variabilidade da correlação entre as áreas cerebrais através de técnicas de janelamento. Para este estudo, foram utilizadas imagens de 15 pacientes com transtorno de déficit de atenção com hiperatividade (TDAH) e que passaram por um tratamento clínico com o uso do medicamento (Ritalina®). As imagens de ressonância foram adquiridas antes do pré-tratamento (Visita 1 - PRÉ) e após 6 meses de tratamento (Visita 2 – PÓS). Foram desenvolvidas métricas de Teoria dos Grafos (TG) para janelas entre 75 e 150s geradas a partir da correlação entre as diversas regiões, após aplicar uma máscara que dividiu o cérebro em 190 áreas. Os resultados encontrados apresentaram dados estatisticamente relevantes para a métrica do comprimento do caminho característico. Foram gerados também gráficos que apresentam as flutuações de cada uma das métricas. Na análise dos gráficos foi possível identificar um aumento do valor médio do comprimento do caminho característico após o tratamento com o fármaco para a maioria dos pacientes. Entretanto, alguns pacientes tiveram comportamento oposto, não sendo portanto conclusivo. Além disso, observou-se que existe uma dependência das métricas de TG para a janela adotada. Concluiu-se, baseado nos dados encontrados, que a análise da dinâmica da rede cerebral pela métrica dos grafos é uma ferramenta auxiliar para o entendimento do comportamento funcional do cérebro e dos distúrbios, mas que ainda requer mais estudos para que venha a ser adotada como apoio ao diagnóstico em neuroimagem.

Orientador: Fabrício Aparecido Breve / Banca: Moacir Antonelli Ponti / Banca: Daniel Carlos Guimarães Pedronette / Resumo: As pesquisas realizadas para o Sequenciamento de Genomas, Proteômica, Sistemas Biológicos, Diagnósticos Médicos, entre outros, geram uma grande quantidade de dados, fazendo necessário o apoio de soluções computacionais para a análise e interpretação desses dados. A utilização de técnicas de Aprendizado de Máquina, para a extração de conhecimentos úteis dessas grandes quantidades de dados, tem sido amplamente discutida entre pesquisadores da Biologia e da Computação. O processo para se rotular todos os dados gerados pelas pesquisas biológicas, assim como em outras áreas, é difícil, caro e/ou demorado. Assim, buscar maneiras de se atingir uma grande acurácia com poucos dados rotulados torna-se uma tarefa importante e desafiadora. Nesse sentido, o Aprendizado SemiSupervisionado mostra-se como uma opção importante uma vez que utiliza dados rotulados e não rotulados para o treinamento, sendo uma categoria intermediária entre o Aprendizado Supervisionado e o Não Supervisionado. Diversas abordagens para algoritmos de Aprendizado Semi-Supervisionado são encontradas na literatura. Dentre elas, destacam-se os métodos baseados em grafos, que representam os dados de entrada como nós de um grafo cuja estrutura é utilizada para propagar informações de rótulos dos nós rotulados para os demais nós. Destaca-se ainda que a abordagem baseada em grafos possui uma grande fundamentação matemática e computacional. Nesse contexto, este trabalho apresenta uma análise comparativa de alguns algoritmos semi-supervisionados, baseados em grafos, quando aplicados a dados biológicos relacionados aos campos de estudos da Proteômica e Transcriptômica. Adicionalmente, o trabalho propõe um novo dataset com dados reais oriundos de pesquisas biológicas com o transcriptoma de formigas da espécie Mycocepurus goeldii. Alguns experimentos realizados com os algoritmos semi-supervisionados são apresentados, levando em consideração sua... / Abstract: Research conducted for the sequencing of genomes, Proteomics, Systems Biology, Medical Diagnostics, among others, generate a lot of data, making it necessary the support of computing solutions for the analysis and interpretation of such data. The possibility of using machine learning techniques to extract useful knowledge of these large amounts of data has been widely discussed among researchers of Biology and Computer Science. The process of labeling all data generated by biological research, as well as in other areas, is difficult, costly and / or time consuming. Thus, searching ways to achieve a high accuracy with few labeled data is an important and challenging task. Accordingly, the Semi-Supervised Learning shows up as an important option since it uses both labeled and unlabeled data for training, being an intermediate category between the Supervised and Unsupervised Learning. Several approaches to semi-supervised learning algorithms are found in the literature. Among them, the highlights are the graph-based methods, which represent the input data as nodes in a graph, which structure is used to propagate label information from labeled nodes to the other nodes. It is also noteworthy that the graph-based approach has a great mathematical and computational validity. In this context, this paper presents a comparative analysis of some semi-supervised algorithms based on graphs, when applied to biological data analysis related to the field of proteomics and transcriptomics studies. In addition, the paper proposes a new dataset with actual data from biological research with the transcriptome of the Mycocepurus goeldii species of ants. Some experiments performed with semi-supervised algorithms are presented, considering its efficacy when compared with a few supervised methods / Mestre

O problema de geração de estruturas de coalizão (CSG) envolve o particionamento do conjunto de agentes em todos os subconjuntos(ou, coalizões) possíveis. O que torna esse problema desafiador é o número de coalizões possíveis crescer exponencialmente a medida que novos agentes são inseridos, o número de coalizões é (2n − 1) onde n é o número de agentes. Entretanto, em muitas aplicações do mundo real, existem limitações inerentes nas coalizões possíveis: por exemplo, determinados agentes podem ser proibidos de estar na mesma coalizão, ou a estrutura de coalizão pode ser obrigada a conter coalizões do mesmo tamanho. Quando consideramos CSG restrito por grafos, onde a viabilidade de uma coalizão é restrita por um grafo de sinergia dos agentes, a complexidade computacional pode ser a mesma ou menor, dependendo do que se considera uma coalizão válida. Os grafos de sinergia são representações dos agentes como sendo os vértices e as suas relações são as arestas. Este trabalho é um estudo sobre a utilização de restrições envolvendo grafos como uma heurística sobre as coalizões para o problema enumeração de coalizão, de forma a considerar uma coalizão factível ou não de acordo com a densidade do subgrafo induzido pelos agentes. Os trabalhos atuais, que utilizam os grafos de restrição como heurística para reduzir a complexidade computacional, consideram uma coalizão válida somente se o subgrafo formado pelos agentes da coalizão é conexo. Verificou-se experimentalmente para grafos com a propriedade power law, comum em uma variedade de grafos reais, que restringir uma coalizão válida como sendo um subgrafo conexo pode não ser uma redução significativa. Entretanto a utilização de um subgrafo com restrições mais fortes, em particular uma clique garante uma redução exponencial do número de coalizões consideradas. Não existem teoremas que possam calcular qual a quantidade de subgrafos conexos ou mesmo o número de cliques em um grafo do tipo power law. No presente trabalho foi possível calcular experimentalmente para grafos power law com ate 17 vértices, sendo que também são apresentados resultados analíticos para grafos estrela (Kn−1,1 ). Os grafos estrela são uma aproximação aceitável, pois formam um hub, estrutura característica de grafos power law. Como trabalhos futuros podem ser citados: o mapeamento de domínios para os quais a restrição de clique seria adequada, além do desenvolvimento de um algoritmo que incorpore a restrição diretamente na contagem de coalizões validas. / The coalition structures generating problem (CSG) involves partitioning the set of agents in all possible subsets (or coalitions). What makes this problem challenging is the number of possible coalitions that grows exponentially as new agents are inserted. The number of coalitions is (2n − 1) where n is the number of agents. However, in many real-world applications, there are inherent limitations on possible coalitions: for example, some individuals may be prohibited from being in the same coalition or coalition structure may be required to contain coalitions of the same size. When we consider CSG restricted by graphs where the viability of a coalition is restricted by a synergy graph, the computational complexity can be maintained or eventually be smaller depending on what is considered a valid coalition. Synergy graphs are representations of the agents as being the vertices and their relationships are the edges. This work is a study on the use of restrictions involving graphs as a heuristic about coalitions for the problem coalition enumeration in order to consider a feasible coalition or not according to the density of the subgraph induced by the agents. Current works using the restriction graphs as heuristics to reduce the computational complexity, consider a coalition valid only if the subgraph formed by the agents of the coalition is connected. In this work it as experimentally verify for power law graphs, present in a variety of real graphs, that restricting availability coalition as a connected subgraph may in not prohibited a significant gain. However, they using a subgraphs with strong restrictions, in particular a clique, guarantees an exponential reduction in the number of considered coalition. There no are theorems calculate subgraphs or even the number of cliques on a type power law graph. In the present work it was possible to calculate values experimental for graphs of up to 17 vértices, being also presented analytics results for star graphs (Kn−1,1 ). Star graphs are an acceptable approximation, was they account for hubs, a characteristic structure of power law graphs. As future works can be cited the study of domains where the clique restriction is adequate as well as the development of an algorithm that incorporates the restriction for coalition counting.

Made available in DSpace on 2013-08-07T18:53:25Z (GMT). No. of bitstreams: 1 000389987-Texto+Completo-0.pdf: 1360851 bytes, checksum: d8bf43ca52fd146b24970288170182a3 (MD5) Previous issue date: 2007 / In the recent years, the society observes with enthusiasm the rapid proliferation of a vast diversity of embedded systems targeted to safe-critical applications like health-care systems, telecommunication, automotive and aerospace. As a consequence, besides the need for low-cost components, mainly memory, it is also mandatory the use of more robustness hardware and software parts that integrate these systems. Among the possible types of faults, those that change the control-flow of the processors that carry out embedded applications are focused on this work. Very often, these types of faults induce in catastrophic system failure. By catastrophic failure, we mean those faults that in addition to drive the system to an unexpected behavior, it is also needed to reinitialize the system to recover from the faulty state. Thus, the use of techniques capable of detecting these types of faults prevents them from spreading through the system and ultimately, generating incorrect outputs. Unfortunately, the use of fault detection techniques increase memory overhead and degrades system performance. These collateral effects may be critical, preventing real-time embedded systems from attaining their goals. As possible solutions to the mentioned problems, three hypotheses were investigated, and one of them was implemented. Therefore, this work proposes an approach based on software profiling that analyses the control-flow graph of applications, to optimize the number of checkpoints to be inserted along with the application code. In order to validate the proposed approach, we performed fault injection of three types of faults: jump, nop and bit-flips. This fault injection process was accelerated by means of hardware prototyping of the system. In this case, we used a FPGA (Field-Programmable Gate Array) mounted on a Xilinx commercial board. Detailed analysis of the obtained results indicates that the proposed approach reduces the number of checkpoints to be inserted along with the application code, thus, minimizing memory overhead and system performance degradation, while maintaining approximately unchanged the fault detection coverage, when compared to another existing approaches in the literature. / Nos últimos anos, observa-se com grande euforia o crescimento do mercado de sistemas embarcados nas áreas econômico-sociais de grande importância, tais como a saúde, telecomunicações, automotiva e aeroespacial, entre outras. Como conseqüência, exige-se maior robustez tanto do hardware quanto do software integrante destes sistemas, além de componentes de baixo custo, principalmente memória. Dentre os tipos possíveis de falhas, as falhas que alteram o fluxo de controle de processadores que executam aplicações embarcadas, por implicarem em quase sempre em falhas catastróficas do sistema, são focadas nesta dissertação. Por falhas catastróficas, entende-se como sendo aquelas falhas que além de induzir o sistema a produzir um comportamento diferente daquele esperado para a sua função, implicam na maioria das vezes também na reinicialização do sistema como forma de recuperação da falha. Assim, a utilização de técnicas capazes de detectar estes tipos de falhas evita que as mesmas se propaguem pelo sistema e acabem gerando saídas incorretas, pois tais falhas podem ser catastróficas para a segurança dos usuários e para a imagem e reputação das empresas. Porém, a utilização de técnicas de detecção de falhas gera um aumento na taxa de ocupação de memória do sistema, bem como provoca aumento da degradação de desempenho, o que pode ser considerado um fator crítico tratando-se de aplicações embarcadas de tempo-real. Como alternativa para minimizar estes fatores, três hipóteses foram investigadas, sendo uma delas implementada. Assim, nesta dissertação propõe-se uma abordagem baseada em software profiling que analisa o grafo de fluxo de controle da aplicação, visando à otimização do número de assinaturas (checkpoints) a serem inseridas no código-fonte. Para validar a abordagem proposta, foi realizada por simulação a injeção de três tipos de falhas: jump, nop e bit-flip, sobre diferentes programas aplicativos. Este processo de injeção de falhas foi acelerado via prototipagem do sistema em hardware, através do uso de um FPGA (Field-Programmable Gate Array) em uma placa comercial da Xilinx. A análise dos resultados obtidos indica que a técnica proposta reduz o número de assinaturas inseridas no código da aplicação, e portanto, minimizando o overhead de memória e a degradação do desempenho do sistema, ao passo que mantém aproximadamente inalterado nível de cobertura de falhas quando comparada a outras técnicas atualmente existentes na literatura.