Processo de análise de requisitos de dependabilidade para software espacial

• Ano de defesa: 2007
• Autor(a) principal: Marcos Alécio dos Santos Romani
• Tipo de documento: Dissertação
• Tipo de acesso: Acesso aberto
• Idioma: por
• Instituição de defesa: Instituto Tecnológico de Aeronáutica
• Palavras-chave em Português: Desenvolvimento de software; Programas de aplicação (computadores); Requisitos; Especificações técnicas; Implementação de projetos; Revisão de projetos; Espaçonaves; Programas espaciais; Engenharia de software; Engenharia aeroespacial
• Link de acesso: http://www.bd.bibl.ita.br/tde_busca/arquivo.php?codArquivo=2308

Partindo do pressuposto de que software começa a atender cada vez mais um número crescente de funcionalidades em sistemas espaciais, é fundamental que a atividade de especificação de requisitos assuma um papel decisivo no esforço de se alcançar um resultado satisfatório e seguro em projetos desta natureza. No que diz respeito a sistemas aeroespaciais críticos, onde a ambigüidade, a não-completeza e a falta de requisitos podem provocar acidentes graves, envolvendo prejuízos econômicos, materiais e humanos, nos obriga a um tratamento mais cuidadoso sobre o assunto. Um caminho de garantir a qualidade em projetos da área espacial, no que diz respeito a segurança, confiabilidade e outros fatores relacionados a dependabilidade, é através do uso de técnicas e fatores de segurança, para a identificação de requisitos não-funcionais, ainda em fases iniciais de projeto, como a da especificação de sistema. Acredita-se que definir quais são os requisitos relacionados a fatores de qualidade mais importantes para as aplicações aeroespaciais do IAE e quais são as técnicas relacionadas a dependabilidade mais apropriadas para avaliá-los permitirá um amadurecimento e uma estabilidade dos requisitos e conseqüentemente do projeto ainda na fase de sua concepção. O objetivo deste trabalho é se desenvolver um processo que auxilie o desenvolvimento de projetos de software da área espacial, ainda na fase de especificação de requisitos, no que tange a identificação de fatores de qualidade relacionados a dependabilidade. O trabalho consiste de uma apresentação de quais são os atributos de dependabilidade mais adequados para projetos de software da área de veículos espaciais do IAE e de uma investigação de quais são as técnicas de análise de segurança mais adequadas para a avaliação dos mesmos, de forma a produzir especificações mais completas, consistentes e confiáveis.