ME-MPS: Uma Proposta de Modelo de Extensão do MPS.br para Software Críticos em Ambientes Regulados
Resumo
Software Críticos quanto a segurança são aqueles cuja falha põe em risco vidas humanas ou podem causar grandes perdas financeiras. O sucesso na construção deste tipo de software depende do nível de segurança que seu processo de construção pode assegurar. Ambientes regulados por normas de segurança (Safety Standards) impõe às organizações de desenvolvimento de software crítico requisitos que visam a guiá-las em um processo seguro de construção. Por outro lado, o Modelo de Referência MPS.br para software (MR-MPS-SW) tem por objetivo ampliar a qualidade do processo de software de um amplo conjunto de empresas brasileiras, de pequeno e médio porte, de nichos variados, sendo então um modelo generalista de alta aplicabilidade e baixa especificidade de domínio de aplicação. Neste estudo é proposto o ME-MPS, um Modelo de Extensão ao MR-MPS-SW que adiciona Processos e Resultados Esperados para orientar entidades com interesses no estudo, adaptação ou aplicação do modelo nacional em projetos de software críticos, sendo o modelo a principal contribuição. Por meio do ME-MPS é possível derivar um processo de verificação e adaptação do MR-MPS-SW para atender aos requisitos de uma determinada norma de segurança (norma-alvo). Além do ME-MPS, este estudo apresenta, como contribuição secundária, um processo de adaptação definido para atingir os Resultados Esperados estabelecidos pelo modelo de extensão. A fim de verificar uma hipótese de pesquisa que considerava existir uma distância de conformidade entre o MR-MPS-SW e a norma RTCA DO-178C — amplamente utilizada no desenvolvimento de software crítico na aviação — e provar o conceito do modelo proposto, uma simulação de implementação foi executada. Nesta, foi definido um ciclo de vida completo (processos, tarefas, atividades, artefatos, etc.) para verificação e adaptação do MR-MPS-SW, com o objetivo de conformá-lo com um subconjunto de aspectos da norma RTCA DO-178C.
Referências
Machado, E. M. (2022). Me-mps : um modelo de extensão do mps.br para software críticos em ambientes regulados. Master’s thesis.
Marques, J. and Cunha, A. (2017). Verification scenarios of onboard databases under the rtca do-178c and the rtca do-200b. In 2017 IEEE/AIAA 36th Digital Avionics Systems Conference (DASC).
Marques, J. and Cunha, A. (2018). Tailoring traditional software life cycles to ensure compliance of rtca do-178c and do-331 with model-driven design. In 2018 IEEE/AIAA 37th Digital Avionics Systems Conference (DASC).
RTCA (2011). Rtca do -178c software considerations in airborne systems and equipment certification. Technical report.
