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.

Submitted by Automa??o e Estat?stica (sst@bczm.ufrn.br) on 2017-08-14T11:29:03Z No. of bitstreams: 1 EvertonRaniellyDeSousaCavalcante_TESE.pdf: 7986753 bytes, checksum: c7cc344a4f7c9cbaa61e56bb4d270735 (MD5) / Approved for entry into archive by Arlan Eloi Leite Silva (eloihistoriador@yahoo.com.br) on 2017-08-14T11:41:59Z (GMT) No. of bitstreams: 1 EvertonRaniellyDeSousaCavalcante_TESE.pdf: 7986753 bytes, checksum: c7cc344a4f7c9cbaa61e56bb4d270735 (MD5) / Made available in DSpace on 2017-08-14T11:42:00Z (GMT). No. of bitstreams: 1 EvertonRaniellyDeSousaCavalcante_TESE.pdf: 7986753 bytes, checksum: c7cc344a4f7c9cbaa61e56bb4d270735 (MD5) Previous issue date: 2016-06-10 / Conselho Nacional de Desenvolvimento Cient?fico e Tecnol?gico (CNPq) / Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior (CAPES) / Arquiteturas de software exercem um papel significativo no desenvolvimento de sistemas intensivos de software a fim de permitir satisfazer tanto requisitos funcionais quanto n?ofuncionais. Em particular, arquiteturas de software din?micas t?m surgido para endere?ar caracter?sticas dos sistemas contempor?neos que operam em ambientes din?micos e consequentemente sujeitos a mudan?as em tempo de execu??o. Linguagens de descri??o arquitetural (ADLs) s?o utilizadas para representar arquiteturas de software, produzindo modelos que podem ser utilizados tanto em tempo de projeto quanto em tempo de execu??o. Contudo, a maioria das ADLs existentes possui limita??es em diversos aspectos: (i) possui enfoque em aspectos estruturais, topol?gicos da arquitetura; (ii) n?o prov? um suporte adequado ? representa??o de aspectos comportamentais da arquitetura; (iii) n?o permite descrever aspectos avan?ados relativos ? din?mica da arquitetura; (iv) ? limitada com rela??o ? verifica??o de propriedades arquiteturais e restri??es, e; (v) ? desconectada do n?vel de implementa??o, resultando em inconsist?ncias entre arquitetura e implementa??o. No intuito de endere?ar esses problemas, esta tese prop?e um framework formal para arquiteturas de software din?micas. Tal framework envolve: (i) ?-ADL, uma linguagem formal para descrever arquiteturas de software sob as perspectivas estrutural e comportamental; (ii) a especifica??o de opera??es de reconfigura??o din?mica programada; (iii) a gera??o autom?tica de c?digo fonte a partir de descri??es arquiteturais, e; (iv) uma abordagem baseada em verifica??o estat?stica (SMC) para expressar e verificar formalmente propriedades em arquiteturas de software din?micas. As principais contribui??es trazidas pelo framework proposto s?o quatro. Primeiro, a linguagem ?-ADL passou a ser dotada de primitivas de n?vel arquitetural para descrever reconfigura??es din?micas programadas. Segundo, descri??es arquiteturais em ?-ADL s?o traduzidas para c?digo fonte de implementa??o na linguagem de programa??o Go, contribuindo assim para minimizar desvios arquiteturais. Terceiro, uma nova l?gica chamada DynBLTL ? utilizada para expressar formalmente propriedades em arquiteturas de software din?micas. Quarto, um ferramental baseado em SMC foi constru?do para automatizar verifica??o de propriedades arquiteturais enquanto busca reduzir esfor?o, recursos computacionais e tempo para realizar essa tarefa. Neste trabalho, dois sistemas baseados em redes de sensores sem fio s?o utilizados para validar os elementos do framework. / Software architectures play a significant role in the development of software-intensive systems in order to allow satisfying both functional and non-functional requirements. In particular, dynamic software architectures have emerged to address characteristics of the contemporary systems that operate on dynamic environments and consequently subjected to changes at runtime. Architecture description languages (ADLs) are used to represent software architectures, producing models that can be used at design time and/or runtime. However, most existing ADLs have limitations in several facets: (i) they are focused on structural, topological aspects of the architecture; (ii) they do not provide an adequate support for representing behavioral aspects of the architecture; (iii) they do not allow describing advanced aspects regarding the dynamics of the architecture; (iv) they are limited with respect to the automated verification of architectural properties and constraints; and (v) they are disconnected from the implementation level, thus entailing inconsistencies between architecture and implementation. In order to tackle these problems, this thesis proposes formally founded framework for dynamic software architectures. Such a framework comprises: (i) ?-ADL, a formal language for describing software architectures under both structural and behavioral viewpoints; (ii) the specification of programmed dynamic reconfiguration operations; (iii) the automated generation of source code from architecture descriptions; and (iv) an approach based on statistical model checking (SMC) to formally express and verify properties in dynamic software architectures. The main contributions brought by the proposed framework are fourfold. First, the ?-ADL language was endowed with architectural-level primitives for describing programmed dynamic reconfigurations. Second, architecture descriptions in ?- ADL are translated towards implementation source code in the Go programming language, thereby contributing to minimize architectural drifts. Third, a novel logic, called DynBLTL, is used to formally express properties in dynamic software architectures. Fourth, a toolchain relying on SMC was built to automate the verification of architectural properties while striving to reduce effort, computational resources, and time for performing such a task. In this work, two wireless sensor network-based systems are used to validate the framework elements.