Abordagem para verificação de sistemas de controle para automação flexível

Detalhes bibliográficos
Ano de defesa: 2014
Autor(a) principal: Guilherme Kisseloff Coracini
Orientador(a): Não Informado pela instituição
Banca de defesa: Não Informado pela instituição
Tipo de documento: Dissertação
Tipo de acesso: Acesso aberto
Idioma: por
Instituição de defesa: Instituto Tecnológico de Aeronáutica
Programa de Pós-Graduação: Não Informado pela instituição
Departamento: Não Informado pela instituição
País: Não Informado pela instituição
Palavras-chave em Português:
Projeto auxiliado por computador
Robótica
Manufatura auxiliada por computador
Inteligência artificial
Automação
Controle
Computação
Link de acesso: http://www.bd.bibl.ita.br/tde_busca/arquivo.php?codArquivo=3133
Resumo: A verificação de software é uma etapa essencial do ciclo de desenvolvimento de sistemas de automação industrial. O objetivo da verificação é a identificação de defeitos ainda na fase de projeto, tendo em vista que o custo de correção na fase final de desenvolvimento ou após a implementação do sistema é significativamente mais elevado do que nas fases iniciais do projeto. Neste contexto, este trabalho tem por objetivo propor uma abordagem para verificação de sistemas de automação que combina duas técnicas de verificação distintas: model checking e model based testing. Para análise da proposta, a abordagem é aplicada ao projeto do programa supervisório de uma célula robótica. A célula robótica utilizada como estudo de caso foi desenvolvida no Centro de Competência em Manufatura (CCM) com o objetivo de automatizar o processo de acondicionamento de tampas de alumínio para transporte. Em particular, o programa supervisório desta célula foi desenvolvido em LabVIEW. Os resultados obtidos com o estudo de caso indicam que a abordagem proposta contribui para a robustez do sistema. Além, o estudo de caso permitiu identificar pontos para melhoria e detalhamento na abordagem proposta
id ITA_3201277b2cc0fde07379503593369ab1
oai_identifier_str oai:agregador.ibict.br.BDTD_ITA:oai:ita.br:3133
network_acronym_str ITA
network_name_str Biblioteca Digital de Teses e Dissertações do ITA
spelling Abordagem para verificação de sistemas de controle para automação flexívelProjeto auxiliado por computadorRobóticaManufatura auxiliada por computadorInteligência artificialAutomaçãoControleComputaçãoA verificação de software é uma etapa essencial do ciclo de desenvolvimento de sistemas de automação industrial. O objetivo da verificação é a identificação de defeitos ainda na fase de projeto, tendo em vista que o custo de correção na fase final de desenvolvimento ou após a implementação do sistema é significativamente mais elevado do que nas fases iniciais do projeto. Neste contexto, este trabalho tem por objetivo propor uma abordagem para verificação de sistemas de automação que combina duas técnicas de verificação distintas: model checking e model based testing. Para análise da proposta, a abordagem é aplicada ao projeto do programa supervisório de uma célula robótica. A célula robótica utilizada como estudo de caso foi desenvolvida no Centro de Competência em Manufatura (CCM) com o objetivo de automatizar o processo de acondicionamento de tampas de alumínio para transporte. Em particular, o programa supervisório desta célula foi desenvolvido em LabVIEW. Os resultados obtidos com o estudo de caso indicam que a abordagem proposta contribui para a robustez do sistema. Além, o estudo de caso permitiu identificar pontos para melhoria e detalhamento na abordagem propostaInstituto Tecnológico de AeronáuticaEmilia VillaniGuilherme Kisseloff Coracini2014-12-15info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesishttp://www.bd.bibl.ita.br/tde_busca/arquivo.php?codArquivo=3133reponame:Biblioteca Digital de Teses e Dissertações do ITAinstname:Instituto Tecnológico de Aeronáuticainstacron:ITAporinfo:eu-repo/semantics/openAccessapplication/pdf2019-02-02T14:05:06Zoai:agregador.ibict.br.BDTD_ITA:oai:ita.br:3133http://oai.bdtd.ibict.br/requestopendoar:null2020-05-28 19:41:09.112Biblioteca Digital de Teses e Dissertações do ITA - Instituto Tecnológico de Aeronáuticatrue
dc.title.none.fl_str_mv Abordagem para verificação de sistemas de controle para automação flexível
title Abordagem para verificação de sistemas de controle para automação flexível
spellingShingle Abordagem para verificação de sistemas de controle para automação flexível
Guilherme Kisseloff Coracini
Projeto auxiliado por computador
Robótica
Manufatura auxiliada por computador
Inteligência artificial
Automação
Controle
Computação
title_short Abordagem para verificação de sistemas de controle para automação flexível
title_full Abordagem para verificação de sistemas de controle para automação flexível
title_fullStr Abordagem para verificação de sistemas de controle para automação flexível
title_full_unstemmed Abordagem para verificação de sistemas de controle para automação flexível
title_sort Abordagem para verificação de sistemas de controle para automação flexível
author Guilherme Kisseloff Coracini
author_facet Guilherme Kisseloff Coracini
author_role author
dc.contributor.none.fl_str_mv Emilia Villani
dc.contributor.author.fl_str_mv Guilherme Kisseloff Coracini
dc.subject.por.fl_str_mv Projeto auxiliado por computador
Robótica
Manufatura auxiliada por computador
Inteligência artificial
Automação
Controle
Computação
topic Projeto auxiliado por computador
Robótica
Manufatura auxiliada por computador
Inteligência artificial
Automação
Controle
Computação
dc.description.none.fl_txt_mv A verificação de software é uma etapa essencial do ciclo de desenvolvimento de sistemas de automação industrial. O objetivo da verificação é a identificação de defeitos ainda na fase de projeto, tendo em vista que o custo de correção na fase final de desenvolvimento ou após a implementação do sistema é significativamente mais elevado do que nas fases iniciais do projeto. Neste contexto, este trabalho tem por objetivo propor uma abordagem para verificação de sistemas de automação que combina duas técnicas de verificação distintas: model checking e model based testing. Para análise da proposta, a abordagem é aplicada ao projeto do programa supervisório de uma célula robótica. A célula robótica utilizada como estudo de caso foi desenvolvida no Centro de Competência em Manufatura (CCM) com o objetivo de automatizar o processo de acondicionamento de tampas de alumínio para transporte. Em particular, o programa supervisório desta célula foi desenvolvido em LabVIEW. Os resultados obtidos com o estudo de caso indicam que a abordagem proposta contribui para a robustez do sistema. Além, o estudo de caso permitiu identificar pontos para melhoria e detalhamento na abordagem proposta
description A verificação de software é uma etapa essencial do ciclo de desenvolvimento de sistemas de automação industrial. O objetivo da verificação é a identificação de defeitos ainda na fase de projeto, tendo em vista que o custo de correção na fase final de desenvolvimento ou após a implementação do sistema é significativamente mais elevado do que nas fases iniciais do projeto. Neste contexto, este trabalho tem por objetivo propor uma abordagem para verificação de sistemas de automação que combina duas técnicas de verificação distintas: model checking e model based testing. Para análise da proposta, a abordagem é aplicada ao projeto do programa supervisório de uma célula robótica. A célula robótica utilizada como estudo de caso foi desenvolvida no Centro de Competência em Manufatura (CCM) com o objetivo de automatizar o processo de acondicionamento de tampas de alumínio para transporte. Em particular, o programa supervisório desta célula foi desenvolvido em LabVIEW. Os resultados obtidos com o estudo de caso indicam que a abordagem proposta contribui para a robustez do sistema. Além, o estudo de caso permitiu identificar pontos para melhoria e detalhamento na abordagem proposta
publishDate 2014
dc.date.none.fl_str_mv 2014-12-15
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=3133
url http://www.bd.bibl.ita.br/tde_busca/arquivo.php?codArquivo=3133
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 Projeto auxiliado por computador
Robótica
Manufatura auxiliada por computador
Inteligência artificial
Automação
Controle
Computação
_version_ 1706805009560109056

Registros relacionados