10.29327/1298731.22-8
Sistemas Críticos de Segurança são caracterizados por serem sistemas que caso falhem ou não se comportem como esperado, podem levar à danos ou até perdas de vidas, destruição de propriedade, perdas de missões e/ou dano ambiental. A literatura reporta uma maior probabilidade de erros relacionados à segurança (do inglês safety) estarem associados às fases iniciais do processo de desenvolvimento (elicitação e especificação de requisitos) do que às fases finais (tais como a codificação). Objetivo: Este trabalho propõe uma extensão da linguagem iStar 2.0, a denominada iStar4safety, para possibilitar a modelagem de requisitos de segurança. Método: A definição dos novos construtores para modelar características relevantes a segurança foi realizada analisando os conceitos essenciais definidos pela literatura especializada. Além disso, propõe-se o metamodelo da linguagem juntamente com as regras de validação. Resultados: A linguagem iStar4Safety tem como foco a modelagem dos atributos de segurança no estágio inicial do desenvolvimento de sistemas, adotando uma abordagem orientada a objetivos. Um Sistema Crítico, que visa controlar o cruzamento de ferrovias, foi modelado usando a extensão proposta. Conclusões: Os resultados de uma avaliação preliminar indicam que iStar4Safety é conservativa, isto é, preserva os construtores da linguagem iStar 2.0, sendo adequada para descrever os requisitos iniciais de Segurança de Sistemas Críticos
Keywords: Engenharia de Requisitos; Sistemas Críticos; Safety; iStar; Extensão
@inproceedings{wer201905,
author = {Ribeiro, M. and Castro, J. and Vilela, J. and Pimentel, J.},
title = {iStar4Safety: Uma Extensão de iStar para Modelagem de Requisitos de Segurança em Sistemas Críticos},
booktitle = {Anais do Workshop em Engenharia de Requisitos - Proceedings of the 22nd Workshop on Requirements Engineering (WER2019)},
year = {2019},
issn = {2675-0066},
isbn = {978-85-907171-2-6},
doi = {10.29327/1298731.22-8}
}