ELICERE: o processo de elicitação de metas de dependabilidade para sistemas computacionais críticos: estudo de caso aplicado a área espacial.

Abstract

RESUMOOs avanços tecnológicos na eletrônica e no software têm sido rapidamente assimilados pelos sistemas computacionais demandando novas abordagens para a engenharia de sistemas e de software prover produtos confiáveis, sob critérios bem estabelecidos de qualidade. Dentro deste contexto, o processo de elicitação de requisitos tem um papel estratégico no desenvolvimento de projetos. Problemas na atividade de elicitação contribuem para produzir requisitos pobres, inadequados ou mesmo inexistentes que podem causar a perda de uma missão, desastres materiais e financeiros, a extinção prematura de um projeto ou promover uma crise organizacional. Esta tese apresenta o processo de elicitação de metas de dependabilidade, chamado ELICERE, aplicado em sistemas computacionais críticos, que se fundamenta nas técnicas de engenharia de requisitos orientada a metas, chamada i*, e nas técnicas de engenharia de segurança HAZOP e FMEA, que identificam e analisam perigos operacionais de um sistema. Depois de criar os modelos do sistema usando os diagramas i*, eles são analisados através de palavras-guia baseadas no HAZOP e FMEA, de onde as metas relacionadas à dependabilidade são extraídas. Através desta abordagem interdisciplinar, ELICERE promove a identificação de metas, que atendam aos requisitos de qualidade, relativos à dependabilidade, para sistemas computacionais críticos ainda na fase de concepção de um projeto. A abordagem do estudo de caso é baseada em um estudo qualitativo e descritivo de um caso único, usando o projeto de um foguete lançador hipotético, chamado V-ALFA. A aplicação do ELICERE neste projeto espacial teve a intenção de aperfeiçoar as atividades de engenharia de requisitos do sistema computacional do Veículo Lançador de Satélites Brasileiro, e também como forma de explicar como o processo ELICERE funciona. Palavras-chave: Dependabilidade. Metas. Elicitação. Sistemas computacionais críticos. Projeto espacial. ABSTRACTThe technological advances in electronic and software have been rapidly assimilated by computer systems, demanding new approaches for software and system engineering to provide reliable products, under well-known quality criteria. In this context, requirements engineering has a strategic role in project development.Problems in the elicitation activity contribute to producing poor, inadequate or even non-existent requirements that can cause mission losses, material or financial disasters, premature project termination or promote an organizational crisis. This thesis introduces the dependability goals elicitation process, called ELICERE, applied to critical computer systems based on a goal-oriented requirement engineering technique, called i*, and the safety engineering techniques HAZOP and FMEA, which will be applied for the identification and analysis of operational risks of a system. After creating the system models using i* diagrams, they are analyzed through guidewords based on HAZOP and FMEA, from which goals related to dependability are extracted. Through this interdisciplinary approach, EL...

Identifying dependability requirements for space software systems

“…These attributes are also results of researches (Romani, 2007;Lahoz, 2009), and based on Brazilian and…”

8.2.2 Requirements and Dependability Obstacles That Must Be Overcome

“…Overcoming obstacle 1.2: A good way to evaluate if the risks associated to each component are acceptable would be to design the system in terms of components, goals, soft-goals, tasks and resources (Yu, 1995) and after that perform a hazard analysis, based on HAZOP guidewords, applied to those system components (Lahoz, 2009), . If that is the case, new system goals can be set right away.…”

ontoELICERE: Um Conjunto de Ontologias para Representar os Elementos de uma Análise de Perigos em Sistemas Aeroespaciais

“…Buscando minimizar estas dificuldades, em 2009 foi proposto o processo ELICERE [5]. Este processo integra a técnica de engenharia de requisitos orientados a metas ISTAR [6] com conceitos de técnicas de engenharia de segurança, como HAZOP e FMEA.…”