Design de sistemas ciberfísicos críticos endereçando conjuntamente preocupações de safety, security e desempenho e utilizando STPA e SysML

Resumo

Sistemas ciberfísicos críticos atuais são caracterizados por automação, poder computacional, comunicação e integração estrutural e funcional crescentes. Esses sistemas envolvem unidades de processamento e armazenamento de informação, componentes mecânicos e elétricos, sensores, atuadores, e redes de comunicação. Nessa integração, o software é a parte dominante. Duas preocupações recorrentes no desenvolvimento de sistemas ciberfísicos são safety e security. Os sistemas que estamos construindo estão se tornando mais complexos devido aos aspectos não somente técnicos mas sociológicos, legais e políticos. O desenvolvimento requer a participação de muitos interessados, tais como provedores de processamento e armazenamento, provedores de rede, autoridades certificadoras, provedores de serviços, desenvolvedores de soluções, operadores e administradores. STAMP (System-Theoretic Accident Model and Processes) e STPA (Systems-Theoretic Process Analysis) podem ser utilizados para permitir a análise de safety e security na fase de conceito e gerar os requisitos funcionais e requisitos de safety e security. Existem abordagens para lidar com conflitos e reforços entre as restrições derivadas de requisitos de safety e security no estágio de conceito do sistema. Requisitos de desempenho usualmente são tratados na fase de design e são derivados de requisitos de sistemas, funcionais e de safety. Mecanismos para atender aos requisitos de safety, security e desempenho incluem uma diversidade de hardware, software, protocolos, procedimentos e qualquer item que de forma isolada ou combinada enderecem os requisitos. Na identificação dos mecanismos, temos de levar em conta que os novos mecanismos podem afetar a eficiência e eficácia dos mecanismos já identificados. Contudo existem poucos trabalhos sobre como integrar o STPA com as técnicas de design de forma sistemática para lidar com requisitos e mecanismos não apenas de safety e security mas também de desempenho. Conjecturamos que para a sistematização, alguma forma de especificação comum seja necessária. Dadas as características de sistemas ciberfísicos críticos, a linguagem SysML e a abordagem de desenvolvimento baseadas em modelos podem ser utilizadas. Systems Modeling Language (SysML) é uma linguagem de modelagem de propósito geral para aplicações de engenharia de sistemas que apoia a especificação, análise, design, verificação e validação de sistemas. O objetivo desta proposta de projeto é investigar e propor um método de design de sistemas ciberfísicos que utilizam resultados da análise STPA e suas extensões de security para gerar modelos de design SysML que considerem de forma conjunta os requisitos e os mecanismos de safety, security e desempenho Esta proposta também tem como objetivo propor técnicas de análise de requisitos e mecanismos que considere conflitos e reforços para atender aos requisitos de safety, security e desempenho. (AU)