Extração automática de modelos de sistemas de tempo real

Detalhes bibliográficos
Autor(a) principal: Carvalho, André Ribeiro de
Data de Publicação: 2011
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
Texto Completo: http://hdl.handle.net/1822/28275
Resumo: Dissertação de mestrado em Engenharia de Informática
id RCAP_b76f7c1ee109592cffeba3d2be1bb83e
oai_identifier_str oai:repositorium.sdum.uminho.pt:1822/28275
network_acronym_str RCAP
network_name_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository_id_str 7160
spelling Extração automática de modelos de sistemas de tempo real681.3Dissertação de mestrado em Engenharia de InformáticaEsta dissertação insere-se no contexto da investigação sobre verificação de programas de tempo-real. Tendo como principais referências o artigo de Alan Burns [10] e a dissertação de Joel Carvalho [16], introduz-se aqui uma ferramenta capaz de gerar automaticamente modelos Uppaal representativos de programas escritos em Ada. Através desses modelos, e com o auxílio do model checker do Uppaal é possível então verificar propriedades especificadas em lógica temporal, e dessa forma obter confiança quanto ao comportamento do sistema em termos temporais. Assim, ao longo desta dissertação irão ser apresentados todos os conceitos imprescindíveis na compressão do trabalho, bem como todos os pormenores do algoritmo desenvolvido. Por fim serão usados alguns casos de estudo para demonstrar as potencialidades da ferramenta desenvolvida.The context of this master thesis dissertation is the verification of realtime programs. Taking as main references an article by Alan Burns [10] and a master’s dissertation by Joel Carvalho [16], we introduce here a tool that is able to automatically generate Uppaal models of Ada programs. With these models, it is possible to use the Uppaal model checker to verify properties specified in temporal logic, increasing the reliability on the temporal behavior of the system. In this dissertation we present all the concepts involved in this approach, as well as the details of the developed algorithm.The dissertation concludes with some case studies that illustrate the results and tool capabilities.Pinto, Jorge SousaSousa, Simão Melo deUniversidade do MinhoCarvalho, André Ribeiro de2011-12-142011-12-14T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfhttp://hdl.handle.net/1822/28275porinfo:eu-repo/semantics/openAccessreponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãoinstacron:RCAAP2023-07-21T11:54:08Zoai:repositorium.sdum.uminho.pt:1822/28275Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireopendoar:71602024-03-19T18:43:34.943223Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãofalse
dc.title.none.fl_str_mv Extração automática de modelos de sistemas de tempo real
title Extração automática de modelos de sistemas de tempo real
spellingShingle Extração automática de modelos de sistemas de tempo real
Carvalho, André Ribeiro de
681.3
title_short Extração automática de modelos de sistemas de tempo real
title_full Extração automática de modelos de sistemas de tempo real
title_fullStr Extração automática de modelos de sistemas de tempo real
title_full_unstemmed Extração automática de modelos de sistemas de tempo real
title_sort Extração automática de modelos de sistemas de tempo real
author Carvalho, André Ribeiro de
author_facet Carvalho, André Ribeiro de
author_role author
dc.contributor.none.fl_str_mv Pinto, Jorge Sousa
Sousa, Simão Melo de
Universidade do Minho
dc.contributor.author.fl_str_mv Carvalho, André Ribeiro de
dc.subject.por.fl_str_mv 681.3
topic 681.3
description Dissertação de mestrado em Engenharia de Informática
publishDate 2011
dc.date.none.fl_str_mv 2011-12-14
2011-12-14T00:00:00Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://hdl.handle.net/1822/28275
url http://hdl.handle.net/1822/28275
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.source.none.fl_str_mv reponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron:RCAAP
instname_str Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron_str RCAAP
institution RCAAP
reponame_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
collection Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository.name.fl_str_mv Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
repository.mail.fl_str_mv
_version_ 1799132182646620160

Registros relacionados