Pós-Graduação em Ciência da Computação – UFPE
Defesa de Dissertação de Mestrado Nº 2.167
Aluno: Marina Dioto
Orientador: Prof. Alexandre Cabral Mota
Título: Formalização da Análise de Safety Estendendo STPA com CSP: Metodologia e Estudos de Caso
Data: 31/10/2024
Hora/Local: 8h – Virtual – Interessados em assistir entrar em contato com a aluna
Banca Examinadora:
Prof. Juliano Manabu Iyoda (UFPE / Centro de Informática)
Prof. Sidney de Carvalho Nogueira (UFRPE / Departamento de Computação)
Prof. Alexandre Cabral Mota (UFPE / Centro de Informática)
RESUMO:
A evolução tecnológica e a crescente complexidade dos sistemas modernos têm desafiado as abordagens tradicionais de análise de segurança. Enquanto métodos clássicos como FMEA e Fault Tree Analysis focam em falhas de componentes individuais, a introdução do software e a complexidade das interações entre componentes demandam uma perspectiva mais abrangente. Neste contexto, a metodologia Systems-Theoretic Processes Analysis (STPA), fundamentada no modelo STAMP de Nancy Leveson, emerge como uma solução proativa para a prevenção de acidentes, considerando não apenas componentes isolados, mas também suas interações e o ambiente operacional. Este trabalho propõe uma extensão inovadora à STPA, integrando-a com a álgebra de processos CSP. Esta abordagem visa traduzir requisitos de segurança em especificações em CSP, aproveitando o foco da CSP em comunicação e sincronização entre processos para complementar a filosofia da STPA. Como consequência, busca-se avançar o campo da análise de segurança, oferecendo uma abordagem mais robusta e adaptada às complexidades dos sistemas contemporâneos. Os objetivos principais incluem: Desenvolver uma sistemática de como formalizar partes da STPA em CSP, Comparar a abordagem com soluções existentes na literatura e Aplicar a metodologia em dois estudos de caso. As principais contribuições deste trabalho são: Introdução de uma sistemática de como formalizar partes da STPA em CSP, Desenvolvimento de um método para gerar modelos funcionais que atendam a requisitos formais de segurança, Ponderar a presença de requisitos ou hazards e Capacidade de identificar conflitos entre requisitos de segurança e outros requisitos do sistema.
Palavras-chave: Segurança. STPA. CSP. Verificação Formal. Requisitos.
Comentários desativados