10.29327/1298262.25-24
Contexto: Os requisitos de segurança de Sistemas Críticos de Segurança (SCSs) devem refletir as descobertas da fase de análise de segurança inicial. Portanto, é fundamental um alinhamento entre as práticas da Engenharia de Requisitos Orientada à Objetivos e as da Engenharia de Segurança. Observa-se o crescente interesse da comunidade de Engenharia de Segurança na adoção da técnica de análise de perigos STPA (System-Theoretic Process Analysis). Objetivo: Este trabalho tem por objetivo propor uma nova abordagem chamada Requirements4Safety para modelagem dos requisitos iniciais de segurança. Ela possibilitará alinhar os requisitos de segurança modelados na linguagem iStar4Safety, aos elementos correlatos identificados através do uso da técnica de análise de perigos STPA. Método: Serão estudadas as técnicas de modelagem iStar4Safety e STPA. Depois serão definidos passos para integrá-las, sendo estes definidos através do uso de uma notação adequada (ex. BPMN). Requirements4Safety será aplicada na definição dos requisitos de segurança de alguns sistemas críticos. Por último, espera-se que especialistas das áreas de requisitos e segurança avaliem a abordagem. Resultado: Espera-se que Requirements4Safety permita o alinhamento de técnicas conhecidas da comunidade de Engenharia de Requisitos (i.e., iStar4Safety) e Engenharia de Segurança (i.e., STPA). A abordagem será documentada e ilustrada. Também serão disponibilizados os resultados de surveys com a opinião de especialistas de Engenharia de Requisitos e de Segurança. Conclusão: Com o uso de Requirements4Safety, os requisitos de segurança dos SCs estarão alinhados aos elementos identificados durante a fase de análise preliminar de segurança. A certificação destes tipos de SCs será facilitada.
Sistemas Críticos de Segurança; IStar4Safety; GORE; STPA; UCM.
@inproceedings{wer202224,
author = {Ribeiro, M. and Castro, J. and Argenton, R.},
title = {Modelagem de Requisitos Iniciais de Segurança com Requirements4Safety},
booktitle = {Proceedings of the WER2022-25th Workshop on Requirements Engineering, Natal-RN, Brazil},
year = {2022},
issn = {2675-0066},
isbn = {978-65-00-73495-9},
doi = {10.29327/1298262.25-24}
}