Tese (Doutorado) - Universidade Federal de Santa Catarina, Centro Tecnológico. / Made available in DSpace on 2012-10-18T22:25:26Z (GMT). No. of bitstreams: 0Bitstream added on 2016-01-09T01:56:13Z : No. of bitstreams: 1 147365.pdf: 6601570 bytes, checksum: 54718aca8858422df550e03edee48008 (MD5)

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnologico. Programa de Pós-Graduação em Ciência da Computação. / Made available in DSpace on 2012-10-19T05:24:21Z (GMT). No. of bitstreams: 0 / Este trabalho está inserido no contexto do projeto Cluster CLUX, que visa a construção de um ambiente para execução de programas paralelos em um sistema de computação constituído por um conjunto de estações de trabalho independentes conectadas através de uma rede de interconexão dinâmica. O objetivo deste trabalho é a implementação da interface da rede de interconexão dinâmica do cluster Clux responsável pela comunicação através de trocas de mensagens, entre os processos dos programas paralelos que executam nas estações de trabalho componentes do cluster.

Orientador: Yaro Burian Junior / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia de Campinas / Made available in DSpace on 2018-07-14T09:29:26Z (GMT). No. of bitstreams: 1 Camilo_Daniel_M.pdf: 1042889 bytes, checksum: f4be20144eb5715f9fdbc1f40f684932 (MD5) Previous issue date: 1974 / Resumo: O sistema de computação implantado no laboratório de simulação-hibrida da FEC, inclue duas unidades auxiliares de memória, disco e fita magnética "cassete", com monitoramento individual, o que, virtualmente, elimina a possibilidade de operação conjunta das duas unidades. Este trabalho, trata da unificação do sistema de monitoramento dos dois periféricos, permitindo acesso e manipulações simultânea das duas unidades. O principal objetivo deste monitoramento é colocar à disposição do usuário, a rapidez de operação do sistema de disco, aliada à, praticamente, infinita capacidade e armazenamento de informações do sistema de fita magnética. Como restrição foi imposta uma utilização eficiente da memória central, em termos de área ocupada pelo novo sistema operacional. / Abstract: Not informed. / Mestrado / Mestre em Ciências

Made available in DSpace on 2016-08-29T15:32:26Z (GMT). No. of bitstreams: 1 tese_2366_DissertacaoMestradoRafaelLealSilva.pdf: 3660941 bytes, checksum: 1f662a410c456e41e887875b8f36fb0e (MD5) Previous issue date: 2007-11-30 / Nesta Dissertação de Mestrado, foi desenvolvido um sistema assistivo, composto por uma interface homem-máquina (IHM) e uma estação de monitoramento remoto, destinado ao indivíduo com severo comprometimento orgânico. A IHM pode ser acionada por meio de um apontador de cabeça, piscada de olhos, movimento do globo ocular, posição da íris captada por uma câmara de vídeo e sinais cerebrais. Essa IHM confere ao usuário um novo canal de comunicação, além de poder comandar uma cadeira de rodas robótica. Um PDA (do inglês Personal Digital Assistant), embarcado nessa cadeira, atua como interface gráfica, contendo opções de seleção pelo usuário, tais como sentido de movimento da cadeira, expressar necessidades, permitir comunicação textualmente ou levá-lo a pontos específicos de ambientes estruturados. Nessa última opção, um sistema de controle embarcado permite a navegação autônoma até o cômodo desejado, de acordo com a implementação de um controlador de posição com desvio de obstáculos. A interface com o usuário desenvolvida possui saída acústica e informa cada opção escolhida através de um sintetizador de voz, facilitando a comunicação com membros do convívio. A unidade de monitoramento é composta por um segundo PDA, de onde é possível monitorar, remotamente, informações da cadeira de rodas em ambiente estruturado, como posição e velocidade, enviar comandos direto aos motores, ou até mesmo selecionar pontos destinos desse ambiente e enviá-los ao sistema de navegação.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnologico / Made available in DSpace on 2016-01-08T19:35:11Z (GMT). No. of bitstreams: 1 99814.pdf: 1817538 bytes, checksum: c2e26aa7b140f767a75b21a06468f3c1 (MD5) Previous issue date: 1995 / Projeto e implementação de um sistema operacional com micronúcleo distribuído para multicomputador, com interface de programação compatível com o sistema UNIX, cujos serviços são suportados por um conjunto de processos servidores. Construção de um simulador do multicomputador com rede de interconexão dinâmica, concebido com ambiente multiprogramado para servir como base de desenvolvimento para o sistema operacional proposto.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnologico / Made available in DSpace on 2016-01-08T19:54:04Z (GMT). No. of bitstreams: 0 Previous issue date: 1995 / Descrição das contribuições e da implementação em computador de um sistema que contribuiu na evolução de uma metodologia para o desenvolvimento da fase conceitual de projeto de produtos. Este trabalho aborda o projeto conceitual, desde a elaboração da lista de requisitos e o desenvolvimento da estrutura funcional para o produto a ser elaborado, até a pesquisa por princípios de solução para as funções identificadas e a formação de concepções de solução para a função global do produto.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Engenharia Elétrica, Florianópolis, 2016. / Made available in DSpace on 2016-09-20T04:52:02Z (GMT). No. of bitstreams: 1 339513.pdf: 5400520 bytes, checksum: a39771aa9d2c178cd0cc3b145f47c8fe (MD5) Previous issue date: 2016 / O crescente volume e complexidade de software sendo utilizado em aplicações embarcadas introduz novos desafios para verificação. Além disso, cada vez mais sistemas controlados por software são inseridos diariamente nas nossas vidas, criando novas formas de interação e trazendo preocupações gradativas quanto integridade. Esse cenário pode ser observado pelo recente número de padrões destinados a fornecer mecanismos de segurança funcional, como exemplos os padrões ISO 26262 na área automotiva, IEC 61513 na área de geração de energia e IEC 62304 na assistência médica. Percebe-se que muitos sistemas que antes não eram tratados como críticos, devem ser desenvolvidos e verificados de tal forma atualmente. Associado a esse ponto de vista técnico, o mercado atual demanda alta produtividade e reduzido time-to-market. Assim, são necessárias alternativas que forneçam suporte ao desenvolvimento de software embarcado, considerando verificação ainda em fases iniciais do projeto. É importante perceber que isso não é somente uma exigência do mercado, pois a quantidade de erros de implementação introduzidos é muito maior durante a programação dos dispositivos do que em fases de especificação e elaboração. Levando em conta essas características, este trabalho expõe uma metodologia de desenvolvimento de software embarcado voltado para verificação nas fases iniciais de projeto, considerando ferramentas e abordagens atuais. Por parte de desenvolvimento são consideradas plataformas virtuais de simulação do sistema, as quais fornecem suporte para desenvolvimento mesmo antes do hardware final estar disponível. Essas mesmas plataformas permitem simulação de software dependente de hardware através de camadas de isolamento e modelagem de periféricos. Como a criação de plataformas virtuais é uma tarefa árdua, a linguagem de descrição de arquiteturas ArchC é utilizada para fornecer suporte a implementação de simuladores de conjunto de instruções. Do ponto de vista de verificação são utilizados métodos estáticos (i.e., Model Checking), para exploração de erros de implementação e verificação funcional com propriedades temporais. No entanto, apesar dos recentes avanços em Model Checking, limitações com relação a complexidade podem comprometer a verificação de sistemas complexos. Nesses casos, simulações e testes do sistema são conduzidos, através de plataformas virtuais, para obter maior cobertura e estresse do sistema, além é claro de fornecer informações valiosas quanto ao seu comportamento. Como resultados é demonstrado: o desenvolvimento e a verificação de um modelo baseado no microcontrolador MSP430; dois cenários de verificação híbrida de um sistema de controle de injeção de combustível; uma plataforma virtual de simulação de um sistema de controle mecânico, considerando modelos físicos integrados; e por fim, a especificação, implementação e teste de um computador de bordo de um CubeSat, um sistema consideravelmente complexo, constituído de três unidades de processamento e com um sistema operacional de tempo real. Esses resultados servem como demonstração do potencial da metodologia e evidenciam a importância de verificação nas fases iniciais de projeto.<br> / Abstract: The growing size and complexity of software being used in embedded applications introduce new verification challenges. Moreover, software-controlled systems are being inserted more and more into our daily routines, causing new forms of interaction and producing frequently integrity concerns. This outline is noticeable in the recent number of standards intended to provide functional safety mechanisms, examples are the ISO 26262 standard in the automotive industry, IEC 61513 for power generation and IEC 62304 in health care. One can see that many systems that were not treated as critical before must be treated similarly in the current situation. Associated with this technical point of view, the current market demands high productivity and reduced time-to-market. Thus, alternatives are required to provide support for the development of embedded software, considering verification even in early design stages of the project. It is important to realize that this is not only a market demand, the amount of errors of implementation introduced during programming is much higher than in specification and conceptual design. Given these aspects, this work presents an embedded software development methodology, focused on early verification considering current tools and approaches. On the development point of view, full system simulation is achieved through virtual platforms, which provide support for the development even before the final hardware is accessible. These same platforms enable simulation of hardware dependent software on isolation layers and model of the system peripherals. As virtual platform development can be a daunting task, the ArchC architecture description language is used to support the implementation of the instruction set simulators. On the verification viewpoint, static methods (i.e., Model Checking) are used to explore implementation errors and functional verification with temporal properties. Despite recent advances in model checking, limitations on the complexity could jeopardize the verification of complex systems. In such cases, simulations and tests are conducted to achieve greater coverage and stress of the system, and of course to provide valuable information about its behavior. As results are presented: the development and verification of an Instruction set Simulator for the MSP430 microcontroller; two hybrid verification scenarios of a fuel injection control system; a virtual platform simulation of a mechanical control system, considering physical models of the process; and finally, the specification, implementation, and testing of an onboard computer of a CubeSat, a rather complex system consisting of three processing units and a real-time operating system. These results serve as a demonstration of the potential of the methodology and demonstrate the importance of verification in the early stages of design.

