• Informações do Trabalho

Titulo A REUSE ORIENTED APPROACH TO SUPPORT THE ENGINEERING OF SAFETY-CRITICAL SYSTEMS USING THE CHESS TOOLSET Subtítulo Autor LUCAS PAIVA BRESSAN Orientador ANDRE LUIZ DE OLIVEIRA Resumo Sistemas críticos são sistemas de software nos quais falhas podem levar a consequências catastróficas, que variam desde danos ambientais, financeiros, à propriedade até lesões e perda de vidas humanas. Em virtude de sua natureza crítica, as propriedades de segurança desses sistemas devem ser analisadas e verificadas em diferentes níveis de abstração. Assim, atividades de engenharia de segurança como Hazard Analysis and Risk Assessment (HARA), Fault Tree Analysis (FTA) e Failure Modes and Effects Analysis (FMEA) devem ser realizadas para identificar as potenciais ameaças à segurança do sistema e a propagação de potenciais falhas pelos seus componentes. A realização dessas atividades é necessária para a produzir artefatos requeridos por padrões de segurança e autoridades para certificação e liberação do sistema para operação. Entretanto, a produção de artefatos de engenharia de segurança impacta no aumento significativo dos custos e esforços de projeto. Técnicas orientadas a reúso como Engenharia de Linha de Produtos de Software, juntamente com técnicas dirigidas a modelos, vêm sendo amplamente adotadas pela indústria no desenvolvimento de sistemas críticos por proporcionar o aumento da produtividade, reduzir os custos de produção de artefatos de projeto e de engenharia de segurança e o tempo de entrega do produto final. Existem no mercado, um conjunto de ferramentas de apoio à engenharia de sistemas críticos, dentre elas, MATLAB Simulink e HIP-HOPs, CHESS e OSATE AADL \& Error Annex. Essas ferramentas visam apoiar o desenvolvimento de modelos arquiteturais e de erros de sistemas críticos. Ferramentas como CHESS fornecem apoio ao projeto, atividades de engenharia de segurança e geração de código para sistemas críticos. Apesar do nível de maturidade de CHESS, existe atualimente, uma falta de diretrizes para promover o seu uso adequado no desenvolvimento de sistemas críticos. Além disso, a falta de integração do CHESS com ferramentas de apoio ao reúso, como o Base Variability Resolution (BVR), impõe um obstáculo para o reúso sistemático de certos artefatos como HARA, elementos arquiteturais e de erros de componentes que podem ser usados como entrada aos plugins de análise CHESS-FLA e SBA. Para resolver esses problemas, neste trabalho é proposta uma abordagem dirigida a modelos para: apoiar o uso sistemático do apoio ferramental CHESS para o projeto arquitetural e atividades de engenharia de segurança em conformidade com as diretrizes de desenvolvimento definidas em padrões de segurança, e o gerenciamento de variabilidades e o reúso de artefatos pertencentes elementos arquiteturais de sistemas. A abordagem proposta foi validada em um estudo de caso realístico no domínio automotivo. Palavras-Chave Sistemas críticos, gerenciamento de variabilidades, dependability engineering, CHESS, BVR