Dentro do contexto de aquisição dos dados de testes, de preparação para lançamento e de vôo, para a verificação de funcionamento dos equipamentos e a validação de modelos matemáticos utilizados no projeto do Veículo Lançador de Satélites (VLS-1), este trabalho apresenta uma técnica para processamento de dados das medidas de sensores embarcados, a ser implementada em uma estação de solo. Nessa técnica, é verificado o desempenho de vários métodos utilizados na geração das curvas de ajustes. A avaliação do desempenho de um método é prejudicada em medidas com incertezas, devido ao valor verdadeiro ser desconhecido. Para tal, são realizadas simulações com medidas teóricas acrescidas de incertezas, considerando média nula e desvios padrões de sensores reais, obtidos através dos dados de calibração de laboratório. Desse modo, pode-se selecionar o método que apresenta melhor desempenho para os dados simulados. O desempenho é avaliado através do desvio padrão e do coeficiente de correlação, entre as medidas estimadas pelos métodos aplicados e as medidas verdadeiras teóricas. Os resultados são apresentados através de um benchmark. O método selecionado varia em função da configuração de monitoramento empregada e da característica do elemento sensor, denominadas padrão de monitoramento. Diante de inúmeros padrões de monitoramentos, este trabalho apresenta a aplicação dessa técnica em dois padrões de monitoramentos, sendo utilizados em casos reais para a avaliação dos resultados.

O processo de simulação discreta compreende três passos: o estudo do sistema real a ser simulado e sua modelagem, a implementação do modelo obtido usando um ambiente gráfico ou uma linguagem de programação e a execução da simulação seguida da obtenção de resultados. Em geral, no processo de simulação colaboram diversos participantes com especialidades variadas, desde o cliente até o programador. Para que o processo seja eficiente, são necessárias interações entre eles. Contudo, os participantes, em geral, se localizam geograficamente distribuídos, ocasionando, assim, grandes custos para a realização de reuniões. Neste trabalho apresenta-se um ambiente de simulação que permite a colaboração entre os diversos participantes de um projeto por meio da WWW com a utilização de navegadores comuns. Para tanto, foi utilizada a linguagem Java, pois a maioria dos navegadores permite a excução de applets Java, independentemente da plataforma utilizada pelo usuário. O ambiente proposto, denominado GroupSim (Groupware para Simulação), não permite apenas a especificação do modelo, mas também sua execução e a geração de relatórios associados. Para permitir e execução da simulação a partir da especificação produzida, define-se uma linguagem de modelagem baseada em ACD, por este ser de grande disseminação na comunidade de simulação. Esta linguagem é mapeada para um conjunto de classes orientada a objetos, que são utilizadas para construir automaticamente um programa de simulação, permitindo elimenar completamente a tarefa de programação. São apresentados estudo de caso que comprovam a viabilidade do ambiente apresentado bem elucidam algumas de suas limitações.

Este trabalho apresenta os resultados da avaliação experimental da cobertura e latência dos mecanismos de detecção de erros implementados no computador de bordo do Satélite de Sensoriamento Remoto (SSR), desenvolvido pelo Instituto Nacional de Pesquisas Espaciais (INPE). A avaliação foi obtida usando a ferramenta de injeção de falhas físicas RIFLE, sendo adaptado ao computador do SSR através de um novo Módulo de Adaptação. A injeção de falhas consiste na emulação de falhas de curta duração (um ciclo de memória) nos pinos do processador. Dois conjuntos de experiências foram realizados: o primeiro conjunto de falhas foi injetado com uma distribuição aleatória ao longo do código do programa e o segundo ao longo do tempo de execução. Além dos mecanismos de detecção de erros originalmente implementados, foi proposto e avaliado um novo mecanismo de detecção de erros. Este novo mecanismo foi implementado exclusivamente por software. Em função da distribuição de falhas, foi obtida uma cobertura de 16,1% a 56,4%, apresentando uma baixa latência. Uma análise do impacto das falhas no sistema também é apresentado. Esta análise mostrou que 41,3% a 83,4% das falhas não apresentaram nenhum impacto macroscópico no comportamento do sistema e os erros causados por essas falhas foram "overwritten" ou descartados em conseqüência da execução normal do programa. Uma pequena percentagem de falhas (9,1% a 6,2%) causou erro no resultado produzido. Assumindo que todas as falhas detectadas podem ser recuperadas pelos mecanismos de recuperação (não desenvolvidos até o momento), acredita-se que o sistema possa tolerar de 93,8% a 99,9% das falhas transitórias.

