Estudo de verificação e validação de sistemas embarcados espaciais utilizando SysML e Model Checking.

Detalhes bibliográficos
Autor(a) principal: Eduardo Correia da Silva
Data de Publicação: 2009
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=909
Resumo: Entre as principais dificuldades do desenvolvimento de software embarcado crítico e de tempo real está a especificação e o processo de verificação e validação apoiado ao projeto conceitual. Neste contexto, a modelagem de sistemas tem uma importante função, uma vez que um processo complexo possa ser analisado e validado antes de sua real implementação. Esta dissertação aborda o problema de verificação e validação de software embarcado de um satélite com configuração ACDH (Attitude Control and Data Handling) através de uma plataforma aerosuspensa com um grau de liberdade, utilizando a SysML, a ferramenta CASE TELELOGIC Rhapsody e a orientação das normas da ECSS (European Cooperation on Space Standardization). A partir do modelo obtido, são utilizadas três abordagens para análise e avaliação: (1) Especificação e gerenciamento dos requisitos, através dos conceitos determinados pela ECSS; (2) Modelagem do sistema e verificação dos requisitos, através do formalismo matemático dos autômatos utilizando a técnica de model checking através da ferramenta UPPAL; (3) Conversão do modelo em SysML, aplicando a Engenharia de Requisitos e o processo de verificação e validação do sistema, através da simulação na ferramenta CASE.
id ITA_c162f3279ed255e5b0f433135fc9c2c1
oai_identifier_str oai:agregador.ibict.br.BDTD_ITA:oai:ita.br:909
network_acronym_str ITA
network_name_str Biblioteca Digital de Teses e Dissertações do ITA
spelling Estudo de verificação e validação de sistemas embarcados espaciais utilizando SysML e Model Checking.Sistemas de computadores embarcadosEspecificação formalVerificação de programas (computadores)Verificação formalFerramentas de desenvolvimento de softwareSoftware de segurança críticaTeoria dos autômatosEngenharia de softwareEntre as principais dificuldades do desenvolvimento de software embarcado crítico e de tempo real está a especificação e o processo de verificação e validação apoiado ao projeto conceitual. Neste contexto, a modelagem de sistemas tem uma importante função, uma vez que um processo complexo possa ser analisado e validado antes de sua real implementação. Esta dissertação aborda o problema de verificação e validação de software embarcado de um satélite com configuração ACDH (Attitude Control and Data Handling) através de uma plataforma aerosuspensa com um grau de liberdade, utilizando a SysML, a ferramenta CASE TELELOGIC Rhapsody e a orientação das normas da ECSS (European Cooperation on Space Standardization). A partir do modelo obtido, são utilizadas três abordagens para análise e avaliação: (1) Especificação e gerenciamento dos requisitos, através dos conceitos determinados pela ECSS; (2) Modelagem do sistema e verificação dos requisitos, através do formalismo matemático dos autômatos utilizando a técnica de model checking através da ferramenta UPPAL; (3) Conversão do modelo em SysML, aplicando a Engenharia de Requisitos e o processo de verificação e validação do sistema, através da simulação na ferramenta CASE.Instituto Tecnológico de AeronáuticaEmilia VillaniEduardo Correia da Silva2009-09-18info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesishttp://www.bd.bibl.ita.br/tde_busca/arquivo.php?codArquivo=909reponame:Biblioteca Digital de Teses e Dissertações do ITAinstname:Instituto Tecnológico de Aeronáuticainstacron:ITAporinfo:eu-repo/semantics/openAccessapplication/pdf2019-02-02T14:02:00Zoai:agregador.ibict.br.BDTD_ITA:oai:ita.br:909http://oai.bdtd.ibict.br/requestopendoar:null2020-05-28 19:34:43.119Biblioteca Digital de Teses e Dissertações do ITA - Instituto Tecnológico de Aeronáuticatrue
dc.title.none.fl_str_mv Estudo de verificação e validação de sistemas embarcados espaciais utilizando SysML e Model Checking.
title Estudo de verificação e validação de sistemas embarcados espaciais utilizando SysML e Model Checking.
spellingShingle Estudo de verificação e validação de sistemas embarcados espaciais utilizando SysML e Model Checking.
Eduardo Correia da Silva
Sistemas de computadores embarcados
Especificação formal
Verificação de programas (computadores)
Verificação formal
Ferramentas de desenvolvimento de software
Software de segurança crítica
Teoria dos autômatos
Engenharia de software
title_short Estudo de verificação e validação de sistemas embarcados espaciais utilizando SysML e Model Checking.
title_full Estudo de verificação e validação de sistemas embarcados espaciais utilizando SysML e Model Checking.
title_fullStr Estudo de verificação e validação de sistemas embarcados espaciais utilizando SysML e Model Checking.
title_full_unstemmed Estudo de verificação e validação de sistemas embarcados espaciais utilizando SysML e Model Checking.
title_sort Estudo de verificação e validação de sistemas embarcados espaciais utilizando SysML e Model Checking.
author Eduardo Correia da Silva
author_facet Eduardo Correia da Silva
author_role author
dc.contributor.none.fl_str_mv Emilia Villani
dc.contributor.author.fl_str_mv Eduardo Correia da Silva
dc.subject.por.fl_str_mv Sistemas de computadores embarcados
Especificação formal
Verificação de programas (computadores)
Verificação formal
Ferramentas de desenvolvimento de software
Software de segurança crítica
Teoria dos autômatos
Engenharia de software
topic Sistemas de computadores embarcados
Especificação formal
Verificação de programas (computadores)
Verificação formal
Ferramentas de desenvolvimento de software
Software de segurança crítica
Teoria dos autômatos
Engenharia de software
dc.description.none.fl_txt_mv Entre as principais dificuldades do desenvolvimento de software embarcado crítico e de tempo real está a especificação e o processo de verificação e validação apoiado ao projeto conceitual. Neste contexto, a modelagem de sistemas tem uma importante função, uma vez que um processo complexo possa ser analisado e validado antes de sua real implementação. Esta dissertação aborda o problema de verificação e validação de software embarcado de um satélite com configuração ACDH (Attitude Control and Data Handling) através de uma plataforma aerosuspensa com um grau de liberdade, utilizando a SysML, a ferramenta CASE TELELOGIC Rhapsody e a orientação das normas da ECSS (European Cooperation on Space Standardization). A partir do modelo obtido, são utilizadas três abordagens para análise e avaliação: (1) Especificação e gerenciamento dos requisitos, através dos conceitos determinados pela ECSS; (2) Modelagem do sistema e verificação dos requisitos, através do formalismo matemático dos autômatos utilizando a técnica de model checking através da ferramenta UPPAL; (3) Conversão do modelo em SysML, aplicando a Engenharia de Requisitos e o processo de verificação e validação do sistema, através da simulação na ferramenta CASE.
description Entre as principais dificuldades do desenvolvimento de software embarcado crítico e de tempo real está a especificação e o processo de verificação e validação apoiado ao projeto conceitual. Neste contexto, a modelagem de sistemas tem uma importante função, uma vez que um processo complexo possa ser analisado e validado antes de sua real implementação. Esta dissertação aborda o problema de verificação e validação de software embarcado de um satélite com configuração ACDH (Attitude Control and Data Handling) através de uma plataforma aerosuspensa com um grau de liberdade, utilizando a SysML, a ferramenta CASE TELELOGIC Rhapsody e a orientação das normas da ECSS (European Cooperation on Space Standardization). A partir do modelo obtido, são utilizadas três abordagens para análise e avaliação: (1) Especificação e gerenciamento dos requisitos, através dos conceitos determinados pela ECSS; (2) Modelagem do sistema e verificação dos requisitos, através do formalismo matemático dos autômatos utilizando a técnica de model checking através da ferramenta UPPAL; (3) Conversão do modelo em SysML, aplicando a Engenharia de Requisitos e o processo de verificação e validação do sistema, através da simulação na ferramenta CASE.
publishDate 2009
dc.date.none.fl_str_mv 2009-09-18
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=909
url http://www.bd.bibl.ita.br/tde_busca/arquivo.php?codArquivo=909
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 Sistemas de computadores embarcados
Especificação formal
Verificação de programas (computadores)
Verificação formal
Ferramentas de desenvolvimento de software
Software de segurança crítica
Teoria dos autômatos
Engenharia de software
_version_ 1706809264219095040

Registros relacionados