Um metamodelo para casos de garantia de sistemas críticos e intensivos em software baseado em análise do conceito inicial de sistemas teóricos

• Ano de defesa: 2019
• Autor(a) principal: Porfírio, Emerson José
• Orientador(a): Federson, Fernando Marques
• Banca de defesa: Federson, Fernando Marques, Carvalho, Sérgio Teixeira de, Melo, Francisco Ramos de
• Tipo de documento: Dissertação
• Tipo de acesso: Acesso aberto
• Idioma: por
• Instituição de defesa: Universidade Federal de Goiás
• Programa de Pós-Graduação: Programa de Pós-graduação em Ciência da Computação (INF)
• Departamento: Instituto de Informática - INF (RG)
• País: Brasil
• Palavras-chave em Português: Casos de garantia de software; Certificação; Metamodelos; Confiança; STECA
• Palavras-chave em Inglês: Software assurance cases; Certification; Metamodels; Confidence; STECA
• Área do conhecimento CNPq: CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO
• Link de acesso: http://repositorio.bc.ufg.br/tede/handle/tede/9586

With the increasing participation of software in so-called critical systems, several domains create standards and certification processes with the intention of guaranteeing the dimensions of Confidence in Software-Intensive Critical Systems (SICS). The evolution is constant and research groups have presented new approaches, methods and tools with the aim of making the requirements of standards more efficient and effective in the development of a SICS. Among the tools, the Software Assurance Case has gained prominence. This work explored the state of the art on the application of Assurance Cases in Software Certification through a Systematic Review of Literature. It was also possible to propose a Metamodel to contribute to the generation of more robust and efficient Assurance Case Models, explaining the objectives of the standards and demonstrating the hierarchical control between the actors, processes and their products, from the initial stages of the SICS project. The Metamodel was instantiated according to SACM 2.0 Standard and uses concepts from the RAF metamodel and the STECA tool. A Case Study allowed the application of the proposed Metamodel in the generation of a Assurance Case Model for Roll Rate Control (RRC) equipment. In this way, it was possible to demonstrate the utility of the Metamodel in generating Assurance Cases that meet and clarify the prescriptions of the Software Considerations in Airborne Systems and Equipment Certification (DO-178C) standard.