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, 2016. / Made available in DSpace on 2016-09-20T04:31:16Z (GMT). No. of bitstreams: 1 341439.pdf: 601566 bytes, checksum: 1cf4c567f598ff5b549d914b491f090c (MD5) Previous issue date: 2016 / Em sistemas de tempo real, inversão de prioridades é o problema em que há tarefas de alta prioridade críticas que devem ser executadas antes de tarefas de baixa prioridade, mas não conseguem. Em sistemas distribuídos tolerantes a faltas com replicação ativa, cada réplica deve, além de resolver o problema da inversão de prioridade, executar todas as tarefas na mesma ordem para manter a consistência. Os trabalhos existentes que resolvem o problema dependem de premissas fortes como o uso de serviços de consenso, o que faz com que o algoritmo execute com uma complexidade de mensagens trocadas quadrática ou cúbica. O trabalho proposto pretende modificar algoritmos de consenso para resolver o problema de inversão de prioridades sem depender de tais premissas fortes, com complexidade de mensagens linear.<br> / Abstract : In real-time systems, priority inversion is the problem in which there are higher priority tasks that must be executed before lower priority taks, but cannot. In fault tolerant distributed systems with active replication, each replica must, besides solving the problem of priority inversion, execute all requests at the same order to maintain consistency. Current works that solve the problem depend on strong assumptions like the use of consensus services, that causes the algorithm to execute with quadratic or cubic complexity of message transmission. The proposed work aims to adapt consensus algorithms in order to solve the priority inversion problem without depending on such strong assumptions, achieving linear message tranmission complexity.

