Pós-Graduação em Ciência da Computação – UFPE
Defesa de Dissertação de Mestrado Nº 2.307
Aluno: Wandemberg Silva dos Santos
Orientador: Prof. Jaelson Freire Brelaz de Castro
Título: RESafety Tool: An AI-Enhanced Tool for RESafety Requirements
Modeling
Data: 31/07/2026
Hora/Local: 9h – Virtual – Interessados em assistir entrar em contato com o aluno
Banca Examinadora:
Prof. Jaelson Freire Brelaz de Castro (UFPE / Centro de Informática)
Prof. Renato de Freitas Bulcão Neto (UFG / Instituto de Informática )
Prof. Fernanda Maria Ribeiro de Alencar (UFPE / Depto. Eletrônica e Sistemas)
RESUMO:
A modelagem de sistemas críticos de segurança exige uma análise de
segurança rigorosa para evitar falhas catastróficas. Existe uma lacuna
histórica entre a Engenharia de Requisitos Orientada a Objetivos e as
técnicas detalhadas de Engenharia de Segurança. O processo RESafety foi
proposto para unificar o framework iStar4Safety e o método System-Theoretic
Process Analysis (STPA); contudo, sua execução manual demanda elevado
esforço cognitivo e tempo. Esta dissertação apresenta a RESafety Tool como
um ambiente web implementado com um frontend em Angular integrado a
serviços REST em Quarkus. A versão atual operacionaliza o fluxo de trabalho
RESafety por meio de espaços de projeto autenticados, um modelador
iStar4Safety embarcado, formulários estruturados para os artefatos
orientados ao STPA e apoio assistido por Inteligência Artificial às
atividades de definição de escopo. Em vez de substituir completamente o
analista, a ferramenta adota uma estratégia human-in-the-loop, na qual as
saídas do LLM são propostas, revisadas, editadas e somente então
incorporadas à análise. Resultados preliminares indicam que ambiente
implementado reduz o esforço operacional, melhora a rastreabilidade entre
perdas, perigos, restrições e requisitos, e diminui a barreira prática para
a adoção do RESafety.
Palavras-chave: Engenharia de Requisitos. Segurança. STPA. iStar4Safety.
Inteligência Artificial. RESafety Tool.
Comentários desativados