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.
| Identifer | oai:union.ndltd.org:IBICT/oai:agregador.ibict.br.BDTD_ITA:oai:ita.br:1224 |
| Date | 21 October 2009 |
| Creators | Renner Costa Martins |
| Contributors | Marcelo José Ruv Lemes, Sérgio Roberto Matiello Pellegrino, Jony Santellano |
| 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.0013 seconds