Desenvolvimento de um modelo de processo baseado em STAMP para coleta e gerenciamento de evidências de segurança de sistemas críticos

Resumo

Sistemas Críticos (SC) estão se tornando cada vez mais presentes no cotidiano das sociedades modernas, aumentando a dependência das pessoas em relação a eles. Os SC atuais estão fortemente baseados em tecnologia computacional; eventuais falhas no funcionamento desses sistemas podem acarretar acidentes e colocar em risco a vida humana, ou trazer danos ao meio ambiente e à propriedade. SC estão presentes em muitos domínios, como em sistemas de aviação, sistemas automotivos, controle de plantas industriais (químicas, petrolíferas e nucleares), dispositivos médicos, controle de ferrovias, sistemas de defesa e aeroespaciais, entre outros. As empresas que desenvolvem sistemas críticos precisam apresentar evidências de segurança dos mesmos perante a sociedade, para que possam obter a certificação e autorização para comercialização de seus sistemas. Este projeto de pesquisa tem como objetivo especificar, desenvolver e validar um modelo de processo para coleta e gerenciamento de evidências de segurança em sistemas críticos, baseado no modelo STAMP. O arcabouço conceitual de STAMP, aliado à sua visão holística de segurança de SC, oferece fundamentação adequada que pode servir de base para um modelo de coleta e gerenciamento de evidências de segurança em SC. A metodologia de pesquisa para a condução deste projeto envolverá a realização de uma revisão sistemática da literatura, o desenvolvimento de um modelo de processo de coleta e gerenciamento de evidências de segurança, e a condução de dois estudos de caso em empresas com experiência no desenvolvimento de sistemas críticos (uma empresa sediada no Brasil, e outra sediada na Suécia). (AU)