Apesar da crescente importância dos Sistemas Computadorizados na Sociedade Moderna, ainda não se tem notícia da existência de uma metodologia consagrada para o Desenvolvimento de Softwares Críticos Embarcados Aeroespaciais, que seja capaz de propiciar aumento nos níveis de Segurança de Software e evitar o desperdício de recursos. Este Trabalho de Pesquisa consiste da elaboração de uma nova Metodologia para o Desenvolvimento de Softwares Críticos Embarcados Aeroespaciais - SCEA's com Garantia de Segurança, levando-se em consideração as suas características peculiares, e propiciando-se um aumento nos níveis de Segurança de Software, desde o início de seu ciclo de desenvolvimento. Inicialmente, realizou-se uma pesquisa bibliográfica envolvendo o conhecimento atual das áreas de Segurança de Software e de Desenvolvimento de SCEA. Em seguida, apresentou-se uma discussão a respeito das formas utilizadas atualmente para se garantir a Segurança desse tipo de Software. Após isso, apresenta-se uma nova Metodologia, desenvolvida a partir da integração de uma Sistemática para a Garantia de Segurança de Software com a Técnica de Modelagem de Objetos (Object Modeling Technique - OMT), utilizando-se o padrão de Linguagem Unificada para Modelagem (Unified Modeling Language - UML). Ao final, um Estudo de Caso é utilizado para avaliar o emprego da Metodologia proposta de Desenvolvimento do SCEA no Projeto do Veículo Experimental Carro Anfíbio Voador TRIPHIBIUS. Isto foi executado na fase inicial do desenvolvimento do Projeto no Instituto Tecnológico de Aeronáutica - ITA. Pesquisas futuras apontam para aspectos ainda não consolidados da Segurança de Software, principalmente quanto à criação de: métricas para avaliação quantitativa da Segurança de Software; estratégias para a realização dos Testes Funcionais; e novas técnicas para Análise de Segurança dos SCEA's, que sejam mais apropriadas às suas características.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pòs-graduação em Engenharia de Automação e Sistemas / Made available in DSpace on 2012-10-24T17:11:58Z (GMT). No. of bitstreams: 1 268492.pdf: 2027637 bytes, checksum: 7c5542f8bdacb74b8e19ba630b5386c8 (MD5) / Esta dissertação apresenta uma plataforma hardware e software adequada ao desenvolvimento de aplicações de controle tempo real embarcado. Além da plataforma em si, são apresentadas e discutidas as principais etapas de desenvolvimento de um SCTRE, onde são ressaltados os modelos computacionais que representam sub-partes do sistema a ser projetado e as ferramentas utilizadas em todo o processo. O trabalho também faz um levantamento sobre alguns sistemas operacionais de tempo real, protocolos de redes e outras ferramentas que podem auxiliar o desenvolvimento de aplicações de controle embarcado. Nesse sentido, desenvolveu-se um estudo de caso para o controle de seguimento de trajetória aplicado à manobras de estacionamento visando o estudo detalhado de cada etapa apresentada e as principais características das ferramentas escolhidas. O projeto consiste então de um sistema de estacionamento autônomo, onde são realizados o controle de velocidade e direção do veículo projetados e analisados em simulações computacionais. Para a realização de testes do sistema, visando a uma aplicação real, instrumentou-se um veículo protótipo de modo a ser possível observar detalhes construtivos da aplicação e validar os modelos e projetos de controle desenvolvidos. Por fim, foram realizadas filmagens que constatam a operacionalidade do sistema de estacionamento.

