A metamodel for assurance cases of software-intensive critical systems based on systems-theoretic early concept analisys

Autor: Porfírio, Emerson José
Přispěvatelé: Federson, Fernando Marques, Carvalho, Sérgio Teixeira de, Melo, Francisco Ramos de
Jazyk: portugalština
Rok vydání: 2019
Předmět:
Zdroj: Biblioteca Digital de Teses e Dissertações da UFG
Universidade Federal de Goiás (UFG)
instacron:UFG
Popis: Com a participação cada vez mais intensa do software nos chamados sistemas críticos, diversos domínios criam normas e processos de certificação com a intenção de garantir as dimensões da Confiança nos Sistemas Críticos e Intensivos em Software (SCIS). A evolução é constante e grupos de pesquisas tem apresentado novas abordagens, métodos e ferramentas com o objetivo de tornar mais eficiente e eficaz as exigências das normas no desenvolvimento de um SCIS. Entre as ferramentas, o Caso de Garantia de Software (Software Assurance Case) tem ganho destaque. Este trabalho explorou o estado da arte sobre a aplicação dos Casos de Garantia na Certificação de Software por meio de uma Revisão Sistemática da Literatura. Também foi possível propor um Metamodelo para contribuir na geração de Modelos de Casos de Garantia mais robustos eeficientes, explicitando os objetivos das normas e evidenciando o controle hierárquico entre os atores, processos e seus produtos, desde as fases iniciais do projeto do SCIS. O Metamodelo foi instanciado de acordo com Padrão SACM 2.0 e utiliza conceitos do metamodelo RAF e da ferramenta STECA. Um Caso de Estudo permitiu a aplicação do Metamodelo proposto na geração de um Modelo de Caso de Garantia para o equipamento Roll Rate Control (RRC). Desta forma, foi possível evidenciar a utilidade do Metamodelo ao gerar Casos de Garantia que atendem e explicitam as prescrições da norma Software Considerations in Airborne Systems and Equipment Certification (DO-178C). 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.
Databáze: OpenAIRE
Externí odkaz: