Orientador: Rodolfo Jardim de Azevedo / Dissertação (mestrado profissional) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-08-07T21:54:34Z (GMT). No. of bitstreams: 1 Dangui_SandroCesca_M.pdf: 566039 bytes, checksum: 2efc3ec330aa3bd0ba98ce7ea3cb8ea5 (MD5) Previous issue date: 2006 / Resumo: O crescente aumento da necessidade de se colocar sistemas complexos inteiros dentro de um único chip para atender a demanda de criação de dispositivos cada vez menores, com mais funcionalidades e que precisam ser desenvolvidos cada vez mais rápido, torna necessário o uso de novas metodologias e técnicas de desenvolvimento e validação de sistemas. Barramentos são os elementos que interligam os dispositivos de um sistema. Para se aumentar a eficiência e rapidez no desenvolvimento de sistemas simulados, existe a necessidade do desenvolvimento de mecanismos que facilitem a criação, o uso e o teste de barramentos. Esse trabalho propõe um framework, modelado em alto nível (TLM) e baseado na linguagem SystemC, para auxiliar a criação de simuladores de barramentos. Esse trabalho descreve, detalhadamente, todas as classes e interfaces que compõem o framework proposto. Quatro barramentos, AMBA, Avalon, Wishbone e Coreconnect, foram estudados e são descritos nesse documento. Para dois dos barramentos estudados, AMBA-AHB e Avalon, foram desenvolvidos simuladores baseados no framework proposto. Como os simuladores para os barramentos AHB e Avalon são completamente funcionais e executáveis, esse trabalho também descreve, demonstra e analisa os resultados de experimentos executados com ambos os barramentos / Abstract: The system-on-chip era is creating new challenges to the system design. There is an increasing demand for smaller electronic devices with more features and reduced time to market. To face these new challenges is necessary to introduce new methodologies and development techniques. Buses are important elements for connecting devices in a complex system. To increase the efficiency and speed of systems development, it is important to introduce new mechanisms to help the creation and tests of buses. This document presents a framework based on SystemC language and implemented using the transaction level modeling (TLM). The framework goal is to help designers to create bus simulators. This document describes in detail all framework classes and interfaces. Four buses, Wishbone, Coreconnect, AMBA and Avalon are described along the text. Two specific buses, AMBA-AHB and Avalon, were fully implemented and have executable simulators. Tests were performed using these simulators, the test results and analysis are described in the end of this document / Mestrado / Engenharia de Computação / Mestre em Engenharia de Computação

Orientadores: Rangel Arthur, Jaime Frejlich / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Tecnologia / Made available in DSpace on 2018-08-27T09:07:10Z (GMT). No. of bitstreams: 1 Araujo_WilliamRobertode_M.pdf: 5397089 bytes, checksum: d2eae9ba62023ba097143f2d74e0fd24 (MD5) Previous issue date: 2015 / Resumo: Neste trabalho foi desenvolvido um instrumento capaz de realizar medidas em materiais fotossensíveis. Para estudar materiais fotossensíveis, por exemplo, o Bi12TO20, que em geral geram correntes muito baixas da ordem de dezenas de picoamperes, fez-se necessário obter um instrumento capaz de medir nessa ordem de grandeza e com baixo ruído. Para identificar estados localizados dentro do band gap de um semicondutor, que são gerados por defeitos estruturais, é necessário ter uma intensidade de luz com energia acima do nível de Fermi que consiga penetrar no semicondutor, e pelos testes realizados não foram facilmente detectados pela técnica convencional, fonte de luz branca seguida de um monocromador. O uso de LED (Light Emitting Diode) se mostrou promissor por ser barato e ter uma intensidade de luz muito maior que a luz monocromática produzida pelo monocromador. O instrumento possui um computador embarcado (Raspberry PI) que realiza o controle do hardware e possui uma interface Ethernet para conexão remota. O hardware é composto de: uma fonte de alimentação para controle da intensidade e modulação para os LEDs, um controle do posicionamento dos LEDs na amostra, um controle da fonte de alta tensão e um sistema de detecção síncrona para melhor coleta dos dados. Os testes realizados com amostra Bi12TO20 se mostrou compatível com resultados já apresentados pela literatura / Abstract: This work aims to an instrument to perform measurements in photosensitive materials. To study photosensitive materials, for example, Bi12TO20, it was necessary to obtain an instrument capable of measuring the scale and with low noise, which generally lead to very low currents on the order of tens of picoamperes. To identify located states within the band gap of a semiconductor, which structural defects are generated, it is necessary to have a light intensity with energy above the Fermi level can penetrate into the semiconductor, and the tests were not easily detected by the technique conventional white light source followed by a monochromator. The use of LED (Light Emitting Diode) has shown promise for being cheap and having a much higher light intensity that monochromatic light produced by the monochromator. The instrument has an embedded computer (Raspberry-PI) that performs hardware the control and an Ethernet interface for remote connection. The hardware is comprised of: a power supply for the control of intensity and modulation for the LED, a control of the positioning of LEDs on the sample, a high voltage supply control and a synchronous detection system for improved data acquisition. The results of performed tests with sample Bi12TO20 were compatible with results have been presented in the literature / Mestrado / Tecnologia e Inovação / Mestre em Tecnologia

