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

Detalhes bibliográficos
Ano de defesa: 2009
Autor(a) principal: França, Ricardo Bedin
Orientador(a): Farines, Jean Marie
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: Florianópolis, SC
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
Link de acesso: 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
spelling Universidade Federal de Santa CatarinaFrança, Ricardo BedinFarines, Jean MarieBecker, Leandro Buss2012-10-24T06:53:00Z2012-10-24T06:53:00Z20092009262665http://repositorio.ufsc.br/xmlui/handle/123456789/92220Dissertaçã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.porFlorianópolis, SCEngenharia de sistemasSistemas de computaçãoProtocolos de barramentoUma abordagem para modelagem e verificação de protocolos síncronos de barramentos de comunicaçãoinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisreponame:Repositório Institucional da UFSCinstname:Universidade Federal de Santa Catarina (UFSC)instacron:UFSCinfo:eu-repo/semantics/openAccessORIGINAL262665.pdfapplication/pdf898231https://repositorio.ufsc.br/bitstream/123456789/92220/1/262665.pdf7df3af7aeaef56963e32dd13df0af1fbMD51TEXT262665.pdf.txt262665.pdf.txtExtracted Texttext/plain295417https://repositorio.ufsc.br/bitstream/123456789/92220/2/262665.pdf.txted4bc8f8f7b6394fba515c2cee6b7ef9MD52THUMBNAIL262665.pdf.jpg262665.pdf.jpgGenerated Thumbnailimage/jpeg1074https://repositorio.ufsc.br/bitstream/123456789/92220/3/262665.pdf.jpg1aabc11fd0eca7765f92e97a8bfcaa17MD53123456789/922202016-03-07 15:58:21.404oai:repositorio.ufsc.br:123456789/92220Repositório InstitucionalPUBhttp://150.162.242.35/oai/requestsandra.sobrera@ufsc.bropendoar:23732016-03-07T18:58:21Repositório Institucional da UFSC - Universidade Federal de Santa Catarina (UFSC)false
dc.title.pt_BR.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.pt_BR.fl_str_mv Universidade Federal de Santa Catarina
dc.contributor.author.fl_str_mv França, Ricardo Bedin
dc.contributor.advisor1.fl_str_mv Farines, Jean Marie
dc.contributor.advisor-co1.fl_str_mv Becker, Leandro Buss
contributor_str_mv Farines, Jean Marie
Becker, Leandro Buss
dc.subject.classification.pt_BR.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.submitted.pt_BR.fl_str_mv 2009
dc.date.issued.fl_str_mv 2009
dc.date.accessioned.fl_str_mv 2012-10-24T06:53:00Z
dc.date.available.fl_str_mv 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 http://repositorio.ufsc.br/xmlui/handle/123456789/92220
dc.identifier.other.pt_BR.fl_str_mv 262665
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.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
bitstream.url.fl_str_mv https://repositorio.ufsc.br/bitstream/123456789/92220/1/262665.pdf
https://repositorio.ufsc.br/bitstream/123456789/92220/2/262665.pdf.txt
https://repositorio.ufsc.br/bitstream/123456789/92220/3/262665.pdf.jpg
bitstream.checksum.fl_str_mv 7df3af7aeaef56963e32dd13df0af1fb
ed4bc8f8f7b6394fba515c2cee6b7ef9
1aabc11fd0eca7765f92e97a8bfcaa17
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
repository.name.fl_str_mv Repositório Institucional da UFSC - Universidade Federal de Santa Catarina (UFSC)
repository.mail.fl_str_mv sandra.sobrera@ufsc.br
_version_ 1851758896223354880

Registros relacionados