Este trabalho aborda o desenvolvimento de software embarcado em plataformas de aeronaves civis baseando-se na norma DO-178B, que é o guia de desenvolvimento reconhecido pelas autoridades aeronáuticas. Nele, foram estruturadas tarefas e documentações necessárias para atender as exigências da norma para o desenvolvimento de um software Nível C, com foco nos Requisitos de Alto Nível, além de apresentar modelos e exemplos realísticos para se atingir os meios de conformidade com a norma.

Este trabalho descreve um modelo para auditar a qualidade de um software. Os atributos da qualidade são agrupados em fatores relacionados com o grau de satisfação do usuário (Fatores de Qualidade de Serviço) e com o grau de qualidade do produto (Fatores de Qualidade de Engenharia). Os fatores são refinados até a obtenção de critérios diretamente quantificáveis, sendo proposto um método para a escolha destes critérios. Um método para agregar as medidas resultantes da avaliação destes critérios é também proposto. O processo de agregação considera a falta de qualidade de um atributo em relação aos valores previamente estipulados pelo usuário. O processo de avaliação descreve os procedimentos necessários para que o auditor quantifique o critério de qualidade. Um sistema, que implementa o modelo proposto, é desenvolvido para apoiar o auditor nas tarefas de controle de qualidade.

Este trabalho apresenta um novo modelo de módulo de diagnóstico para ser incluído na arquitetura tradicional de Sistemas de Tutores Inteligentes. Neste módulo, são aplicadas técnicas de Aprendizado por Reforço (algoritmo Q-Learning), o que possibilita modelar autonomamente o aprendiz. Um valor de utilidade é calculado baseado em uma tabela de pares estado-ação, a partir da qual o algoritmo estima reforços futuros que representam os estados cognitivos do aprendiz. A melhor política a ser usada pelo tutor para qualquer estado cognitivo do aprendiz é disponibilizada pelo próprio algoritmo de Aprendizado por Reforço, sem que seja necessário um modelo explícito do aprendiz.

