Elicitação de Requisitos em Sistemas Críticos de Segurança

• Sthéfanie Dal Magro Universidade Federal de Pernambuco
• Jaelson Castro Universidade Federal de Pernambuco

DOI: https://doi.org/10.5753/cbsoft_estendido.2020.14612

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 técnica para elicitação de requisitos no contexto de sistemas críticos de segurança que posteriormente serão modelados através da notação iStar4Safety. Método: Inicialmente, será realizado um levantamento bibliográfico com objetivo de investigar as técnicas de elicitação de requisitos existentes no domínio dos SCSs. A partir deste levantamento bibliográfico, será proposta uma nova técnica para descoberta de requisitos para Sistemas Críticos de Segurança. Para validar a técnica proposta será realizado um quase-experimento. Resultados esperados: Com este trabalho definiremos uma técnica de elicitação de requisitos para SCSs que permitirá a modelagem dos requisitos de segurança através de uma extensão de segurança da linguagem iStar. Conclusão: Os resultados encontrados irão auxiliar no processo de descoberta e modelagem de requisitos no contexto de sistemas críticos de segurança. Com isso, pretendemos contribuir de maneira positiva no desenvolvimento destes sistemas, buscando mitigar perigos e prevenir acidentes.

Palavras-chave: Engenharia de requisitos, Sistemas críticos de segurança, Elicitação de requisitos

Referências

Broomfield, E. J.; Chung, P. W. H. (1997). “Safety assessment and the software requirements specification”. In Reliability Engineering & System Safety, v. 55, n. 3, p. 295-309, 1997.

Du, J., Wang, J., Feng, X. (2014). A safety requirement elicitation technique of safety-critical system based on scenario. In Intelligent Computing Theory, p.127–136.

Knight, J. C. (2002). Safety critical systems. In Proceedings of the 24th International Conference on Software Engineering - ICSE ’02.

Kotonya, G and Sommervile, I. (1998). Requirements Engineering: Processes and Techniques, John Wiley & Sons, Inc., New York.

Leveson, N. (2011). Engineering a Safer World: Systems Thinking Applied to Safety. Mit Press.

Martins, L.E.G, De Oliveira, T. (2014). A case study using a protocol to derive safety functional requirements from fault tree analysis. In: 2014 IEEE 22nd International Requirements Engineering Conference (RE). IEEE, p. 412-419.

Provenzano, L. et al. (2017) An Ontological Approach to Elicit Safety Requirements. In: 24th Asia-Pacific Software Engineering Conference (APSEC). IEEE, p. 713-718.

Raspoting, C., Karpati, P., Katta, V. (2012). A combined process for elicitation and analysis of safety and security requirements. In: Enterprise, business-process and information systems modeling. Springer, Berlin, Heidelberg, p. 347-361.

Ribeiro, S. M. S. (2019) Desenvolvimento de uma extensão da linguagem de modelagem iStar para sistemas críticos de segurança – iStar4Safety. Dissertação (Mestrado em Ciência da Computação) – Universidade Federal de Pernambuco, Recife.

Sommervile, l. (2011). Engenharia de Software, Pearson Prentice Hall, São Paulo.

Vilela, J. Castro, J. Martins, L. E. G. and Gorschek, T, (2017). Integration between requirements engineering and safety analysis: A systematic literature review. In Journal of Systems and Software, Vol. 125, p. 68-92.

Vilela, J., Castro, J., Martins, L. E. G., & Gorschek, T. (2018). Safe-RE. In Proceedings of the XXXII Brazilian Symposium on Software Engineering, p. 196-201.

Vilela, J. et al. (2020) Safety Practices in Requirements Engineering: The Uni-REPM Safety Module. In IEEE Transactions on Software Engineering, vol. 46, no. 3, p. 222-250.

Yu, E. (1995) Modelling Strategic Relationships for Process Reengineering, Ph.D. thesis, also Tech. Report DKBS-TR94-6, Dept. of Computer Science, University of Toronto.