Detalhes bibliográficos
| Ano de defesa: |
2007 |
| Autor(a) principal: |
Benedito Massayuki Sakugawa |
| Orientador(a): |
Não Informado pela instituição |
| Banca de defesa: |
Não Informado pela instituição |
| Tipo de documento: |
Dissertação
|
| Tipo de acesso: |
Acesso aberto |
| Idioma: |
por |
| Instituição de defesa: |
Instituto Tecnológico de Aeronáutica
|
| Programa de Pós-Graduação: |
Não Informado pela instituição
|
| Departamento: |
Não Informado pela instituição
|
| País: |
Não Informado pela instituição
|
| Palavras-chave em Português: |
|
| Link de acesso: |
http://www.bd.bibl.ita.br/tde_busca/arquivo.php?codArquivo=396
|
Resumo: |
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. |
