Uma abordagem de safety no desenvolvimento e certificaÃÃo de software crÃtico embarcado em aeronave civil.
AUTOR(ES)
Sakugawa, Benedito Massayuki
DATA DE PUBLICAÇÃO
2007
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.
ASSUNTO(S)
certificaÃÃo aviaÃÃo civil sistemas de computadores embarcados confiabilidade de software software de seguranÃa crÃtica desenvolvimento de software
ACESSO AO ARTIGO
http://www.bd.bibl.ita.br/tde_busca/arquivo.php?codArquivo=896Documentos Relacionados
- Guia para padronizaÃÃo do desenvolvimento de software crÃtico para aplicaÃÃes espaciais.
- Um mÃtodo de certificaÃÃo de pior caso de tempo de execuÃÃo para aplicaÃÃes em sistemas operacionais de tempo real nÃo-crÃticos
- Ergonomia na aviaÃÃo: um estudo crÃtico da responsabilidade dos pilotos na causalidade dos acidentes
- Comportamento crÃtico de filmes Ising - S=1 em estruturas cÃbicas simples
- A inseguranÃa no mundo digital em ollhar crÃtico acerca da pedofilia e pornografia infantil na internet