• Informações do Trabalho

Titulo UMA ABORDAGEM DIRIGIDA A MODELOS PARA APOIAR A REENGENHARIA DE SISTEMAS CRÍTICOS UTILIZANDO AADL Subtítulo Autor CLÁUDIO NAZARETH LOPES Orientador ANDRE LUIZ DE OLIVEIRA Resumo Sistemas críticos são sistemas em que uma falha pode levar a consequências catastróficas como grandes perdas financeiras e danos físicos. Esses sistemas devem atender a requisitos de disponibilidade, segurança e confiabilidade. Padrões de certificação como a ISO 26262, a SAE ARP 4754A e RTCA DO-178C, demandam que as propriedades de segurança desses sistemas sejam verificadas em diferentes níveis de abstração. Atividades de engenharia de segurança como Hazard Analysis and Risk Assessment, component fault analysis e Fault Tree Analysis devem ser realizadas para identificar potenciais ameaças à segurança do sistema e definir mecanismos para evitar ou minimizar o impacto da ocorrência de tais falhas e para produzir artefatos requeridos para a certificação desses sistemas. Técnicas dirigidas a modelos, como CHESS, OSATE AADL & AADL Error Annex, vêm sendo amplamente utilizadas para apoiar o projeto arquitetural e atividades de engenharia de segurança de sistemas críticos. A realização de atividades de engenharia de segurança a partir do código fonte desses sistemas, implementado em linguagens como C#, é um processo custoso e demorado. Dessa forma, há a necessidade de uma abordagem para apoiar a reengenharia do código fonte de sistemas críticos, por exemplo utilizando técnicas dirigidas a modelos como a AADL, para posteriormente realizar atividades de engenharia de segurança nesses sistemas. Neste projeto de conclusão de curso é apresentado um conjunto sistemático de passos para apoiar a reengenharia de código fonte de sistemas criticos para a linguagem AADL em uma abordagem. A abordagem proposta foi avaliada em um estudo de caso do domínio aeroespacial. Como resultados deste trabalho, foram identificados os mapeamentos preliminares entre elementos de código fonte e suas representações correspondentes em AADL e foram formalizados os passos necessários para realizar a reengenharia do código fonte para modelos AADL. Os mapeamentos identificados foram preliminarmente validados em um estudo de caso do domínio aeroespacial. Palavras-Chave Reengenharia, Sistemas Críticos, AADL