{"id":143,"date":"2023-11-07T11:01:35","date_gmt":"2023-11-07T11:01:35","guid":{"rendered":"https:\/\/www2.unifap.br\/oliveira\/?p=143"},"modified":"2023-11-07T11:47:21","modified_gmt":"2023-11-07T11:47:21","slug":"simposio-brasileiro-de-automacao-inteligente-sbai-2023","status":"publish","type":"post","link":"http:\/\/www2.unifap.br\/oliveira\/2023\/11\/07\/simposio-brasileiro-de-automacao-inteligente-sbai-2023\/","title":{"rendered":"Simp\u00f3sio Brasileiro de Automa\u00e7\u00e3o Inteligente &#8211; SBAI 2023"},"content":{"rendered":"<p><a href=\"http:\/\/www2.unifap.br\/oliveira\/files\/2023\/11\/Captura-de-tela-de-2023-11-07-08-01-10.png\"><img decoding=\"async\" class=\"alignnone size-full wp-image-144\" src=\"http:\/\/www2.unifap.br\/oliveira\/files\/2023\/11\/Captura-de-tela-de-2023-11-07-08-01-10.png\" alt=\"\" width=\"208\" height=\"139\" \/><\/a><\/p>\n<p>Trabalhos apresentados:<\/p>\n<ul>\n<li><a href=\"https:\/\/sbai2023.com.br\/submissoes\/file\/paper_1315.pdf\">Seguran\u00e7a de sistemas ciberf\u0131sicos contra ataques a atuadores: um m\u00e9todo baseado em criptografia<\/a>\n<ul>\n<li>Resumo: Resili\u00eancia contra ataques cibern\u00e9ticos \u00e9 uma demanda de sistemas ciberf\u00edsicos modernos dada a evolu\u00e7\u00e3o da ind\u00fastria 4.0.<br \/>\nNeste trabalho, formalismos de Sistemas a Eventos Discretos (SEDs) s\u00e3o utilizados para a formula\u00e7\u00e3o de uma abordagem para seguran\u00e7a de sistemas ciberf\u00edsicos contra ataques a atuadores atrav\u00e9s do uso de criptografia sim\u00e9trica baseada em eventos. Nesta proposta, eventos control\u00e1veis devidamente selecionados s\u00e3o criptografados antes da sua transmiss\u00e3o do controlador para a planta, levando intrusos a inferir equivocadamente as a\u00e7\u00f5es de controle do supervisor.<br \/>\nAssim, espera-se que ataques a atuadores n\u00e3o tenham o efeito esperado na planta, de maneira que estados inseguros n\u00e3o sejam alcan\u00e7ados. A abordagem proposta foi aplicada a um estudo de caso encontrado na literatura, em que a identifica\u00e7\u00e3o de ataques ocorre sem que danos sejam infligidos, mantendo a integridade do sistema.<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<ul>\n<li><a class=\"gsc_oci_title_link\" href=\"https:\/\/sbai2023.com.br\/submissoes\/file\/paper_4413.pdf\" data-clk=\"hl=pt-BR&amp;sa=T&amp;ei=OBhKZbqyCJu8y9YPq-qcyAE\">Controle Supervis\u00f3rio Tolerante a Falhas de Sistemas a Eventos Discretos: Estudo de Caso<\/a>\n<ul>\n<li>Resumo: Neste trabalho trata-se do problema de controle supervis\u00f3rio tolerante a falhas intermitentes de sistemas de manufatura modelados como sistemas a eventos discretos (SEDs). Duas abordagens de toler\u00e2ncia a falhas foram aplicadas a um estudo de caso desenvolvido sobre uma planta virtual no \\textit{software} Factory IO: abordagem ativa e oculta\u00e7\u00e3o de falhas. Em ambos os casos foi utilizado um aut\u00f4mato diagnosticador para detectar a ocorr\u00eancia de falhas. Supervisores modulares foram projetados com base na teoria de controle supervis\u00f3rio de SEDs e a estrutura de controle tolerante a falhas foi implementada em CLP, controlando a planta virtual via protocolo de comunica\u00e7\u00e3o OPC. Diferentes estrat\u00e9gias de implementa\u00e7\u00e3o da estrutura de controle tolerante a falhas s\u00e3o propostas e aplicadas sobre o estudo de caso, obtendo-se com todas elas o correto funcionamento da planta, mesmo com a intermitente ocorr\u00eancia de falha.<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n","protected":false},"excerpt":{"rendered":"<p>Trabalhos apresentados: Seguran\u00e7a de sistemas ciberf\u0131sicos contra ataques a atuadores: um m\u00e9todo baseado em criptografia Resumo: Resili\u00eancia contra ataques cibern\u00e9ticos \u00e9 uma demanda de sistemas ciberf\u00edsicos modernos dada a evolu\u00e7\u00e3o da ind\u00fastria 4.0. Neste trabalho, formalismos de Sistemas a Eventos&hellip; <\/p>\n<p><a href=\"http:\/\/www2.unifap.br\/oliveira\/2023\/11\/07\/simposio-brasileiro-de-automacao-inteligente-sbai-2023\/\" class=\"readmore-button\">Continue Reading<\/a><\/p>\n","protected":false},"author":840,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"inline_featured_image":false,"ngg_post_thumbnail":0,"footnotes":""},"categories":[1],"tags":[],"class_list":["post-143","post","type-post","status-publish","format-standard","hentry","category-sem-categoria"],"_links":{"self":[{"href":"http:\/\/www2.unifap.br\/oliveira\/wp-json\/wp\/v2\/posts\/143","targetHints":{"allow":["GET"]}}],"collection":[{"href":"http:\/\/www2.unifap.br\/oliveira\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"http:\/\/www2.unifap.br\/oliveira\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"http:\/\/www2.unifap.br\/oliveira\/wp-json\/wp\/v2\/users\/840"}],"replies":[{"embeddable":true,"href":"http:\/\/www2.unifap.br\/oliveira\/wp-json\/wp\/v2\/comments?post=143"}],"version-history":[{"count":3,"href":"http:\/\/www2.unifap.br\/oliveira\/wp-json\/wp\/v2\/posts\/143\/revisions"}],"predecessor-version":[{"id":149,"href":"http:\/\/www2.unifap.br\/oliveira\/wp-json\/wp\/v2\/posts\/143\/revisions\/149"}],"wp:attachment":[{"href":"http:\/\/www2.unifap.br\/oliveira\/wp-json\/wp\/v2\/media?parent=143"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"http:\/\/www2.unifap.br\/oliveira\/wp-json\/wp\/v2\/categories?post=143"},{"taxonomy":"post_tag","embeddable":true,"href":"http:\/\/www2.unifap.br\/oliveira\/wp-json\/wp\/v2\/tags?post=143"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}