Informações do Trabalho
Titulo
SACM EDITOR: AN OMG STANDARD COMPLIANT MODEL-BASED TOOL FOR SPECIFICATION OF ASSURANCE CASES FOR SAFETY-CRITICAL SYSTEMS
Subtítulo
Autor
LUIS FELIPE DE ALMEIDA NASCIMENTO
Orientador
ANDRE LUIZ DE OLIVEIRA
Resumo
Sistemas críticos são sistemas onde falhas podem resultar em mortes ou danos sérios como econômicos, à propriedade ou ao ambiente do sistema. Devido a sua natureza crítica, esses sistemas devem ser desenvolvidos de acordo com as normas prescritas nos padrões de segurança, tais padrões exigem que as propriedades de segurança seja mostradas em diferentes níveis de abstração, como identificar ameaças potenciais à segurança e mitigar-las no nível de requisitos, e no arquitetural analisar a propagação de falhas através dos sub-sistemas e identificar a contribuição de cada componente. Os padrões do domínio automotivo e aeroespacial recomendam ou exigem a especificação de um caso de garantia para obter a certificação. Um caso de garantia ou caso de segurança fornece um modo de argumentar sobre os motivos do sistema ser seguro para operar em um contexto especifico, apoiado-o por um corpo de evidências. Goal Structured notation (GSN) e Structured Assurance Case Metamodel (SACM) são anotações gráficas que suportam a especificação de um caso de garantia. O desenvolvimento orientado a modelos foi amplamente adotado no desenvolvimento e garantia de sistemas críticos. Atualmente, existe uma falta de ferramentas que ofereçam suporte a especificação de caso de garantia de acordo com o padrão OMG-SACM e transformação do modelo das notações GSN para SACM. Para preencher essa lacuna, este projeto propõe o desenvolvimento de uma ferramenta que suporte a especificação de caso de garantia usando a notação SACM e fornece transformações de modelo GSN2SAMC para suportar a compatibilidade entre as duas notações de modelagem de caso de garantia. Neste trabalho, um editor gráfico foi desenvolvido nas plataformas EclipseModeling Framework (EMF) e Graphical Modeling Framework (GMF). A ferramenta foi validada em dois estudos de caso, um no domínio automotivo e outro no domínio aeroespacial. O editor SACM desenvolvido contribuiu para apoiar especificação casos de garantia compatíveis com SACM e reduziu o custo para faze-la.
Ano:
2019
Palavras-Chave
Caso de Garantia, Caso de Segurança, SACM, SACM 2.1, Editor.
Obter PDF
Obter arquivos extras
Obter Bibtex