Diagnóstico de falhas em Sistemas a Eventos Discretos para diferentes arquiteturas e formalismos

Abstract

Este projeto explora a convergência entre sistemas ciber físicos e tecnologia blockchain como uma solução para garantir a segurança e a integridade dos dados gerados por Controladores Lógicos Programáveis (CLPs) em um laboratório de automação industrial. Os sistemas ciber físicos, que integram elementos físicos, computação e comunicação, têm um papel cada vez mais crucial na nossa sociedade, impulsionando inovações em diversos setores.

A "Pirâmide da Automação" é apresentada como uma estrutura hierárquica que organiza os componentes dos sistemas ciber físicos, desde o chão de fábrica até sistemas empresariais, destacando a complexidade crescente à medida que nos movemos da camada física para a virtual.

A segurança surge como uma preocupação crítica à medida que sistemas ciber físicos se tornam mais interconectados . O relatório aborda os desafios de proteger processos industriais, dispositivos médicos e veículos autônomos contra ameaças cibernéticas e a importância da tecnologia blockchain como uma solução.

A tecnologia blockchain é explicada como uma estrutura de dados distribuída, composta por blocos interligados que registram transações de forma imutável e transparente. Os métodos Proof of Work (PoW) e Proof of Stake (PoS) são apresentados como mecanismos de consenso que garantem a segurança e a integridade da rede blockchain.

A criptografia RSA é destacada como uma técnica essencial para garantir a autenticidade e a confidencialidade dos dados em sistemas ciber físicos, especialmente na troca segura de informações entre os CLPs e o servidor.

O projeto descreve a implementação de uma rede lockchain que utiliza uma combinação de PoW e PoS para gerenciar efetivamente os dados dos CLPs. Essa abordagem híbrida oferece uma resposta rápida a mudanças em tempo real nos dados, ao mesmo tempo em que garante a imutabilidade dos registros. A criptografia RSA reforça ainda mais a segurança, protegendo a confidencialidade e a autenticidade dos dados transmitidos.

Em resumo, a pesquisa demonstra que a integração de sistemas ciber físicos e blockchain oferece uma solução robusta e segura para a gestão de dados em ambientes industriais. Essa abordagem não apenas protege os dados gerados pelos CLPs, mas também fortalece os canais de comunicação, contribuindo para um ambiente de automação industrial mais seguro e confiável.