Show simple item record

dc.contributor.advisorMartins, Luiz Eduardo Galvão [UNIFESP]
dc.contributor.authorSlavov, Talita Marques Ruiz [UNIFESP]
dc.coverage.spatialSão José dos Campos, SPpt_BR
dc.date.accessioned2021-05-20T17:25:12Z
dc.date.available2021-05-20T17:25:12Z
dc.date.issued2021-04-30
dc.identifier.citationSlavov, T. M. R, An Audit Model for Safety-Critical Software. Dissertação (Mestrado Profissional em Inovação Tecnológica) - UNIFESP. São Paulo, p. 204. 2021pt_BR
dc.identifier.urihttps://repositorio.unifesp.br/handle/11600/61002
dc.description.abstractAtualmente o uso de software considerados complexos e críticos está crescendo em diversos setores da indústria como a aeronáutica com seus diversos sistemas embarcados em aeronaves e a médica com seus dispositivos médicos cada vez mais avançados. Devido a isso, a quantidade de standards dedicados a esse tipo de desenvolvimento está crescendo nos últimos anos e autoridades regulamentadoras estão reconhecendo a sua aplicabilidade e, em alguns casos, tornando como parte dos requisitos obrigatórios de certificação ou aprovação. O intuito de uma auditoria de software é verificar que o software desenvolvido está de acordo com a norma aplicável, no entanto os modelos existentes não permitem o auditor ter a flexibilidade de adequar o modelo de auditoria às suas necessidades. Como parte dessa pesquisa, diferentes modelos de desenvolvimento software foram considerados, bem como standards da área aeronáutica (RTCA DO-178C) e área médica (IEC 62304) foram estudados quanto as suas recomendações e requisitos para desenvolvimento de software safety-crítico. Como objetivo dessa dissertação, um modelo de auditoria de software foi proposto com as atividades que são necessárias para a condução de auditoria de software safety-crítico, permitindo ao auditor aplicar o modelo de acordo com as atividades que precisam ser auditadas, dando a flexibilidade necessária para o escopo da auditoria, bem como um conjunto de perguntas para a auditoria de software desenvolvido utilizando RTCA DO-178C e IEC 62304 foi sugerido e avaliado por especialistas de software para garantir a maturidade e eficiência das perguntas propostas. Além da avaliação das perguntas, também foi conduzido um estudo de caso, em uma empresa aeroespacial, com duas instanciações para avaliar a maturidade do modelo de auditoria de software proposto.pt_BR
dc.description.abstractNowadays, the use of software considered complex and critical is growing in several industry sectors, such as aeronautics with its various systems embedded in aircraft and the medical one with its increasingly advanced medical devices. Because of this, the number of standards dedicated to this type of development is growing in recent years, and regulatory authorities are recognizing its applicability and, in some cases, making it part of the mandatory certification requirements or approval. The software audit intent is to verify that the software developed complies with the applicable standard. However, the existing audit models do not allow the auditor to tailor the audit model to its audit necessities. As part of this research, the various software development models were considered, and standards in the aeronautical (RTCA DO-178C) and medical (IEC/ISO 62304) areas were studied regarding their guidelines and requirements for safety-critical software development. This thesis aims to propose a software audit model with the activities necessary for conducting a safety-critical software audit, giving the auditor the necessary flexibility in the audit execution without the need to achieve specific predetermined milestones. Additionally, a set of questions for software auditing developed using RTCA DO-178C and IEC 62304 has been suggested and evaluated by software experts to ensure the maturity and efficiency of the proposed questions. In addition to evaluating the questions, a case study was also conducted in an aerospace company, with two instances to evaluate the proposed software audit model’s maturity.pt_BR
dc.description.sponsorshipNão recebi financiamentopt_BR
dc.format.extent204 f.pt_BR
dc.languageengpt_BR
dc.publisherUniversidade Federal de São Paulopt_BR
dc.rightsAcesso abertopt_BR
dc.subjectAuditoriapt_BR
dc.subjectSoftware safety-críticopt_BR
dc.subjectModelo de auditoria de softwarept_BR
dc.titleAn audit model for safety-critical softwarept_BR
dc.typeDissertação de mestradopt_BR
unifesp.campusInstituto de Ciência e Tecnologia (ICT)pt_BR
unifesp.graduateProgramMestrado Profissional Interdisciplinar em Inovação Tecnológicapt_BR
unifesp.knowledgeAreaOutrapt_BR
unifesp.researchAreaProcessos e Produtos Tecnológicospt_BR
dc.contributor.authorLatteshttp://lattes.cnpq.br/0704234199229587pt_BR
dc.contributor.advisorLatteshttp://lattes.cnpq.br/0203910403476737pt_BR
dc.contributor.advisor-coMarques, Johnny Cardoso
dc.contributor.advisor-coLatteshttp://lattes.cnpq.br/6831514861193749pt_BR
unifesp.departamentoCiência e Tecnologiapt_BR
unifesp.assessoresproreitoriasPró-reitoria de Pós-graduação e Pesquisapt_BR
unifesp.graduacaoEngenharia de Computaçãopt_BR
unifesp.especializacaoNão se aplicapt_BR
unifesp.extensaoNão se aplicapt_BR
unifesp.aperfeicoamentoNão se aplicapt_BR


Files in this item

This item appears in the following Collection(s)

Show simple item record