Esta tese apresenta o protótipo de um sistema embarcado para veículos terrestres (automóveis, ônibus, caminhões) a partir de uma Central de Controle de Operações (CCO). Este sistema embarcado tem 3 funções básicas: 1) enviar dados de telemetria sobre o veículo (tal como a posição e velocidade do veículos obtidos de um receptor GPS, status de subsistemas do veículo, mensagens de alerta ou emergência) para a CCO, 2) enviar comandos a partir da CCO para algum subsistema do veículo (por exemplo, bloquear um veículo que saiu da rota), 3) permitir troca de mensagens de texto entre o condutor do veículo e o operador da CCO. Este protótipo tem a seguinte plataforma de hardware: 1) computador de bordo com processador Intel 386Ex; 2) uma placa de entradas e saídas digitais que atua como subsistemas do veículo; 3) um receptor GPS; 4) um palmtop que atua como interface com o condutor e 5) um modem GSM/GPRS. Para esta plataforma foram escolhidos o sistema operacional XDOS e o kernel eRTOS para suporte à programação multithreads. O compilador Borland C 4.51 foi utilizado como ferramenta de desenvolvimento. O software do sistema embarcado foi implementado baseado em threads com mecanismos de troca de mensagens e sincronização. As threads foram associadas aos componentes de hardware do sistema permitindo uma maior modularidade do sistema (facilidade para inserir ou retirar novos componentes de hardware através da inserção ou retirada de threads). O protótipo foi testado com uma versão simplificada da CCO. Os resultados demonstraram a estabilidade do software multithreads e o protótipo respondeu como esperado.

Entre as principais dificuldades do desenvolvimento de software de qualidade está a especificação e o projeto conceitual. Neste contexto, a modelagem de sistemas tem um papel importante, pois torna possível a análise das características do projeto e sua validação antes da fase de implementação. Esta tese aborda o problema de modelagem e análise do software embarcado de piloto automático de um VANT utilizando UML e a ferramenta CASE Rational Rose RealTime. A partir do modelo obtido são utilizadas três abordagens para sua análise e avaliação: (1) aplicação de um conjunto de métricas no código gerado pela ferramenta CASE; (2) integração do modelo implementado na ferramenta CASE com um simulador da dinâmica do VANT, desenvolvido em MatLab, de forma a verificar o comportamento do sistema em malha fechada; e (3) conversão do modelo em UML para redes de Petri, um formalismo matemático que permite a verificação formal de propriedades do sistema.

