A abordagem de safety na aviação civil, por ser fortemente baseada na falha de componentes como principal causa de acidentes, influenciou a maneira como se desenvolve e certifica o software embarcado. Várias autoridades certificadoras reconhecem a norma RTCA/DO-178B como meio aceitável para certificação de software crítico embarcado na aviação civil. Nela, o software é visto como um item do componente e deve ter um nível de integridade compatível com sua função desempenhada nesse componente. Essa integridade se traduz em grau de cuidado no desenvolvimento e rigor de testes do software, ou seja, safety é endereçado de forma indireta, pois falhas de software que têm potencial de afetar safety não são explicitamente identificadas e tratadas. Essa abordagem indireta tem sido questionada e o uso de novas tecnologias no desenvolvimento de software tem exposto suas limitações. Paralelamente, a engenharia de safety amadureceu e diversas técnicas foram desenvolvidas para avaliação de safety da aeronave e seus sistemas. Esse trabalho tem como objetivo adicionar a abordagem direta de safety de software na prática corrente de desenvolvimento e certificação de software crítico embarcado em aeronaves civis. Uma abordagem direta de safety de software é capaz de complementar a prática corrente, minimizando as dificuldades que o uso de novas tecnologias tem introduzido no processo de certificação. É apresentada a prática corrente dentro do contexto de desenvolvimento e certificação da aeronave e seus sistemas, e algumas das novas tecnologias e seus impactos. Em seguida, é introduzido o modelo que adicionada abordagem direta de safety de software. Finalizando, são identificados os benefícios desse modelo em relação às novas tecnologias apresentadas, e feita descrição de casos reais e de trabalhos da comunidade da aviação civil e acadêmica para fornecer evidências que dão suporte ao modelo apresentado.
| Identifer | oai:union.ndltd.org:IBICT/oai:agregador.ibict.br.BDTD_ITA:oai:ita.br:396 |
| Date | 28 June 2007 |
| Creators | Benedito Massayuki Sakugawa |
| Contributors | Edgar Toshiro Yano |
| 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.0033 seconds