Banca de DEFESA: MARINA DIOTO

Uma banca de DEFESA de MESTRADO foi cadastrada pelo programa.
DISCENTE: MARINA DIOTO
DATA : 31/10/2024
HORA: 08:00
LOCAL: Virtual
TÍTULO:

Formalização da Análise de Safety Estendendo STPA com CSP: 
Metodologia e Estudos de Caso

PALAVRAS-CHAVES:

Segurança. STPA. CSP. Verificação Formal. Requisitos

PÁGINAS: 70
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.

MEMBROS DA BANCA:
Interno - 2331188 - ALEXANDRE CABRAL MOTA
Presidente - 1670543 - JULIANO MANABU IYODA
Externo à Instituição - SIDNEY DE CARVALHO NOGUEIRA - UFRPE