Submitted by Maykon Nascimento (maykon.albani@hotmail.com) on 2016-05-12T18:54:15Z No. of bitstreams: 2 license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) Dissertacao Diego Mafioletti.pdf: 3702852 bytes, checksum: 6f58b3bb600eedaceeb437d10afde1f9 (MD5) / Approved for entry into archive by Patricia Barros (patricia.barros@ufes.br) on 2016-05-13T16:00:16Z (GMT) No. of bitstreams: 2 license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) Dissertacao Diego Mafioletti.pdf: 3702852 bytes, checksum: 6f58b3bb600eedaceeb437d10afde1f9 (MD5) / Made available in DSpace on 2016-05-13T16:00:16Z (GMT). No. of bitstreams: 2 license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) Dissertacao Diego Mafioletti.pdf: 3702852 bytes, checksum: 6f58b3bb600eedaceeb437d10afde1f9 (MD5) / Redes Definidas por Software (SDN) prometem um caminho tecnológico para fortalecer os usuários com habilidade de inovar em suas redes. Porém, a diversidade de switches de rede que suportam SDN ainda é um obstáculo para os engenheiros de rede dispostos a desenvolver aplicações inovadoras devido à implementação do hardware ser fechada e proprietária. Essa diversidade implica em desafios significantes no controle dos switches SDN e o desenvolvimento de aplicações SDN de alta performance, o que não contempla um dos pilares de SDN: permitir a pesquisa e inovação em redes de computadores. A proposta deste trabalho é explorar o limite de alguns equipamentos commodities de rede, tal como o switch Mikrotik RouterBoard, no qual seu firmware original é substituído pelo OpenWRT, uma distribuição baseada no GNU Linux, juntamente com o Open vSwitch (OvS), um switch virtual de código aberto independente de hardware, para a criação de um novo ambiente para experimentação em redes de computadores. Como prova de conceito, o protótipo foi implementado em switches comerciais de baixo custo, conduzindo experimentos com o objetivo de analisar certas características do protocolo OpenFlow portadas nestes equipamentos, como quantidade máxima de entradas na tabela de fluxo, a vazão de dados possível utilizando tamanhos variados de pacotes de rede, comparando seus resultados com a implementação original disponibilizada pelo fabricante e a influência da utilização da CPU do switch no resultado. Por fim, foi construído um switch com balanceamento de carga estocástico utilizando tabelas de grupos, um recurso disponível no OpenFlow a partir da versão 1.2, que somente foi possível graças à natureza de código fonte aberto das ferramentas escolhidas. Esta combinação de plataformas abertas representa um passo natural no desenvolvimento, implementação, e avaliação de aplicações SDN. / Software Defined Network (SDN) promises a technological path to empower users with the ability to innovate in their networks. However, the diversity of network switches supporting SDN are still roadblocks for network engineers willing to develop innovative applications due to the closed and proprietary hardware implementation. This diversity leads to significant challenges in the control of SDN switches and the development of high performance SDN applications, hampering the core proposal of SDN: to enable fast innovation in real networks. The proposal of this work is to explore the limits of some commodity network hardware, such as Mikrotik RouterBoard switch, in which its proprietary firmware was replaced by the OpenWRT, a distribution based on GNU Linux, together with the Open vSwitch (OvS), a hardware-agnostic open source virtual switch, to create a new environment for experimentation in computer networking. As proof of concept, the prototype was implemented in low cost commercial switches, conducting experiments in order to analyze certain features of the OpenFlow protocol ported in these equipment, such as maximum number of entries in the flow table, the data plane performance using different sizes of network packets, comparing their results with the original implementation provided by the manufacturer and the influence of switch CPU utilization in the result. This combination of open platforms represent a natural step in the development, deployment, and evaluation of SDN applications.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnologico / Made available in DSpace on 2016-01-08T19:53:19Z (GMT). No. of bitstreams: 1 99227.pdf: 1448705 bytes, checksum: a068a40fabbc7b22d1abb1d08aac8dd3 (MD5) Previous issue date: 1995 / Projeto e implementação de um sistema operacional para multicomputador, fundamentado no modelo cliente-servidor, com micronúcleo distribuído e interface de programação compatível com a do sistema Unix, objetivando a exploração do paralelismo a nível de aplicações e de sistemas. Construção de um simulador multiprogramado para um multicomputador com rede de interconexão dinâmica, objetivando servir como plataforma para a implementação do sistema operacional proposto.Projeto e implementação de um sistema operacional para multicomputador, fundamentado no modelo cliente-servidor, com micronúcleo distribuído e interface de programação compatível com a do sistema Unix, objetivando a exploração do paralelismo a nível de aplicações e de sistemas. Construção de um simulador multiprogramado para um multicomputador com rede de interconexão dinâmica, objetivando servir como plataforma para a implementação do sistema operacional proposto.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Ciência da Computação. / Made available in DSpace on 2012-10-20T22:06:52Z (GMT). No. of bitstreams: 1 203412.pdf: 421299 bytes, checksum: 51c6c20a8db8d929a6e24bf29936e52a (MD5) / A utilizaçao de sistemas computacionais vem obtendo grande abrangencia nas mais diversas areas de conhecimento. Dentre as atividades a que estes podem estar relacionados, existem aquelas que possuem alguns requisitos temporais. Os sistemas de tempo real são aqueles cujo correto funcionamento está associado, não apenas às respostas corretas a determinados estímulos, mas também às restriçoes temporais impostas pelo ambiente. Muitas pesquisas vem sendo desenvolvidas com o objetivo de dar suporte a sistemas de tempo real atrav´es de soluções proprietárias ou extensões para sistemas operacionais de propósito geral. O RTAI é uma extensão do Linux para tempo real, cuja pilha de protocolo de rede é chamada RTNET. Neste trabalho é apresentada a implementação de um protocolo alternativo de rede, na forma de um m´odulo, para comunicação de tarefas em modo usuário que desejem fazer uso da pilha RTNET. São apresentados, ainda, os resultados dos testes de forma comparativa aos protocolos UDP/IP.

Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Ciência da Computação, 2013. / Submitted by Alaíde Gonçalves dos Santos (alaide@unb.br) on 2014-01-21T10:04:59Z No. of bitstreams: 1 2013_RenatoCoralSampaio.pdf: 3776105 bytes, checksum: ec34db0ab9261723cadcfe2fd5f9432e (MD5) / Approved for entry into archive by Guimaraes Jacqueline(jacqueline.guimaraes@bce.unb.br) on 2014-02-14T11:52:25Z (GMT) No. of bitstreams: 1 2013_RenatoCoralSampaio.pdf: 3776105 bytes, checksum: ec34db0ab9261723cadcfe2fd5f9432e (MD5) / Made available in DSpace on 2014-02-14T11:52:25Z (GMT). No. of bitstreams: 1 2013_RenatoCoralSampaio.pdf: 3776105 bytes, checksum: ec34db0ab9261723cadcfe2fd5f9432e (MD5) / A Codificação de áudio está presente hoje nos mais diversos aparelhos eletrônicos desde o rádio, a televisão, o computador, os tocadores de música portáteis e nos celulares. Em 2007, o governo do Brasil definiu o padrão do Sistema Brasileiro de TV Digital (SBTVD) que adotou o AAC Advanced Audio Coding para codificação de áudio. Neste trabalho, utilizamos a abordagem de coprojeto combinando software e hardware para implementar uma solução de alto desempenho e baixo consumo de energia em um FPGA, capaz de decodificar até 6 canais de áudio em tempo real. Apresentamos os detalhes da solução bem como os testes de desempenho e qualidade. Por fim, apresentamos os resultados de utilização de hardware e performance juntamente com uma comparação com as demais soluções encontradas na literatura. _______________________________________________________________________________________ ABSTRACT / Audio Coding is present today in many electronic devices. It can be found in radio, tv, computers, portable audio players and mobile phones. In 2007 the Brazilian Government defined the brazilian Digital TV System standard (SBTVD) and adopted the AAC - Advanced Audio Coding as the audio codec. In this work we use the co-design of hardware and software approach to implement a high performance and low energy solution on an FPGA, able to decode up to 6 channels of audio in real-time. The solution architecture and details are presented along with performance and quality tests. Finally, hardware usage and performance results are presented and compared to other solutions found in literature.

