Atenção: Todas as denúncias são sigilosas e sua identidade será preservada.
Os campos nome e e-mail são de preenchimento opcional
Metadados | Descrição | Idioma |
---|---|---|
???dc.contributor.advisor???: dc.contributor.advisor | Alves, Gleifer Vaz | - |
Autor(es): dc.contributor.author | Rosas, Fabiano Almeida | - |
Autor(es): dc.creator | Rosas, Fabiano Almeida | - |
Data de aceite: dc.date.accessioned | 2016-04-04T20:17:50Z | - |
Data de aceite: dc.date.accessioned | 2017-03-17T14:43:33Z | - |
Data de disponibilização: dc.date.available | 2016-04-04T20:17:50Z | - |
Data de disponibilização: dc.date.available | 2017-03-17T14:43:33Z | - |
Data de envio: dc.date.issued | 2014-11-11 | - |
Fonte completa do material: dc.identifier | http://repositorio.roca.utfpr.edu.br/jspui/handle/1/4934 | - |
???dc.identifier.citation???: dc.identifier.citation | ROSAS, Fabiano Almeida. Verificação formal de um protocolo de rede sem fio através de Model Checking. 2014. 60 f. Trabalho de conclusão de curso (Graduação) - Universidade Tecnológica Federal do Paraná, Ponta Grossa, 2014. | pt_BR |
Fonte: dc.identifier.uri | http://www.educapes.capes.gov.br/handlecapes/172158 | - |
Resumo: dc.description.abstract | This work consists of the application of the model checking technique to the formal specification, modeling and formal verification of the basic access method of the IEEE 802.11 standard medium access control protocol distributed coordination function (DCF). The modeling was made assuming nodes with saturated traffic and all stations starting at the same time. The purposed model admits typical configuration parameters of a IEEE 802.11 a/b/g network, such as number of nodes, channel width, data rate and packet size. Using the UPPAAL model checker, properties related to the minimum time needed for all the stations to transmit successfully were formally verified. This work intends to fill a gap that exists with relation to the formal modeling of the IEEE 802.11 DCF and serve as a basis for the formal verification of new 802.11 DCF variations. | pt_BR |
Publicador: dc.publisher | Universidade Tecnológica Federal do Paraná | pt_BR |
Direitos: dc.rights | openAccess | pt_BR |
Palavras-chave: dc.subject | Rede de computador - Protocolos | pt_BR |
Palavras-chave: dc.subject | IEEE 802.11(Normas) | pt_BR |
Palavras-chave: dc.subject | Redes locais sem fio | pt_BR |
Palavras-chave: dc.subject | Computer network protocols | pt_BR |
Palavras-chave: dc.subject | IEEE 802.11 (Standards) | pt_BR |
Palavras-chave: dc.subject | Wireless LANs | pt_BR |
Título: dc.title | Verificação formal de um protocolo de rede sem fio através de model checking | pt_BR |
Tipo de arquivo: dc.type | outro | pt_BR |
Aparece nas coleções: | Repositorio Institucional da UTFPR - RIUT |
O Portal eduCAPES é oferecido ao usuário, condicionado à aceitação dos termos, condições e avisos contidos aqui e sem modificações. A CAPES poderá modificar o conteúdo ou formato deste site ou acabar com a sua operação ou suas ferramentas a seu critério único e sem aviso prévio. Ao acessar este portal, você, usuário pessoa física ou jurídica, se declara compreender e aceitar as condições aqui estabelecidas, da seguinte forma: