Tese (doutorado) - Universidade Federal de Santa Catarina. Centro Tecnologico / Made available in DSpace on 2016-01-08T16:27:11Z (GMT). No. of bitstreams: 1 79158.pdf: 2899345 bytes, checksum: b465f945f1b7d6c1b27aa8bd27d5c0b3 (MD5) Previous issue date: 1989 / Diversas unidades típicas da automação da manufatura foram interligadas por uma rede PDVnet (DIN 19241), para a transferência de programas entre o computador central e unidades CNC. Foi implantado um terminal de operação para avaliar a adequação da rede PDVnet para a automação da manufatura e foi feita uma análise do fluxo de operações existentes numa célula flexível de tomada como referência. Com base no tráfego previsto e em resultados de teste de tempos de transferência efetuados com o sistema PDVnet foram determinados os tempos necessários para as comunições na célula usando o sistema disponível. Faz-se a descrição das possibilidades de integração de unidades de controle simples nas próprias estações da rede através da implementação de software e hardware específicos. Para o diagnóstico de falhas e avaliação de desempenho do sistema foi desenvolvida e implantada uma estação de avaliação de desempenho e diagnóstico. Foram analisadas as possibilidades de utilização de fibras ópticas como meio de transmissão em redes locais e implantado um sistema PDVnet, com topologia em forma de anel, utilizando fibras ópticas como meio de transmissã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 Tecnologico / Made available in DSpace on 2016-01-08T22:31:21Z (GMT). No. of bitstreams: 1 108911.pdf: 2334964 bytes, checksum: 3f6d4cca893032568d7c6aaffe282914 (MD5) Previous issue date: 1997 / Este trabalho trata do gerenciamento de aplicações cliente de rede da arquitetura de redes Internet. Para isso, é proposta uma extensão à MIB-II padrão da Arquitetura de Gerenciamento de Redes Internet. O objetivo desta nova MIB é oferecer informações que permitam monitorar e controlar aplicações de rede Internet em estações clientes de rede. Para a construção do módulo da MIB proposta, vários aspectos são discutidos, estabelecendo uma metodologia para o desenvolvimento de novas MIBs SNMP. Em seguida, esta metodologia é utilizada para especificar o módulo de MIB para o gerenciamento de aplicações Internet. Algumas alternativas para a implementação de um agente SNMP para esta nova MIB são discutidos. O módulo de MIB especificado passa por uma etapa de verificação, através da utilização de um compilador de MIBs. Por fim são apresentadas as possibilidades de utilização do novo agente em um ambiente de redes típico, além dos resultados obtidos no ambiente de testes.

Dissertação (Mestrado) - Universidade Federal de Santa Catarina, Centro Tecnologico / Made available in DSpace on 2016-01-08T22:32:11Z (GMT). No. of bitstreams: 1 109909.pdf: 15207196 bytes, checksum: 443a0c4b3b38ac49f60d700425f10be6 (MD5) Previous issue date: 1997 / Na engenharia química são utilizados muitos processos de separação, dentre os quais pode-se citar a separação de componentes de uma corrente de líquido por bombeamento paramétrico, um processo de separação dinâmico baseado nas diferenças no equilíbrio de adsorção causada por mudança cíclica de uma variável termodinâmica (temperatura, pressão, pH). Neste trabalho foram utilizados dois modelos para simular os processos de separação por bombeamento paramétrico térmico: O modelo de equilíbrio e o modelo da Força Impulsora Linear, ou LDF, de Linear Driving Force, ambos levando em consideração o termo de dispersão axial. Além disso, construiu-se um pacote computacional na linguagem Visual Basic 4.0, capaz de simular esse processo de separação. O pacote computacional possui uma interface amigável com o usuário, e que possibilita o estudo de diversos casos. O programa já apresenta, como exemplos, duas bases de dados, com as quais pode-se realizar simulações para o caso de purificação do produto do fundo ou concentraçao do produto do topo. O pacote computacional permite, ainda, a comparação das simulações com os dados experimentais de dois casos específicos ou dos dados fornecidos pelo usuário. Para validar experimentalmente a modelagem matemática proposta, utilizou-se a instalação piloto de bombeamento paramétrico térmico localizada no Laboratório de Processos de Separacão e Reação, LSRE, da Faculdade de Engenharia da Universidade do Porto, Portugal. Os experimentos realizados dizem respeito a separação de fenilalanina da água. Além disso utilizou-se dados experimentais da literatura sobre purificação de águas contaminadas por fenol realizados por Ferreira (1994). Observou-se uma boa previsão do comportamento geral com a utilização destes modelos. Realizou-se ainda o estudo dos ciclos de TSA, do inglês Temperature Swing Adsorption, ou Adsorção pela Mudança na Temperatura, onde se fizeram diversas comparações com um caso de base escolhido, utilizando-se o mesmo equipamento do bombeamento paramétrico térmico, mas com a passagem do fluido em uma única direção. Para essas simulações foi desenvolvido um programa específico escrito em Fortran.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Florianópolis, 1998. / Made available in DSpace on 2013-12-05T20:38:49Z (GMT). No. of bitstreams: 1 138038.pdf: 2603324 bytes, checksum: 0cc66ff2eb5b43c8d3ed4978b9b30ee5 (MD5) Previous issue date: 1998

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 Sócio-Econômico. Programa de Pós-Graduação em Administração. / Made available in DSpace on 2012-10-20T13:52:35Z (GMT). No. of bitstreams: 0 / O rápido desenvolvimento das redes de computadores, associado aos avanços das telecomunicações, possibilitou a troca de informações em todos os níveis, sejam eles imagens, voz, gráficos ou textos. A comunicação em tempo real se tornou menos onerosa e mais completa. Assim, podemos dizer que todos os setores da sociedade sofreram mudanças, e tivemos uma nova classe de consumidores que demandou novos serviços. Com o comércio eletrônico, surgiu o marketing eletrônico, o qual hoje é de grande importância para as empresas e demais instituições que queiram fazer parte do mundo globalizado e competitivo, que abrange todos os aspectos da vida humana, desde a educação até ao lazer.