Uma abordagem para modelagem e verificação de protocolos síncronos de barramentos de comunicação

Detalhes bibliográficos
Autor(a) principal: França, Ricardo Bedin
Data de Publicação: 2009
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Repositório Institucional da UFSC
Texto Completo: http://repositorio.ufsc.br/xmlui/handle/123456789/92220
Resumo: Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pòs-graduação em Engenharia de Automação e Sistemas
id UFSC_2a77b6cd8c28314f6b50379976d30dab
oai_identifier_str oai:repositorio.ufsc.br:123456789/92220
network_acronym_str UFSC
network_name_str Repositório Institucional da UFSC
repository_id_str 2373
spelling Uma abordagem para modelagem e verificação de protocolos síncronos de barramentos de comunicaçãoEngenharia de sistemasSistemas de computaçãoProtocolos de barramentoDissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pòs-graduação em Engenharia de Automação e SistemasEste trabalho apresenta um estudo a respeito de protocolos para barramentos de comunicação, enfatizando os aspectos de parametrização e sincronização vistos em tais protocolos. De acordo com estas características e sua influência na modelagem e verificação de sistemas que utilizam os barramentos, buscaram-se métodos e ferramentas adaptados a sistemas embarcados, síncronos e parametrizados. A abordagem utilizada neste trabalho consiste na especificação de protocolos em duas perspectivas distintas para ressaltar tanto os aspectos da arquitetura dos sistemas com barramento quanto o comportamento descrito pelos protocolos. A modelagem de arquitetura foi realizada com a utilização da linguagem de descrição de arquitetura AADL. A modelagem de comportamento utilizou a linguagem síncrona LUSTRE para permitir a criação de um modelo de fácil compreensão e simulação. O método Event-B foi escolhido para a modelagem e verificação comportamental e sua semântica orientada a refinamentos permitiu a criação de um modelo de base abstrato e genérico que pode ser reutilizado em protocolos síncronos com arbitração centralizada. A partir deste modelo, os protocolos PCI e AMBA foram utilizados como estudo de caso para especificação e verificação.Florianópolis, SCFarines, Jean MarieBecker, Leandro BussUniversidade Federal de Santa CatarinaFrança, Ricardo Bedin2012-10-24T06:53:00Z2012-10-24T06:53:00Z20092009info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdf262665http://repositorio.ufsc.br/xmlui/handle/123456789/92220porreponame:Repositório Institucional da UFSCinstname:Universidade Federal de Santa Catarina (UFSC)instacron:UFSCinfo:eu-repo/semantics/openAccess2016-03-07T18:58:21Zoai:repositorio.ufsc.br:123456789/92220Repositório InstitucionalPUBhttp://150.162.242.35/oai/requestopendoar:23732016-03-07T18:58:21Repositório Institucional da UFSC - Universidade Federal de Santa Catarina (UFSC)false
dc.title.none.fl_str_mv Uma abordagem para modelagem e verificação de protocolos síncronos de barramentos de comunicação
title Uma abordagem para modelagem e verificação de protocolos síncronos de barramentos de comunicação
spellingShingle Uma abordagem para modelagem e verificação de protocolos síncronos de barramentos de comunicação
França, Ricardo Bedin
Engenharia de sistemas
Sistemas de computação
Protocolos de barramento
title_short Uma abordagem para modelagem e verificação de protocolos síncronos de barramentos de comunicação
title_full Uma abordagem para modelagem e verificação de protocolos síncronos de barramentos de comunicação
title_fullStr Uma abordagem para modelagem e verificação de protocolos síncronos de barramentos de comunicação
title_full_unstemmed Uma abordagem para modelagem e verificação de protocolos síncronos de barramentos de comunicação
title_sort Uma abordagem para modelagem e verificação de protocolos síncronos de barramentos de comunicação
author França, Ricardo Bedin
author_facet França, Ricardo Bedin
author_role author
dc.contributor.none.fl_str_mv Farines, Jean Marie
Becker, Leandro Buss
Universidade Federal de Santa Catarina
dc.contributor.author.fl_str_mv França, Ricardo Bedin
dc.subject.por.fl_str_mv Engenharia de sistemas
Sistemas de computação
Protocolos de barramento
topic Engenharia de sistemas
Sistemas de computação
Protocolos de barramento
description Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pòs-graduação em Engenharia de Automação e Sistemas
publishDate 2009
dc.date.none.fl_str_mv 2009
2009
2012-10-24T06:53:00Z
2012-10-24T06:53: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 262665
http://repositorio.ufsc.br/xmlui/handle/123456789/92220
identifier_str_mv 262665
url http://repositorio.ufsc.br/xmlui/handle/123456789/92220
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 Florianópolis, SC
publisher.none.fl_str_mv Florianópolis, SC
dc.source.none.fl_str_mv reponame:Repositório Institucional da UFSC
instname:Universidade Federal de Santa Catarina (UFSC)
instacron:UFSC
instname_str Universidade Federal de Santa Catarina (UFSC)
instacron_str UFSC
institution UFSC
reponame_str Repositório Institucional da UFSC
collection Repositório Institucional da UFSC
repository.name.fl_str_mv Repositório Institucional da UFSC - Universidade Federal de Santa Catarina (UFSC)
repository.mail.fl_str_mv
_version_ 1808651953766400000

Registros relacionados