Tese (doutorado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Engenharia de Produção. / Made available in DSpace on 2012-10-20T19:09:31Z (GMT). No. of bitstreams: 1 200058.pdf: 6941315 bytes, checksum: ddcbb8295a79e8b6caa495524109482e (MD5) / Um sistema inteligente deve ser capaz de adquirir autonomamente as informações necessárias, através da percepção, e executar as ações apropriadas. Para atingir a esta meta, sistemas artificiais devem acessar diretamente o ambiente que os cerca. O paradigma atual de sistemas operacionais suporta a noção de abstração de hardware, onde cada aplicação supõe possuir seu próprio processador e demais recursos. Esta situação e o fato de que em geral os sistemas operacionais tradicionais são baseados em (i) multitarefa, contribuem para a permanência de problemas identificados há mais de 30 anos. Estes problemas envolvem não só aspectos de segurança e usabilidade como também questões de privacidade das informações. Alem disso, há outros dois conceitos que contribuem para piorar a situação: (ii) o conceito de operador e (iii) o conceito de programa. A função de operador foi necessária nos primórdios da computação, quando os computadores eram enormes e difíceis de usar. O conceito de programa implica virtualmente na extensão das "mãos dos desenvolvedores" para dentro da máquina dos usuários. Este trabalho introduz uma definição para a noção de sistema operacional baseado em conhecimento, estabelece a possibilidade concreta dessa definição a partir da apresentação de uma base conceitual que sustenta a definição apresentada e fornece indicações sobre a sua necessidade - isto é, dá-lhe um conteúdo objetivo e mostra o interesse e a utilidade que esta nova concepção pode ter para a área de Sistemas Operacionais em particular e para a área de Computação em geral. Especificamente, realiza-se uma particular leitura sobre o paradigma atual de concepção de sistemas operacionais e confronta-se este modelo com as demandas de computação ubíqua, teletrabalho e comércio eletrônico, resultando numa evidente disparidade entre os requisitos dos projetos de sistemas operacionais e os requisitos dos projetos das áreas elencadas. Por outro lado, uma mudança de atitude face aos objetivos propostos é também requerida. A definição dada supõe que se reconheça a autonomia operacional dos sistemas. E isto implica em abandonar, ou pelo menos colocar em segundo plano, o que comumente é chamado de artificialismo - a busca de imitação do comportamento inteligente de seres humanos ou animais - e adotar o ponto de vista denominado naturalismo - a consideração de inteligência de máquina como fenômeno natural nas máquinas, digno de ser estudado em si próprio. O trabalho apresenta os resultados da reflexão através da qual se tentou realizar os objetivos.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós -Graduação em Computação. / Made available in DSpace on 2012-10-20T01:10:55Z (GMT). No. of bitstreams: 0Bitstream added on 2014-09-26T01:52:46Z : No. of bitstreams: 1 181910.pdf: 5997639 bytes, checksum: c82bee76cef865be5615338e8e9a3294 (MD5) / Este trabalho faz parte do projeto de construção do Clux, um cluster para a exploração do processamento paralelo em um sistema constituído por um conjunto de estações de trabalho independentes, conectadas por uma rede de interconexão dinâmica. O objetivo deste trabalho é a implementação da interface da rede de controle do cluster Clux, responsável pelo transporte de mensagens de controle utilizadas para a gerência da configuração da rede de interconexão dinâmica.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós -Graduação em Computação. / Made available in DSpace on 2012-10-18T07:19:30Z (GMT). No. of bitstreams: 0Bitstream added on 2014-09-25T22:26:42Z : No. of bitstreams: 1 182066.pdf: 19762669 bytes, checksum: ad7472aa5c162831c01e7fb32ee3dd29 (MD5) / Este trabalho foi desenvolvido objetivando modelar e implementar o protótipo de um software educacional que auxilie alunos dos cursos de graduação em Ciência da Computação na compreensão de assuntos específicos da disciplina Sistemas Operacionais. A temática escolhida foi o módulo de Gerência de Processos, especificamente nos assuntos: modelo de processo, estratégias de escalonamento de processador e detecção de situações de deadlock. Foram feitas considerações sobre aspectos do processo ensino-aprendizagem, adotando-se no desenvolvimento do protótipo a modalidade de software educacional de simulação. O trabalho apresenta ainda o modelo utilizado para avaliação de desempenho dos algoritmos de escalonamento e as fases de desenvolvimento do protótipo