Tese (doutorado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Engenharia de Automação e Sistemas, Florianópolis, 2016. / Made available in DSpace on 2017-02-14T03:09:49Z (GMT). No. of bitstreams: 1 343971.pdf: 2316355 bytes, checksum: 0b56846c70ad4d31aef32017534aaed6 (MD5) Previous issue date: 2016 / Nos sistemas de controle via rede a troca de informação entre os elementos de controle (controlador, atuador, planta e sensor) é realizada utilizando uma rede de comunicação com múltiplos propósitos e compartilhada com outros dispositivos. As trocas de informação pela rede induzem uma maior complexidade à análise do sistema de controle devido a limitação na largura de banda da rede, a quantização do sinal, possíveis atrasos de transmissão induzidos pela rede e perda de informação devido a congestionamento. Este trabalho aborda o problema de análise de estabilidade de sistemas de controle via rede sob os efeitos da quantização e da perda de informação. Primeiramente, para tratar o problema de analise de estabilidade de sistemas sob quantização considera-se que o quantizador é estático, logarítmico e com número de níveis finito, e que está presente nos canais sensor-controle e controle-atuador. As condições de estabilidade são formuladas em termos de desigualdades matriciais lineares o que facilita a extensão do método para analisar a estabilidade de sistema não lineares. Abordando o problema de perda de informação é considerado que a modelagem do comportamento da perda de informação pode ser realizada por um modelo estocástico conhecido por processo de Bernoulli binário. Utilizando a noção de estabilidade no sentido da média quadrática em conjunto com a teoria de Lyapunov obtém-se um conjunto de condições necessárias que garantem a estabilidade de um sistema de controle não linear sujeito a perda de informação, em termos de desigualdades matriciais lineares, supondo um único canal com apagamento (controle-atuador), ou seja, o controle é tido como sendo parte integrante do elemento sensor, sendo assim, não é necessário enviar tal sinal pela rede. Considerando um sistema linear sujeito a quantização logarítmica finita e estática apresenta-se os resultados iniciais da análise de uma metodologia para o escalonamento da rede de um sistema de controle distribuído. Nessa proposta para o escalonamento da rede por quantização, é proposto modificar a largura de banda da rede utilizada por cada aplicação de maneira que as diferentes quantizações de cada malha de controle possibilitem a liberação de certa largura de banda para outras aplicações na rede que, em um dado momento, necessitem de uma largura de banda extra, sem comprometer a estabilidade da malha de controle. Finalmente, exemplos numéricos ilustram a aplicação das metodologias propostas.<br> / Abstract : In networked control systems, the exchange of information between control elements (controller, actuator, sensor and the system) is performed by using a shared multiple purpose communication network. The presence of a network in the control loop leads to a more complex control system analysis due to network bandwidth limitation, signal quantization, network induced transmission delays and information loss because of network congestion. This thesis addresses the stability analysis problem of networked control systems under quantized information and package dropouts. First, to handle the stability analysis problem of quantized systems, it is considered that the quantizer is static, logarithmic and has a finite size, and is present in the sensor-to-control and control-to-actuator channels. Stability conditions are formulated in terms of linear matrix inequality constraints which facilitates the method extension to deal with nonlinear systems. By modeling the information loss behavior in a fading network using a Bernoulli binary stochastic process, it is applied the mean square stability notion to deal with the information loss problem. The Lyapunov theory is then applied to obtain sufficient conditions to ensure the control system stability subject to information loss, in terms of linear matrix inequalities, assuming the presence of a single channel with erasure (control-to-actuator). Considering a linear system subject to a finite and static logarithmic quantization, preliminary results of a network scheduling methodology for distributed control systems is also presented. In this proposal, the network bandwidth used by each control loop changes dynamically in order to release a certain bandwidth for other network applications needing an extra bandwidth, at any given time, without compromising the control loop stability. Finally, numerical examples illustrate the potentials of the proposed methodologies.

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-21T03:46:02Z (GMT). No. of bitstreams: 1 196291.pdf: 876084 bytes, checksum: 652be40ad9d7a9aa4dc36612cf7f8457 (MD5) / O número de computadores interligados em rede está aumentando consideravelmente. Os ambientes distribuídos formados por essas redes possuem um grande potencial de processamento. Todavia, para que se possa aproveitar tal capacidade de processamento, faz-se necessário a utilização de um sistema que gerencie todo esse ambiente distribuído. Os sistemas operacionais distribuídos vêm ao encontro dessa necessidade. Os sistemas operacionais distribuídos caracterizam-se por permitir que seus usuários utilizem os recursos espalhados pelo ambiente distribuído de maneira transparente, escondendo os detalhes da implementação. O mecanismo de comunicação nesses sistemas é muito importante pois garante que componentes do sistema possam interagir a fim de executar uma determinada tarefa. Este trabalho descreve a solução para comunicação remota entre objetos no sistema operacional Aurora. O Aurora é um sistema operacional reflexivo projetado para arquiteturas multiprocessadas. A solução desenvolvida caracteriza-se por estender o mecanismo de comunicação local para permitir que o mesmo também suporte a comunicação remota de objetos. A comunicação entre objetos distribuídos em Aurora atende o requisito de transparência em sistemas distribuídos e é compatível com o modelo reflexivo do sistema.

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-21T05:13:31Z (GMT). No. of bitstreams: 1 200151.pdf: 1672523 bytes, checksum: 26b7342aa487ddcad136a67d5033cb3c (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-21T16:53:30Z (GMT). No. of bitstreams: 1 262754.pdf: 253550 bytes, checksum: 6aebedf1e1bce77ee1411a2eb9d3fa23 (MD5) / Este trabalho apresenta uma nova estrutura de armazenamento de dados em memórias Fash, chamada de Reverse-Indirect Flash File Sistem (RIFFS) ou Um sistema de Arquivos para memórias Flash baseado em Árvores Reversas. As memórias Fash possuem uma limitação na atualização de seus dados, e pensando em amenizar esta característica pensou-se em deixar todos os dados e meta-dados dentro do próprio arquivo. Isso seria impraticável com os sistemas existentes, porque não seria possível localizar um arquivo diretamente, a partir do nodo raiz da árvore. A maneira encontrada foi criar uma árvore reversa. Este esquema quebraria a navegabilidade do sistema, e então uma árvore direta precisa ser construída na memória RAM. É mostrado neste trabalho o gerenciamento de uma árvore reversa para contornar as limitações das memórias Fash. Dentro deste esquema é possível evitar excessivas atualizações e operações de escrita, aumentando assim a vida útil da Fash.

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-20T06:24:16Z (GMT). No. of bitstreams: 1 196050.pdf: 589919 bytes, checksum: ffe53251b9a795706ca1ebc0c692f928 (MD5) / O objetivo deste trabalho é inserir um sistema de proteção de senha em arquivos no sistema operacional Linux e que a mesma seja gerenciada pelo sistema operacional, não importando qual o aplicativo a ser utilizado. No estado da arte, referenciam-se conceitos de sistemas operacionais, sistemas de arquivos, proteção de arquivos e tipos de acesso. Foram apresentadas as modificações realizadas na estrutura de abertura e criação de arquivos no sistema operacional Linux, destacando a inserção de um novo parâmetro, sendo este uma senha a ser armazenada em um campo reservado do inode do arquivo. Na conclusão, destaca-se a importância deste trabalho visando a segurança de arquivos, sendo os mesmos protegidos por senha, controladas pelo sistema operacional, vinculadas ao proprietário do arquivo, porque somente o mesmo terá acesso a seus dados através de senha.

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-20T14:31:32Z (GMT). No. of bitstreams: 1 194627.pdf: 943178 bytes, checksum: bb2ef4c99950789393b3b4c760d83628 (MD5)

Dissertação (mestrado) - 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-19T08:28:11Z (GMT). No. of bitstreams: 0 / Este trabalho apresenta uma proposta de metodologia para a identificação de pontos de vulnerabilidade em sistemas de tecnologia da informação em redes corporativas. São apresentadas considerações e análises sobre os tipos de ataques potenciais e propostos serviços e mecanismos de segurança para a defesa e prevenção. Também é apresentado um estudo de caso para ilustrar a aplicação da metodologia proposta.

No description available.

Made available in DSpace on 2014-11-10T11:09:41Z (GMT). No. of bitstreams: 0 Previous issue date: 2013-08-07Bitstream added on 2014-11-10T11:58:47Z : No. of bitstreams: 1 000787445.pdf: 974406 bytes, checksum: 3e701ceadf5e053926fd1e9cf1e9e039 (MD5) / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / Devido a queda gradual no custo de aquisição de novos computadores, há cada vez mais dispositivos computacionais adentrando o mercado. A grande quantidade de novos dispositivos gera heterogeneidade entre eles e esta dificulta a administração de ambientes computacionais, pois é necessário manter os sistemas funcionando em compatibilidade com dispositivos bastante distintos simultaneamente. O sistema WSE-OS propõe uma solução de centralização de dados e recursos que aborda o problema da heterogeneidade de maneira eficaz. Fazendo uso da tecnologia wireless a ferramenta WSE-OS utiliza uma estrutura Thin Client que permite aos seus clientes executarem instanciações de sistemas operacionais virtualizados armazenados no servidor. Este trabalho apresenta uma proposta que altera a estrutura do WSE-OS incluindo a capacidade de operar com múltiplos servidores, tendo como objetivo aumentar a escalabilidade, disponibilidade e confiabilidade da ferramenta por meio de técnicas de replicação do servidor e escalonamento das conexões. A replicação de dados consiste em detectar as alterações sofridas nos dados contidos em um determinado servidor e transmiti-las aos demais priorizando a consistência entre as réplicas. O escalonamento de conexões funciona ativamente distribuindo os clientes dentre os servidores para melhorar o desempenho da ferramenta / Due to a gradual decrease in the cost of purchasing new computers, there is more and more computing devices entering the market. The large quantity of new devices creates heterogeneity among them and this complicates the administration of computing environments, because is necessary to keep the systems running in compatibility with quite different devices simultaneously. The WSE-OS system proposes a solution for centralizing data and resources that addresses this problem effectively. Using wireless networking technology, the WSE-OS tool uses a Thin Client structure that allows its clients to execute instantiations of virtualized operating systems stored on the server. This paper presents a proposal that changes WSE-OS's structure including the ability to run with multiple servers, having as its goal increase scalability, availability and reliability through server’s data replication and staggering of connections. Data replication consists in detecting changes on data from a given server and transmit it to the others prioritizing the consistency among replicas. The staggering of connections works on actively distributing the clients among servers to improve system’s performance