Mostrar el registro sencillo del ítem

dc.contributor.advisorBarcellos, Antonio Marinho Pillapt_BR
dc.contributor.authorMartins, Gabriel Nunespt_BR
dc.date.accessioned2019-04-09T02:35:01Zpt_BR
dc.date.issued2018pt_BR
dc.identifier.urihttp://hdl.handle.net/10183/190199pt_BR
dc.description.abstractA linguagem P4 permite a programação do plano de dados de dispositivos de rede, facilitando a criação de novos protocolos e funcionalidades. No entanto, ao passo que planos de dados programáveis aumentam a flexibilidade de Redes Definidas por Software (SDN), aumentam também a chance de erros devido à possibilidade de bugs nos programas implementados. A fim de prevenir falhas provenientes da programação do plano de dados, técnicas de teste e verificação podem ser aplicadas para encontrar erros antes da implantação de softwares nos dispositivos de rede. Neste trabalho, é apresentada uma metodologia de validação de modelos para a ferramenta de verificação de programas P4 assert-p4.pt
dc.description.abstractThe P4 programming language allows a network device’s dataplane to be programmed, simplifying the introduction of new protocols and features. However, while programmable dataplanes improve flexibility for Software-Defined Networking (SDN), they also increase the chance of errors due to possible bugs in the implemented software. In order to prevent failures arising from dataplane programmability, testing and verification techniques can be applied to identify errors before a software’s implementation on network devices. In this work, we present a model validation methodology for assert-p4, a P4 program verification tool.en
dc.format.mimetypeapplication/pdfpt_BR
dc.language.isoporpt_BR
dc.rightsOpen Accessen
dc.subjectSDNen
dc.subjectRedes : Computadorespt_BR
dc.subjectVerificacao : Softwarept_BR
dc.subjectSoftware verification and validationen
dc.subjectProgrammable dataplanesen
dc.subjectP4en
dc.titleValidando modelos para verificação de programas P4 por execução simbólicapt_BR
dc.title.alternativeValidating models for verification of P4 programs through symbolic execution en
dc.typeTrabalho de conclusão de graduaçãopt_BR
dc.contributor.advisor-coNeves, Miguel Cardosopt_BR
dc.identifier.nrb001088714pt_BR
dc.degree.grantorUniversidade Federal do Rio Grande do Sulpt_BR
dc.degree.departmentInstituto de Informáticapt_BR
dc.degree.localPorto Alegre, BR-RSpt_BR
dc.degree.date2018pt_BR
dc.degree.graduationCiência da Computação: Ênfase em Ciência da Computação: Bachareladopt_BR
dc.degree.levelgraduaçãopt_BR


Ficheros en el ítem

Thumbnail
   

Este ítem está licenciado en la Creative Commons License

Mostrar el registro sencillo del ítem