Produtos complexos, como uma aeronave, exigem um grande número de projetos de software desenvolvidos paralelamente. No desenvolvimento de software aeronáutico, a conformidade com a norma DO-178C é um desafio e métricas podem auxiliar a sua avaliação e aderência. Este trabalho propõe a criação de um conjunto de métricas de conformidade com objetivos da DO-178C relacionados à fase de desenvolvimento para projetos de software aeronáutico embarcado, monitorando atrasos no cronograma de certificação da aeronave. Estas métricas foram criadas utilizando o modelo PSM (Prática de Medição de Software e Sistemas) como guia. Ao final, um estudo de caso é realizado utilizando as métricas em um projeto de software embarcado aeronáutico real.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Ciência da Computação, Florianópolis, 2010 / Made available in DSpace on 2012-10-25T01:41:21Z (GMT). No. of bitstreams: 1 280624.pdf: 1803793 bytes, checksum: b4481d3f49986c70291af5a4b25999e6 (MD5) / As vantagens que podem ser obtidas com a utilização de computação reconfigurável são largamente conhecidas. No escopo de sistemas embarcados, a utilização dessa tecnologia pode trazer boas respostas para duas questões recorrentes na área: desempenho e consumo de energia. Contudo, sua utilização ainda está longe das prateleiras, limitando-se a incontáveis projetos de pesquisa. Isso se dá, em parte, pelo aumento da complexidade de desenvolvimento de tais sistemas. Uma maneira de diminuir a complexidade de desenvolvimento de sistemas embarcados é através de sistemas operacionais, que provêem abstrações, tanto de hardware quanto de software, para o desenvolvimento da aplicação e ainda permitem alcançar um nível maior de portabilidade da solução. Estendendo-se sistemas operacionais para dar suporte a hardware reconfigurável, provendo esses dispositivos como uma abstração de alto nível, pode-se diminuir a complexidade de desenvolvimento de sistemas embarcados reconfiguráveis. Com esse intuito, foi desenvolvido um suporte à reconfiguração de hardware no contexto do sistema operacional EPOS. Esse suporte estende o gerenciador de energia do EPOS, que permite a propagação de comandos para trocas de modo de operação pelos diversos componentes do sistema, para realizar as operações de hibernar e acordar o sistema como um todo. Essas operações são necessárias devido à utilização do método de diferenciação para gerar bitstreams parciais, o que produz resultados imprevisíveis que podem afetar o processador softcore sobre o qual o sistema operacional executa. Entretanto, tal abordagem possui vantagens que não podem ser ignoradas no contexto de sistemas embarcados, como simplificação significativa no projeto do hardware e melhor portabilidade da implementação do hardware entre diferentes modelos de FPGAs. A implementação presente neste trabalho mostra que pode-se chegar a uma plataforma arquiteturalmente independente, utilizando reconfiguração baseada em diferença, e sua viabilidade de utilização em sistemas embarcados reconfiguráveis. / The advantages obtained by using reconfigurable computing are largely known. This technology can provide good answers for two recurring problems for embedded systems: performance and energy consumption. However, its utilization is happening almost exclusively in research projects, far away from the shelves. This is partially due to the increase of complexity for developing such systems. One way to diminish the development complexity of embedded systems is through operating systems, that provide software and hardware abstractions to the application development and improve the solution#s portability. By extending operating systems to support reconfigurable hardware, providing it as an high level system abstraction, the complexity of developing reconfigurable embedded systems can be reduced. With this intent, a reconfigurable hardware support was developed inside the EPOS operating system. This support extends EPOS# power manager, which propagates commands for operation mode changes through the system components, to allow the hibernation and wake up of the system. This operations are necessary due to the utilization of difference based partial reconfiguration, which produces unpredictable bitstream results that may affect the softcore processor that runs the operating system. Nevertheless, this approach presents some advantages that cannot be ignored when developing reconfigurable embedded systems, such as simplifying the hardware design and improving its portability between different FPGA models. The implementation in this work shows that we can reach an architecturally independent platform, using difference-based partial reconfiguration, and its feasibility in reconfigurable embedded systems.

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-22T20:43:31Z (GMT). No. of bitstreams: 1 224729.pdf: 897377 bytes, checksum: 8e131be657029fb0564be3001f6c9044 (MD5)

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-22T08:34:56Z (GMT). No. of bitstreams: 1 236834.pdf: 735277 bytes, checksum: 19ca452281cfdeb6f67b01c09164c9ff (MD5) / Em uma Rede de Sensores sem Fios, diversos nodos sensores obtém dados do local onde se encontram e comunicam-se entre si, para gerar uma visão global de um objeto de estudo. A idéia de uma rede auto-gerenciada de dispositivos autônomos, de baixa potência, que colete dados de um ambiente e propague informações através de um enlace sem fios traz uma série de novos desafios e requisitos de suporte à execução de aplicações. Diversos projetos de pesquisa se propuseram a tratar o problema de suporte de sistema para redes de sensores sem fios. Entretanto, a maioria deles falha em tratar principalmente dois dos requisitos levantados neste trabalho: configuração transparente do canal de comunicação e abstração unificada e eficiente de hardware de sensoriamento. Este trabalho apresenta o projeto e implementação de um ambiente de suporte à execução de aplicações em redes de sensores sem fios, baseado no sistema operacional EPOS, que inclui o projeto e implementação do protocolo de controle de acesso ao meio C-MAC (Configurable MAC) e um sistema de aquisição de dados de sensores. O projeto e implementação modular do protocolo C-MAC permitem que aplicações configurem o canal de comunicação de acordo com suas necessidades. O sistema de aquisição de dados de sensor desenvolvido é capaz de abstrair famílias de dispositivos sensores de maneira uniforme, sem ocasionar sobrecusto excessivo, e apresenta vantagens significativas com relação a outras soluções encontradas em outros sistemas operacionais para redes de sensores.

Dissertação (mestrado) - Pontifícia Universidade Católica do Paraná, Curitiba, 2007 / Bibliografia: p. 69-73 / Esta dissertação discorre sobre as necessidades modernas de controle de utilização de recursos em sistemas operacionais multi-usuários, e apresenta uma proposta de projeto para a implementação do modelo de controle de uso UCONABC em um sistema operacional / This work addresses the modern needs of resource utilization control in multi-user operating systems, and presents a project proposal for implementing the UCONABC usage control model in a real operating system, by using a grammar specifically created for

Dissertação (mestrado) - Pontifícia Universidade Católica do Paraná, Curitiba, 2005 / Inclui bibliografia / Uma das principais funções dos sistemas operacionais é a de ser gerente dos recursos do computador. Em um sistema operacional de rede não é diferente, porém, a quantidade de recursos que devem ser gerenciados é maior. Mesmo assim, os sistemas operacionais

Dissertação (mestrado) - Pontifícia Universidade Católica do Paraná, Curitiba, 2009 / Bibliografia: f. 61 / Em um sistema operacional convencional, o mecanismo de memória virtual permite usar discos rígidos como uma extensão da memória física. Dessa forma, torna-se possível oferecer aos processos em execução mais memória que aquela fisicamente disponível no sis / The virtual memory mechanism of a conventional operating system allows to use disks as an extension of the physical memory. Using this, it offers to running process more memory space than that physically available in the system. However, as storage device