Objetivo da Pesquisa: Criar um modelo de auditoria de software baseado em assurance cases que possa ser aplicado em projetos de desenvolvimento de software visando avaliar softwares aeroespaciais quanto à sua qualidade, conformidade e integridade.