Orientadores: Rodolfo Jardim de Azevedo, Paulo César Centoducatte / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-08-17T03:13:58Z (GMT). No. of bitstreams: 1 Ecco_LeonardoLuiz_M.pdf: 1421385 bytes, checksum: f67461dbfc9c1fb6597942f22c234b0a (MD5) Previous issue date: 2010 / Resumo: Processadores RISC podem ser usados para atender a crescente demanda por desempenho requerida por sistemas embarcados. Entretanto, essas arquiteturas têm como desvantagem uma densidade de código ruim. Recodificações do conjunto de instruções, como o MIPS16 e o Thumb, representam uma abordagem eficiente para lidar com esse problema. Esse trabalho propõe uma codificação alternativa para a arquitetura SPARCv8. A nova codificação, chamada SPARC16, foi projetada com a ajuda de um modelo de programação linear inteira. As novas instruções utilizam 16 bits para serem codificadas e são facilmente traduzidas para suas correspondentes no conjunto de instruções original em tempo de execução, tornando possível posicionar um descompressor antes do estágio de decode de um processador SPARC e usar o restante do pipeline de forma transparente. O descompressor foi projetado e integrado no processador Leon 3 (SPARCv8) e ocasionou um acréscimo de 24% na área e nenhuma penalização na freqüência. Apenas um montador foi implementado para a extensão SPARC16. O descompressor foi validado através de programas que exercitam todas as instruções SPARC16 escritos diretamente em linguagem de montagem. As razões de compressão dos programas dos benchmarks Mediabench e Mibench foram obtidas inferindo como código SPARCv8 seria representado com instruções SPARC16. Através desse método, razões de compressão de até 58% foram atingidas (para o programa cjpeg) com uma média de 61.27% para os programas do Mediabench e 60.77% para os programas do Mibench. Utilizando a mesma abordagem, uma avaliação da mudança trazida pelo uso de SPARC16 nos padrões de acesso à cachê de instruções foi feita e mostrou reduções no número de misses até superiores a 50% / Abstract: RISC processors can be used to face the ever increasing demand for performance required by embedded systems. Nevertheless, these architectures have as drawback a poor code density. Alternate encodings for instruction sets, such as MIPS16 and Thumb, represent an effective approach to deal with this problem. This work proposes an alternate encoding for the SPARCv8 architecture. The new encoding, called SPARC16, was designed with the aid of an integer linear programming model. The new instructions are 16-bits wide and are easily translated to its 32-bit counterparts during execution time, making it possible to place a decompressor engine before the decode stage of a SPARC processor and use the remaining of the pipeline transparently. The decompressor engine was designed and integrated into the Leon 3 processor (SPARCv8) and caused an increase of 24% in area and no timing overhead. Only an assembler was implemented for the SPARC16 extension. The decompressor engine was validated using programs that cover all the SPARC16 instructions written directly in assembly language. The compression ratios for the programs belonging to the Mediabench and Mibench benchmarks were obtained inferring how SPARCv8 code would be represented with SPARC16 instructions. Through this method, compression ratios as low as 58% were achieved (for the cjpeg program) with an average of 61.27% for the Mediabench programs and 60.77% for the Mibench programs. Using the same approach, an evaluation of the change brought by the use of SPARC16 in the instruction cache access patterns was performed and showed reductions in the number of misses even greater than 50% / Mestrado / Ciência da Computação / Mestre em Ciência da Computação