Submitted by Automa??o e Estat?stica (sst@bczm.ufrn.br) on 2016-03-22T00:23:25Z No. of bitstreams: 1 JulioCesarPaulinoDeMelo_TESE.pdf: 6225548 bytes, checksum: 626c81149f01a851ae8666c050dac932 (MD5) / Approved for entry into archive by Arlan Eloi Leite Silva (eloihistoriador@yahoo.com.br) on 2016-03-22T22:50:30Z (GMT) No. of bitstreams: 1 JulioCesarPaulinoDeMelo_TESE.pdf: 6225548 bytes, checksum: 626c81149f01a851ae8666c050dac932 (MD5) / Made available in DSpace on 2016-03-22T22:50:30Z (GMT). No. of bitstreams: 1 JulioCesarPaulinoDeMelo_TESE.pdf: 6225548 bytes, checksum: 626c81149f01a851ae8666c050dac932 (MD5) Previous issue date: 2015-05-29 / Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior - CAPES / Esta Tese tem como objetivo desenvolver e implementar uma arquitetura para suporte a sistemas de Hardware Auton?micos, capaz de gerenciar o hardware em opera??o em dispositivos reconfigur?veis. A arquitetura proposta implementa mecanismos para manipula??o, gera??o e comunica??o de arquiteturas de hardware, usando a metodologia de Reposit?rio Ativo orientado a Contexto. A solu??o consiste no desenvolvimento de uma arquitetura de Hardware-Software denominada Autonomic Hardware Manager, que cont?m um Reposit?rio Ativo de Componentes de Hardware. Usando o reposit?rio, a arquitetura se encarregar? de gerenciar os sistemas embarcados conectados durante sua opera??o, possibilitando a implementa??o de caracter?sticas auton?micas como auto-gerenciamento, autootimiza??o, auto-descri??o e auto-configura??o. A arquitetura proposta contempla tamb?m um metamodelo para representa??o do Contexto de Opera??o de sistemas de hardware. Esse metamodelo servir? de base para o desenvolvimento dos m?dulos de sensibilidade ao contexto, previstos na arquitetura do reposit?rio ativo. Para fins de demonstra??o do funcionamento da arquitetura proposta, experimentos foram realizados com vistas a comprovar as hip?teses de pesquisa e alcan?ar cada objetivo desta tese. Tr?s experimentos foram planejados e executados: o Hardware Reconfigurable Filter, que consiste em uma aplica??o que implementa Filtro Digitais atrav?s de hardware reconfigur?vel; o Autonomic Image Segmentation Filter, que apresenta o projeto e implementa??o de uma aplica??o auton?mica de segmenta??o de processamento de imagens; por fim, o Autonomic Auto Pilot aplica??o que consiste de um piloto autom?tico para ve?culos a?reos n?o tripulados. Neste trabalho, a arquitetura das aplica??es foi organizada em m?dulos, de acordo com as suas funcionalidades. Alguns destes m?dulos foram reimplementados em HDL e sintetizados em hardware. Outros m?dulos foram mantidos em software. Em seguida, a aplica??es s?o integradas com o reposit?rio AHM para possibilitar a sua adapta??o aos diferentes contextos de opera??o, tornando-as auton?micas. / This Thesis main objective is to implement a supporting architecture to Autonomic Hardware systems, capable of manage the hardware running in reconfigurable devices. The proposed architecture implements manipulation, generation and communication functionalities, using the Context Oriented Active Repository approach. The solution consists in a Hardware-Software based architecture called "Autonomic Hardware Manager (AHM)" that contains an Active Repository of Hardware Components. Using the repository the architecture will be able to manage the connected systems at run time allowing the implementation of autonomic features such as self-management, self-optimization, self-description and self-configuration. The proposed architecture also contains a meta-model that allows the representation of the Operating Context for hardware systems. This meta-model will be used as basis to the context sensing modules, that are needed in the Active Repository architecture. In order to demonstrate the proposed architecture functionalities, experiments were proposed and implemented in order to proof the Thesis hypothesis and achieved objectives. Three experiments were planned and implemented: the Hardware Reconfigurable Filter, that consists of an application that implements Digital Filters using reconfigurable hardware; the Autonomic Image Segmentation Filter, that shows the project and implementation of an image processing autonomic application; finally, the Autonomic Autopilot application that consist of an auto pilot to unmanned aerial vehicles. In this work, the applications architectures were organized in modules, according their functionalities. Some modules were implemented using HDL and synthesized in hardware. Other modules were implemented kept in software. After that, applications were integrated to the AHM to allow their adaptation to different Operating Context, making them autonomic.

Made available in DSpace on 2014-12-17T15:47:51Z (GMT). No. of bitstreams: 1 ClevertonHA.pdf: 1775580 bytes, checksum: 9e49f67c9b7fbb459e2b24f568db691b (MD5) Previous issue date: 2010-03-01 / Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior / Some programs may have their entry data specified by formalized context-free grammars. This formalization facilitates the use of tools in the systematization and the rise of the quality of their test process. This category of programs, compilers have been the first to use this kind of tool for the automation of their tests. In this work we present an approach for definition of tests from the formal description of the entries of the program. The generation of the sentences is performed by taking into account syntactic aspects defined by the specification of the entries, the grammar. For optimization, their coverage criteria are used to limit the quantity of tests without diminishing their quality. Our approach uses these criteria to drive generation to produce sentences that satisfy a specific coverage criterion. The approach presented is based on the use of Lua language, relying heavily on its resources of coroutines and dynamic construction of functions. With these resources, we propose a simple and compact implementation that can be optimized and controlled in different ways, in order to seek satisfaction the different implemented coverage criteria. To make the use of our tool simpler, the EBNF notation for the specification of the entries was adopted. Its parser was specified in the tool Meta-Environment for rapid prototyping / Alguns programas podem ter sua entrada formalizada atrav?s de gram?ticas livres de contexto. Esta formaliza??o facilita a utiliza??o de ferramentas na sistematiza??o e na eleva??o da qualidade do seu processo de teste. Dentro desta categoria de programas os compiladores foram os primeiros a utilizar este tipo de ferramenta para a automa??o de seus testes. Neste trabalho apresentamos uma abordagem para a defini??o de testes a partir da descri??o formal das entradas do programa. A gera??o das senten?as ? realizada levando em considera??o aspectos sint?ticos definidos pela especifica??o da entrada, a gram?tica. Por quest?es de otimiza??o s?o utilizados crit?rios de cobertura para limitar a quantidade de testes sem diminuir a sua qualidade. Nossa abordagem utiliza estes crit?rios no direcionamento da gera??o de maneira a produzir senten?as que satisfa?am um crit?rio de cobertura especifico. A abordagem apresentada se baseia na utiliza??o da linguagem Lua, se apoiando fortemente em seus recursos de corotinas e constru??o din?mica de fun??es. Com estes recursos, propomos uma implementa??o compacta e simples que pode ser otimizada e controlada de formas variadas, com o intuito de buscar a satisfa??o dos diferentes crit?rios de cobertura implementados. Para tornar simples o uso de nossa ferramenta foi adotada a nota??o EBNF para a especifica??o das entradas. O seu parser foi especificado na ferramenta Meta-Environment por esta favorecer a r?pida prototipa??o