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.
| Identifer | oai:union.ndltd.org:IBICT/oai:agregador.ibict.br.BDTD_ITA:oai:ita.br:2308 |
| Date | 02 August 2007 |
| Creators | Marcos Alécio dos Santos Romani |
| Contributors | Edgar Toshiro Yano, Carlos Henrique Netto Lahoz |
| Publisher | Instituto Tecnológico de Aeronáutica |
| Source Sets | IBICT Brazilian ETDs |
| Language | Portuguese |
| Detected Language | Portuguese |
| Type | info:eu-repo/semantics/publishedVersion, info:eu-repo/semantics/masterThesis |
| Format | application/pdf |
| Source | reponame:Biblioteca Digital de Teses e Dissertações do ITA, instname:Instituto Tecnológico de Aeronáutica, instacron:ITA |
| Rights | info:eu-repo/semantics/openAccess |
Page generated in 0.0855 seconds