Uma abordagem de qualidade e confiabilidade para software crítico
Autor(a) principal: | |
---|---|
Data de Publicação: | 1995 |
Tipo de documento: | Dissertação |
Idioma: | por |
Título da fonte: | Biblioteca Digital de Teses e Dissertações do ITA |
Texto Completo: | http://www.bd.bibl.ita.br/tde_busca/arquivo.php?codArquivo=1662 |
Resumo: | A certificacao de softwares com requisitos de alta confiabilidade nao pode ser obtida apenas atraves do emprego de tecnicas convencionais de Engenharia de Software. A execucao de testes nesses tipos de softwares, com o intuito de se alcancar niveis aceitaveis de confiabilidade, constitui-se em uma tarefa impraticavel, principalmente por limitacoes de tempo. Este trabalho de pesquisa tem por objetivo avaliar, em nivel de prototipo, a Confiabilidade do Software Aplicativo de Bordo (SOAB), um software critico embarcado em um Lancador de Satelites Brasileiro (LANSAB). Para tanto, procedeu-se a uma aplicacao da tecnica de Analise de Software por Arvore de Falhas (Software Fault Tree Analysis - SFTA) ao desenvolvimento do SOAB, na fase de analise de requisitos, utilizando-se a ferramenta de software FTA, versao 2.1, do ambiente integrado de ferramentas de software SURTEC, da empresa Tecnitas, deorigem francesa, processando em um microcomputador padrao IBM - PC 386. A aplicacao da tecnica SFTA foi inserida no contexto de uma metodologia para a avaliacao da confiabilidade do SOAB, tendo sido tambem utilizadas duas outras tecnicas de Analise de Risco: a Analise Preliminar de Vulnerabilidades (Preliminary Hazard Analysis - PHA) e a Analise de Modos de Falha de Software, Efeitos e Criticalidade (Software Failure Mode, Effects and Criticality Analysis - Software FMECA). A metodologia em questao foi aplicada asfuncoes do SOAB ativas na fase de voo do Lancador de Satelites, a fim de apontar as partes mais criticas dos programas de execucao dessas funcoes, a serem, posteriormente, aperfeicoadas durante a fase de testes do SOAB. |
id |
ITA_f7e6ee3fdc29f3606473f20f9ac58f7a |
---|---|
oai_identifier_str |
oai:agregador.ibict.br.BDTD_ITA:oai:ita.br:1662 |
network_acronym_str |
ITA |
network_name_str |
Biblioteca Digital de Teses e Dissertações do ITA |
spelling |
Uma abordagem de qualidade e confiabilidade para software críticoProgramas de computadoresConfiabilidadeQualidadeEngenharia de softwareComputaçãoA certificacao de softwares com requisitos de alta confiabilidade nao pode ser obtida apenas atraves do emprego de tecnicas convencionais de Engenharia de Software. A execucao de testes nesses tipos de softwares, com o intuito de se alcancar niveis aceitaveis de confiabilidade, constitui-se em uma tarefa impraticavel, principalmente por limitacoes de tempo. Este trabalho de pesquisa tem por objetivo avaliar, em nivel de prototipo, a Confiabilidade do Software Aplicativo de Bordo (SOAB), um software critico embarcado em um Lancador de Satelites Brasileiro (LANSAB). Para tanto, procedeu-se a uma aplicacao da tecnica de Analise de Software por Arvore de Falhas (Software Fault Tree Analysis - SFTA) ao desenvolvimento do SOAB, na fase de analise de requisitos, utilizando-se a ferramenta de software FTA, versao 2.1, do ambiente integrado de ferramentas de software SURTEC, da empresa Tecnitas, deorigem francesa, processando em um microcomputador padrao IBM - PC 386. A aplicacao da tecnica SFTA foi inserida no contexto de uma metodologia para a avaliacao da confiabilidade do SOAB, tendo sido tambem utilizadas duas outras tecnicas de Analise de Risco: a Analise Preliminar de Vulnerabilidades (Preliminary Hazard Analysis - PHA) e a Analise de Modos de Falha de Software, Efeitos e Criticalidade (Software Failure Mode, Effects and Criticality Analysis - Software FMECA). A metodologia em questao foi aplicada asfuncoes do SOAB ativas na fase de voo do Lancador de Satelites, a fim de apontar as partes mais criticas dos programas de execucao dessas funcoes, a serem, posteriormente, aperfeicoadas durante a fase de testes do SOAB.Instituto Tecnológico de AeronáuticaAdilson Marques da CunhaJosé Valdeci Batista dos Reis Filho1995-10-01info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesishttp://www.bd.bibl.ita.br/tde_busca/arquivo.php?codArquivo=1662reponame:Biblioteca Digital de Teses e Dissertações do ITAinstname:Instituto Tecnológico de Aeronáuticainstacron:ITAporinfo:eu-repo/semantics/openAccessapplication/pdf2019-02-02T14:02:46Zoai:agregador.ibict.br.BDTD_ITA:oai:ita.br:1662http://oai.bdtd.ibict.br/requestopendoar:null2020-05-28 19:36:58.589Biblioteca Digital de Teses e Dissertações do ITA - Instituto Tecnológico de Aeronáuticatrue |
dc.title.none.fl_str_mv |
Uma abordagem de qualidade e confiabilidade para software crítico |
title |
Uma abordagem de qualidade e confiabilidade para software crítico |
spellingShingle |
Uma abordagem de qualidade e confiabilidade para software crítico José Valdeci Batista dos Reis Filho Programas de computadores Confiabilidade Qualidade Engenharia de software Computação |
title_short |
Uma abordagem de qualidade e confiabilidade para software crítico |
title_full |
Uma abordagem de qualidade e confiabilidade para software crítico |
title_fullStr |
Uma abordagem de qualidade e confiabilidade para software crítico |
title_full_unstemmed |
Uma abordagem de qualidade e confiabilidade para software crítico |
title_sort |
Uma abordagem de qualidade e confiabilidade para software crítico |
author |
José Valdeci Batista dos Reis Filho |
author_facet |
José Valdeci Batista dos Reis Filho |
author_role |
author |
dc.contributor.none.fl_str_mv |
Adilson Marques da Cunha |
dc.contributor.author.fl_str_mv |
José Valdeci Batista dos Reis Filho |
dc.subject.por.fl_str_mv |
Programas de computadores Confiabilidade Qualidade Engenharia de software Computação |
topic |
Programas de computadores Confiabilidade Qualidade Engenharia de software Computação |
dc.description.none.fl_txt_mv |
A certificacao de softwares com requisitos de alta confiabilidade nao pode ser obtida apenas atraves do emprego de tecnicas convencionais de Engenharia de Software. A execucao de testes nesses tipos de softwares, com o intuito de se alcancar niveis aceitaveis de confiabilidade, constitui-se em uma tarefa impraticavel, principalmente por limitacoes de tempo. Este trabalho de pesquisa tem por objetivo avaliar, em nivel de prototipo, a Confiabilidade do Software Aplicativo de Bordo (SOAB), um software critico embarcado em um Lancador de Satelites Brasileiro (LANSAB). Para tanto, procedeu-se a uma aplicacao da tecnica de Analise de Software por Arvore de Falhas (Software Fault Tree Analysis - SFTA) ao desenvolvimento do SOAB, na fase de analise de requisitos, utilizando-se a ferramenta de software FTA, versao 2.1, do ambiente integrado de ferramentas de software SURTEC, da empresa Tecnitas, deorigem francesa, processando em um microcomputador padrao IBM - PC 386. A aplicacao da tecnica SFTA foi inserida no contexto de uma metodologia para a avaliacao da confiabilidade do SOAB, tendo sido tambem utilizadas duas outras tecnicas de Analise de Risco: a Analise Preliminar de Vulnerabilidades (Preliminary Hazard Analysis - PHA) e a Analise de Modos de Falha de Software, Efeitos e Criticalidade (Software Failure Mode, Effects and Criticality Analysis - Software FMECA). A metodologia em questao foi aplicada asfuncoes do SOAB ativas na fase de voo do Lancador de Satelites, a fim de apontar as partes mais criticas dos programas de execucao dessas funcoes, a serem, posteriormente, aperfeicoadas durante a fase de testes do SOAB. |
description |
A certificacao de softwares com requisitos de alta confiabilidade nao pode ser obtida apenas atraves do emprego de tecnicas convencionais de Engenharia de Software. A execucao de testes nesses tipos de softwares, com o intuito de se alcancar niveis aceitaveis de confiabilidade, constitui-se em uma tarefa impraticavel, principalmente por limitacoes de tempo. Este trabalho de pesquisa tem por objetivo avaliar, em nivel de prototipo, a Confiabilidade do Software Aplicativo de Bordo (SOAB), um software critico embarcado em um Lancador de Satelites Brasileiro (LANSAB). Para tanto, procedeu-se a uma aplicacao da tecnica de Analise de Software por Arvore de Falhas (Software Fault Tree Analysis - SFTA) ao desenvolvimento do SOAB, na fase de analise de requisitos, utilizando-se a ferramenta de software FTA, versao 2.1, do ambiente integrado de ferramentas de software SURTEC, da empresa Tecnitas, deorigem francesa, processando em um microcomputador padrao IBM - PC 386. A aplicacao da tecnica SFTA foi inserida no contexto de uma metodologia para a avaliacao da confiabilidade do SOAB, tendo sido tambem utilizadas duas outras tecnicas de Analise de Risco: a Analise Preliminar de Vulnerabilidades (Preliminary Hazard Analysis - PHA) e a Analise de Modos de Falha de Software, Efeitos e Criticalidade (Software Failure Mode, Effects and Criticality Analysis - Software FMECA). A metodologia em questao foi aplicada asfuncoes do SOAB ativas na fase de voo do Lancador de Satelites, a fim de apontar as partes mais criticas dos programas de execucao dessas funcoes, a serem, posteriormente, aperfeicoadas durante a fase de testes do SOAB. |
publishDate |
1995 |
dc.date.none.fl_str_mv |
1995-10-01 |
dc.type.driver.fl_str_mv |
info:eu-repo/semantics/publishedVersion info:eu-repo/semantics/masterThesis |
status_str |
publishedVersion |
format |
masterThesis |
dc.identifier.uri.fl_str_mv |
http://www.bd.bibl.ita.br/tde_busca/arquivo.php?codArquivo=1662 |
url |
http://www.bd.bibl.ita.br/tde_busca/arquivo.php?codArquivo=1662 |
dc.language.iso.fl_str_mv |
por |
language |
por |
dc.rights.driver.fl_str_mv |
info:eu-repo/semantics/openAccess |
eu_rights_str_mv |
openAccess |
dc.format.none.fl_str_mv |
application/pdf |
dc.publisher.none.fl_str_mv |
Instituto Tecnológico de Aeronáutica |
publisher.none.fl_str_mv |
Instituto Tecnológico de Aeronáutica |
dc.source.none.fl_str_mv |
reponame:Biblioteca Digital de Teses e Dissertações do ITA instname:Instituto Tecnológico de Aeronáutica instacron:ITA |
reponame_str |
Biblioteca Digital de Teses e Dissertações do ITA |
collection |
Biblioteca Digital de Teses e Dissertações do ITA |
instname_str |
Instituto Tecnológico de Aeronáutica |
instacron_str |
ITA |
institution |
ITA |
repository.name.fl_str_mv |
Biblioteca Digital de Teses e Dissertações do ITA - Instituto Tecnológico de Aeronáutica |
repository.mail.fl_str_mv |
|
subject_por_txtF_mv |
Programas de computadores Confiabilidade Qualidade Engenharia de software Computação |
_version_ |
1706809273123602432 |