Pós-Graduação em Ciência da Computação – UFPE
Defesa de Dissertação de Mestrado Nº 1.966


Aluna: Sthéfanie Dal Magro
Orientador: Prof. Jaelson Freire Brelaz de Castro
Título: ENGENHARIA DE REQUISITOS EM SISTEMAS CRÍTICOS DE SEGURANÇA: UMA ABORDAGEM PARA AUXILIAR NA DESCOBERTA DE REQUISITOS INICIAIS DE SEGURANÇA
Data: 28/04/2021
Hora/Local: 14h – Virtual – Interessados em assistir entrar em contato com a aluna
Banca Examinadora:
Profa. Carla Taciana Lima Lourenço Silva Schuenemann (UFPE / Centro de Informática)
Prof. Johnny Cardoso Marques (ITA / Divisão de Ciência da Computação)
Prof. Jaelson Freire Brelaz Castro  (UFPE / Centro de Informática)


RESUMO:

Contexto: Sistemas Críticos de Segurança (SCSs) são considerados sistemas 
que caso falhem, podem levar à perda de vida, perdas financeiras e danos ao 
meio ambiente. A Engenharia de Requisitos é essencial no desenvolvimento 
destes sistemas, tendo em vista que a utilização de requisitos inadequados 
ou incompreendidos são reconhecidos como a principal causa de acidentes e 
catástrofes relacionados com a segurança. Portanto, os requisitos iniciais 
de segurança dos SCSs devem ser cuidadosamente identificados e 
adequadamente modelados. No entanto, a literatura apresenta poucas técnicas 
de elicitação e modelagem de requisitos voltadas para o domínio de SCSs. 
Objetivo: Esta pesquisa propõe o desenvolvimento de uma abordagem para 
auxiliar na descoberta de requisitos iniciais de segurança no contexto de 
sistemas críticos de segurança que posteriormente serão modelados através 
da notação iStar4Safety. Método: Para avaliar a abordagem proposta será 
realizado um quase-experimento. Resultados: Este trabalho propôs a 
abordagem Elicit4Safety que visa auxiliar na descoberta de perigos e 
requisitos iniciais de segurança no contexto dos SCSs, além do 
desenvolvimento de uma ferramenta web de mesmo nome que dá suporte a 
abordagem. Conclusão: De acordo com os resultados obtidos através de uma 
análise de dados qualitativa e quantitativa, é possível observar que a 
abordagem é fácil de ser utilizada, e é útil para os engenheiros de 
requisitos.

Palavras-chave: Engenhara de Requisitos. Elicitação de Requisitos. Sistemas 
Críticos de Segurança.

Comentários desativados