Projetos de sensores embarcados para a área aeroespacial freqüentemente são especificados tendo mente restrições de espaço e de consumo de potência, uso em ambiente hostil, e também a disponibilidade e confiabilidade dos componentes para integrar um sistema embarcado. Mais do que isso, a necessidade de serem processadas diversas funções de controle, demodulação/processamento de sinal, monitoração e registro, todas elas em tempo real, pode levar a um conflito com as exigências das severas especificações técnicas. A integração desejada fica normalmente a cargo do computador de bordo ou, para não haver sobrecarga do mesmo, a cargo de subsistemas locais microprocessados. O presente trabalho aborda o problema de gerenciamento de funções que é exigido de um bloco girométrico de três eixos tipo strap-down, usado para determinar a atitude de veículos em vôo, com relação a um referencial fixo na superfície da Terra. E centra no caso particular de girômetros a fibra óptica, que possuem componentes ópticos e a fibra óptica, eletrônica analógica e digital própria, interfaces e mecânica fina de sustentação do conjunto. A relevância de tal dispositivo reside na impossibilidade de se fazer navegação precisa de um veículo por meios inerciais sem um conjunto girométrico de alta precisão. Para isso, o controle dos parâmetros ópticos e eletrônicos em tempo real é vital, e também o é a geração de sinais de modulação para a fase óptica e o posterior processamento de sinal dos fotodetectores, de modo a se extrair a taxa de rotação a que o veículo está sendo submetido na sua trajetória. Além disso, a monitoração e o registro de variáveis vitais permitem cumprir o ciclo de maturação desta tecnologia sensível durante ensaios em vôo. O presente trabalho apresenta o estudo e a implementação de redes de microcontroladores de pequeno tamanho para a execução destas funções, utilizando uma topologia especial para reduzir o tamanho de circuito e dos barramentos, analógico e digital, com o benefício da redundância que tal implementação permite. Para tal, discute-se inicialmente os pontos técnicos importantes de hardware e de programação demonstrando as dificuldades de implementação em um sistema monoprocessado. Posteriormente mostra-se a solução empregada utilizando rede de microcontroladores, descrevendo as tarefas dos seus diversos integrantes, bem como os resultados obtidos. E, por último, são apresentadas as considerações finais sobre o tema abordado nesta tese.

Os dispositivos eletrônicos, diariamente, estão presentes na vida dos seres humanos. Também encontrados em automóveis, onde recebem a denominação de Autotrônica, seu uso vem aumentando a cada modelo de veículo lançado no mercado. Esses dispositivos vêm apresentando funcionalidades mais complexas e críticas. Alguns dos dispositivos autotrônicos precisam reagir em Tempo-Real a estímulos determinísticos oriundos de outros sistemas embarcados no veículo. Por isso são classificados de Sistemas de Tempo-Real Autotrônicos, e se utilizam de software e hardware para cumprirem seus requisitos específicos. A fim de manter seus custos nos patamares mais baixos possíveis, alguns desses dispositivos autotrônicos se utilizam de hardware com baixo poder computacional, possuindo recursos mínimos, necessários e suficientes para realizarem suas missões. Com isso, cada vez mais, se faz necessário o desenvolvimento de softwares, para serem embarcados nesses hardwares, com maior qualidade, confiabilidade e segurança (safety). Projetistas, desenvolvedores e engenheiros atuantes nessa área, buscam, projeto a projeto, modelos mais eficientes para o desenvolvimento desses softwares. Atualmente, a utilização dos conhecimentos e modelos de desenvolvimento trazidos da Engenharia de Software para os sistemas de software autotrônicos, tais como utilização da Unified Modeling Language - UML e ferramentas de Model Driven Development - MDD, é pouco explorada na área, principalmente, devido à possibilidade de causar desperdício de recursos em hardware e atrasos no desenvolvimento do produto. Este trabalho de pesquisa apresenta uma proposta alternativa às abordagens tradicionais, para o desenvolvimento desses sistemas, através de um Modelo de Desenvolvimento para Sistemas de Software Autotrônicos MODDESSA. Com sua aplicação, foi possível se embarcar esses sistemas em hardware com baixo poder computacional utilizando os principais conceitos da UML, técnicas de Modelagem para a Programação Baseada em Objetos - PBO, ferramentas de MDD e técnicas pertinentes para se automatizar o processo de geração do código do software aplicativo, sem utilizar um Sistema Operacional de Tempo Real - SOTR, obtendo-se um estudo de caso contendo 3 (três) experimentos aplicáveis na área da autotrônica.

