A Safety Requirement Elicitation Technique of Safety-Critical System Based on Scenario

Du, Junwei; Wang, Jiqiang; Feng, Xiaohua

doi:10.1007/978-3-319-09333-8_15

Cited by 4 publications

(5 citation statements)

References 7 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…Sendo assim, para uma correta especificação dos requisitos de segurança é necessário que previamente seja realizada uma análise de perigos, ou seja, a identificação de todos os perigos que possam ocorrer com o sistema, para que posteriormente sejam definidos os requisitos que visem mitigar e/ou minimizar estes perigos. Portanto, na etapa de especificação de requisitos de segurança em SCSs é importante que fatores potenciais de perigo sejam visualizados e que as medidas de proteção que sejam tomadas [Du et al 2014].…”

Section: Sistemas Críticos De Segurançaunclassified

“…A literatura apresenta poucas técnicas de elicitação de requisitos no domínio de sistemas críticos de segurança. Pode-se citar três técnicas: [Du et al 2014], [Martins e De Oliveira 2014] e [Provenzano et al 2017]. A proposta de [Du et al 2014] é baseada na utilização de cenários e permite o refinamento da análise de segurança em comportamentos de software através de cenários específicos.…”

Section: Trabalhos Relacionadosunclassified

“…Pode-se citar três técnicas: [Du et al 2014], [Martins e De Oliveira 2014] e [Provenzano et al 2017]. A proposta de [Du et al 2014] é baseada na utilização de cenários e permite o refinamento da análise de segurança em comportamentos de software através de cenários específicos. Ela utiliza um método de análise de segurança, a Fault Tree Analysis (FTA) utilizado para descobrir requisitos de segurança combinado com cenários, de modo que se torne possível que a análise de segurança expresse com precisão os estados perigosos do software.…”

Section: Trabalhos Relacionadosunclassified

“…Sistemas críticos de segurança são compostos por um conjunto de hardware, software, processos, dados e pessoas [Du et al 2014], que caso falhem, podem resultar em acidentes que provocam danos ao meio ambiente, perdas financeiras, ferimentos e até a perda de vidas [Leveson 2011].…”

Section: Introdução E Caracterização Do Problemaunclassified

See 3 more Smart Citations

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

Magro

Castro

2020

Anais Estendidos Do XI Congresso Brasileiro De Software: Teoria E Prática (CBSoft 2020)

View full text Add to dashboard Cite

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.

show abstract

Section: Sistemas Críticos De Segurançaunclassified

Section: Trabalhos Relacionadosunclassified

Section: Introdução E Caracterização Do Problemaunclassified

See 2 more Smart Citations

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

Magro

Castro

2020

Anais Estendidos Do XI Congresso Brasileiro De Software: Teoria E Prática (CBSoft 2020)

View full text Add to dashboard Cite

show abstract

“…Safety-critical systems refer to the computer software and hardware system in the safety field (DU et al, 2014), whose failure could result in accidents that cause damage to the environment, financial losses, injury to people, and even the loss of lives (LEVESON, 2012), such as in the automobiles, aircraft, medical domains. The development of these systems is traditionally associated with waterfall and V-model that involve huge effort in planning, specification, and documentation.…”

Section: Introductionmentioning

confidence: 99%