Detalhes bibliográficos
| Ano de defesa: |
2009 |
| Autor(a) principal: |
Renner Costa Martins |
| 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=1224
|
Resumo: |
O grande crescimento do uso de software em sistemas aeronáuticos fez surgir uma série de critérios a respeito da manutenção da segurança em aplicações aeronáuticas. O padrão RTCA/DO-178B é um dos mais aceitos no meio aeronáutico, justamente por consolidar vários critérios para certificar que um software aeronáutico é seguro. O objetivo desse trabalho é analisar um desses critérios, que exige o tratamento de Dead Codes em software aeronáutico. Além disso, para que essa análise reflita o ambiente de desenvolvimento de software contemporâneo, também será abordada a ocorrência de Dead Codes em software aeronáutico desenvolvido com o uso da metodologia Model Based Design, que tem sido cada vez mais utilizada. |