Este trabalho consiste no desenvolvimento de uma plataforma dedicada para a implementação de sistemas de controle longitudinal para o Boeing 747-400, utilizando diferentes topologias para a malha de controle. Inicialmente são estudados os conceitos de movimentação longitudinal para um corpo rígido, determinando o modelo aerodinâmico longitudinal completo e também os modelos aproximados para o período curto e longo de uma aeronave genérica. Usando os coeficientes de estabilidade e as derivadas longitudinais do Boeing 747-400, foram determinadas as equações dinâmicas para este avião. Conhecendo as equações dinâmicas para o Boeing 747-400 os controladores foram projetados usando duas topologias distintas de malha de controle. A malha de controle longitudinal composta por uma realimentação de taxa de arfagem é a topologia mais abordada neste trabalho. Utilizando esta abordagem foram projetados os controladores contínuos de altitude e velocidade vertical. Uma outra forma abordada para o projeto dos controladores contínuos de altitude e velocidade vertical, é feita substituindo a malha interna de taxa de arfagem por um sistema de compensação contínua, no qual será usado para estabilizar a resposta de saída da malha interna de controle do ângulo de arfagem. Os controladores contínuos projetados foram devidamente discretizados. As equações de diferença obtida no processo de discretização foram utilizadas para a implementação dos controladores no microprocessador Rabbit 2000. Os controladores digitais implementados no Rabbit 2000 são testado, verificado e validado usando o Boeing 747-400 disponível no simulador de vôo X-Plane. A interação entre o hardware dedicado e o PC portado pelo X-Plane é feita através do envio e recebimento de pacotes de dados por meio do módulo de comunicação Ethernet (TCP/IP) através do protocolo UDP (Uniform Datagram Protocol) disponíveis em ambos os sistemas. Os resultados obtidos nestes ensaios são comparados com os resultados das simulações do sistema de controle longitudinal usando os controladores projetados e as equações dinâmicas do Boeing 747-400 implementadas no MATLAB/SIMULINK.

Entre as principais dificuldades do desenvolvimento de software embarcado crítico e de tempo real está a especificação e o processo de verificação e validação apoiado ao projeto conceitual. Neste contexto, a modelagem de sistemas tem uma importante função, uma vez que um processo complexo possa ser analisado e validado antes de sua real implementação. Esta dissertação aborda o problema de verificação e validação de software embarcado de um satélite com configuração ACDH (Attitude Control and Data Handling) através de uma plataforma aerosuspensa com um grau de liberdade, utilizando a SysML, a ferramenta CASE TELELOGIC Rhapsody e a orientação das normas da ECSS (European Cooperation on Space Standardization). A partir do modelo obtido, são utilizadas três abordagens para análise e avaliação: (1) Especificação e gerenciamento dos requisitos, através dos conceitos determinados pela ECSS; (2) Modelagem do sistema e verificação dos requisitos, através do formalismo matemático dos autômatos utilizando a técnica de model checking através da ferramenta UPPAL; (3) Conversão do modelo em SysML, aplicando a Engenharia de Requisitos e o processo de verificação e validação do sistema, através da simulação na ferramenta CASE.

Este trabalho apresenta um pacote computacional, desenvolvido para a identificação de parâmetros de sistemas lineares multivariáveis, representados por equações a diferenças. O pacote possui flexibilidade para a estimação dos parâmetros, na presença de ruídos correlacionados. Os parâmetros são estimados utilizando os algoritmos de Mínimos Quadrados e Mínimos Quadrados Parcionado, em suas versões recursivas. Os dados de entrada/saída podem ser obtidos por simulação ou por aquisição de dados. O pacote permite o emprego da técnica de Monte Carlo para a análise estatística das estimativas. Exemplos de sistemas simulados são exaustivamente testados na validação dos algoritmos. É proposto um esquema, utilizando o pacote, para a obtenção das derivadas de estabilidade e controle de aeronaves.

Com o objetivo de desenvolver eficientemente sistemas conexionistas úteis para a solução de problemas do mundo real, se faz necessária a utilização de ferramentas que facilitem a manipulação de diversos aspectos envolvidos na construção destes sistemas tais como: topologia, métodos e parâmetros de treinamento, processamento de dados de entrada/saída e análise de resultados e desempenho. Nesta dissertação será apresentado um ambiente que utiliza uma arquitetura cliente/servidor para desenvolvimento de sistemas conexionistas denominado Servidor Aniel. Serão detalhados os módulos que compõem o servidor em termos funcionais e quais as necessidades das aplicações clientes para sua utilização.