Requirements4Safety – Construindo uma Técnica para Modelagem de Requisitos Iniciais de Segurança

Os requisitos de segurança de Sistemas Críticos de Segurança de-vem 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 a Objetivos e as da Engenharia de Segurança. Observa-se também o crescente interesse da comunidade de Engenharia de Segurança na adoção da técnica modernas de análise, tais como System-Theoretic Process Analysis- STPA. Este trabalho tem por objetivo apresentar uma proposta de pesquisa de uma nova abordagem para modelagem de requisitos iniciais de segurança chamada Requirements4Safety. 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. Portanto, os requisitos de segurança estarão integrados aos elementos identificados durante a fase de análise preliminar de segurança, o que facilitará a certificação de sistemas críticos por órgãos de regulação. Requirements4Safety será aplicada na definição dos requisitos de segurança de alguns sistemas críticos, tais como um bomba de insulina. Entre as formas de avalição da proposta está a condução de surveys, envolvendo especialistas das áreas de requisitos e segurança.