RESafety Tool: An AI-Enhanced Tool for RESafety Requirements
Modeling
Engenharia de Requisitos. Segurança. STPA. iStar4Safety.
Inteligência Artificial. RESafety Tool.
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.