Injeção de falhas e verificação de hardware para o CEVERO

Detalhes bibliográficos
Autor(a) principal: Dantas, Matheus Luna de Oliveira
Data de Publicação: 2023
Tipo de documento: Trabalho de conclusão de curso
Idioma: por
Título da fonte: Repositório Institucional da UFRN
Texto Completo: https://repositorio.ufrn.br/handle/123456789/53656
Resumo: O CEVERO é uma plataforma desenvolvido pelo LAPPS, laboratório da Universidade Federal do Rio Grande do Norte. O CEVERO foi desenvolvido para ser tolerante a falhas, utilizando de redundância de hardware, possuindo dois cores Ibex, que se baseiam na arquitetura RISC-V. O objetivo do trabalho é realizar um ambiente de verificação funcional de hardware para o CEVERO, realizando a validação de confiabilidade. Para isso, será utilizada a técnica de injeção de falhas em hardware por meio de simulação, através de testbenches escritos em SystemVerilog sendo executados no ModelSim, modelando um ambiente que possa simular alguns efeitos causados por radiação, como os Single Event Upsets (SEU). Essa validação por meio das injeções de falhas se propõe a ser o início de um futuro ambiente completo de verificação de hardware para o CEVERO. O resultado obtido verificou que o CEVERO permaneceu resiliente quanto às injeções realizadas, comprovando a sua confiabilidade.
id UFRN_914d1cf36ef689954431b032965ced1b
oai_identifier_str oai:https://repositorio.ufrn.br:123456789/53656
network_acronym_str UFRN
network_name_str Repositório Institucional da UFRN
repository_id_str
spelling Dantas, Matheus Luna de Oliveirahttp://lattes.cnpq.br/8598197987321450Nascimento, Diego Vinicius Cirilo doFarias, Johannes Warwick da CostaOliveira, Luiz Affonso Henderson Guedes deOliveira, Luiz Affonso Henderson Guedes deSouza, Samuel Xavier de2023-07-18T18:23:55Z2023-07-18T18:23:55Z2023-07-05DANTAS, Matheus Luna de Oliveira. Injeção de falhas e verificação de hardware para o CEVERO. Orientador: Samuel Xavier de Souza. 2023. 41 f. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Departamento de Engenharia de Computação e Automação, Universidade Federal do Rio Grande do Norte, Natal, 2023.https://repositorio.ufrn.br/handle/123456789/53656O CEVERO é uma plataforma desenvolvido pelo LAPPS, laboratório da Universidade Federal do Rio Grande do Norte. O CEVERO foi desenvolvido para ser tolerante a falhas, utilizando de redundância de hardware, possuindo dois cores Ibex, que se baseiam na arquitetura RISC-V. O objetivo do trabalho é realizar um ambiente de verificação funcional de hardware para o CEVERO, realizando a validação de confiabilidade. Para isso, será utilizada a técnica de injeção de falhas em hardware por meio de simulação, através de testbenches escritos em SystemVerilog sendo executados no ModelSim, modelando um ambiente que possa simular alguns efeitos causados por radiação, como os Single Event Upsets (SEU). Essa validação por meio das injeções de falhas se propõe a ser o início de um futuro ambiente completo de verificação de hardware para o CEVERO. O resultado obtido verificou que o CEVERO permaneceu resiliente quanto às injeções realizadas, comprovando a sua confiabilidade.CEVERO is a processor developed by LAPPS, a laboratory at the Universidade Federal do Rio Grande do Norte. It was developed aiming to be fault tolerant using hardware redundancy technique, having two Ibex cores, which are based in the RISC-V architecture. With the aim of validate the reliability of CEVERO, it will be used fault injection techniques, writing testbenches in SystemVerilog and simulating them in ModelSim, modeling an environment that can simulate some effects caused by radiation, such as Single Event Upsets (SEU). This proccess of validation through fault injections is proposed to be just the beginning of a future complete hardware verification environment for CEVERO. It was possible to verify that CEVERO keep resilient to failure, proving its reability.Universidade Federal do Rio Grande do NorteEngenharia de ComputaçãoUFRNBrasilEngenharia de Computação e AutomaçãoCC0 1.0 Universalhttp://creativecommons.org/publicdomain/zero/1.0/info:eu-repo/semantics/openAccessCNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO::HARDWARETolerância a falhasInjeção de falhasSimulaçãoSEURISC-VCEVEROInjeção de falhas e verificação de hardware para o CEVEROFault injection and hardware verification for CEVEROinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/bachelorThesisporreponame:Repositório Institucional da UFRNinstname:Universidade Federal do Rio Grande do Norte (UFRN)instacron:UFRNCC-LICENSElicense_rdflicense_rdfapplication/rdf+xml; charset=utf-8701https://repositorio.ufrn.br/bitstream/123456789/53656/3/license_rdf42fd4ad1e89814f5e4a476b409eb708cMD53LICENSElicense.txtlicense.txttext/plain; charset=utf-81484https://repositorio.ufrn.br/bitstream/123456789/53656/6/license.txte9597aa2854d128fd968be5edc8a28d9MD56ORIGINALInjeçãoDeFalhasEVerificaçãoDeHardwareParaoCEVERO_MatheusDantas_2023.pdfInjeçãoDeFalhasEVerificaçãoDeHardwareParaoCEVERO_MatheusDantas_2023.pdftccapplication/pdf1549239https://repositorio.ufrn.br/bitstream/123456789/53656/5/Injec%cc%a7a%cc%83oDeFalhasEVerificac%cc%a7a%cc%83oDeHardwareParaoCEVERO_MatheusDantas_2023.pdfec50d08eb49ee6451ee0dc1a193f687fMD55123456789/536562023-07-18 15:23:56.096oai:https://repositorio.ufrn.br:123456789/53656Tk9OLUVYQ0xVU0lWRSBESVNUUklCVVRJT04gTElDRU5TRQoKCkJ5IHNpZ25pbmcgYW5kIGRlbGl2ZXJpbmcgdGhpcyBsaWNlbnNlLCBNci4gKGF1dGhvciBvciBjb3B5cmlnaHQgaG9sZGVyKToKCgphKSBHcmFudHMgdGhlIFVuaXZlcnNpZGFkZSBGZWRlcmFsIFJpbyBHcmFuZGUgZG8gTm9ydGUgdGhlIG5vbi1leGNsdXNpdmUgcmlnaHQgb2YKcmVwcm9kdWNlLCBjb252ZXJ0IChhcyBkZWZpbmVkIGJlbG93KSwgY29tbXVuaWNhdGUgYW5kIC8gb3IKZGlzdHJpYnV0ZSB0aGUgZGVsaXZlcmVkIGRvY3VtZW50IChpbmNsdWRpbmcgYWJzdHJhY3QgLyBhYnN0cmFjdCkgaW4KZGlnaXRhbCBvciBwcmludGVkIGZvcm1hdCBhbmQgaW4gYW55IG1lZGl1bS4KCmIpIERlY2xhcmVzIHRoYXQgdGhlIGRvY3VtZW50IHN1Ym1pdHRlZCBpcyBpdHMgb3JpZ2luYWwgd29yaywgYW5kIHRoYXQKeW91IGhhdmUgdGhlIHJpZ2h0IHRvIGdyYW50IHRoZSByaWdodHMgY29udGFpbmVkIGluIHRoaXMgbGljZW5zZS4gRGVjbGFyZXMKdGhhdCB0aGUgZGVsaXZlcnkgb2YgdGhlIGRvY3VtZW50IGRvZXMgbm90IGluZnJpbmdlLCBhcyBmYXIgYXMgaXQgaXMKdGhlIHJpZ2h0cyBvZiBhbnkgb3RoZXIgcGVyc29uIG9yIGVudGl0eS4KCmMpIElmIHRoZSBkb2N1bWVudCBkZWxpdmVyZWQgY29udGFpbnMgbWF0ZXJpYWwgd2hpY2ggZG9lcyBub3QKcmlnaHRzLCBkZWNsYXJlcyB0aGF0IGl0IGhhcyBvYnRhaW5lZCBhdXRob3JpemF0aW9uIGZyb20gdGhlIGhvbGRlciBvZiB0aGUKY29weXJpZ2h0IHRvIGdyYW50IHRoZSBVbml2ZXJzaWRhZGUgRmVkZXJhbCBkbyBSaW8gR3JhbmRlIGRvIE5vcnRlIHRoZSByaWdodHMgcmVxdWlyZWQgYnkgdGhpcyBsaWNlbnNlLCBhbmQgdGhhdCB0aGlzIG1hdGVyaWFsIHdob3NlIHJpZ2h0cyBhcmUgb2YKdGhpcmQgcGFydGllcyBpcyBjbGVhcmx5IGlkZW50aWZpZWQgYW5kIHJlY29nbml6ZWQgaW4gdGhlIHRleHQgb3IKY29udGVudCBvZiB0aGUgZG9jdW1lbnQgZGVsaXZlcmVkLgoKSWYgdGhlIGRvY3VtZW50IHN1Ym1pdHRlZCBpcyBiYXNlZCBvbiBmdW5kZWQgb3Igc3VwcG9ydGVkIHdvcmsKYnkgYW5vdGhlciBpbnN0aXR1dGlvbiBvdGhlciB0aGFuIHRoZSBVbml2ZXJzaWRhZGUgRmVkZXJhbCBkbyBSaW8gR3JhbmRlIGRvIE5vcnRlLCBkZWNsYXJlcyB0aGF0IGl0IGhhcyBmdWxmaWxsZWQgYW55IG9ibGlnYXRpb25zIHJlcXVpcmVkIGJ5IHRoZSByZXNwZWN0aXZlIGFncmVlbWVudCBvciBhZ3JlZW1lbnQuCgpUaGUgVW5pdmVyc2lkYWRlIEZlZGVyYWwgZG8gUmlvIEdyYW5kZSBkbyBOb3J0ZSB3aWxsIGNsZWFybHkgaWRlbnRpZnkgaXRzIG5hbWUgKHMpIGFzIHRoZSBhdXRob3IgKHMpIG9yIGhvbGRlciAocykgb2YgdGhlIGRvY3VtZW50J3MgcmlnaHRzCmRlbGl2ZXJlZCwgYW5kIHdpbGwgbm90IG1ha2UgYW55IGNoYW5nZXMsIG90aGVyIHRoYW4gdGhvc2UgcGVybWl0dGVkIGJ5CnRoaXMgbGljZW5zZQo=Repositório de PublicaçõesPUBhttp://repositorio.ufrn.br/oai/opendoar:2023-07-18T18:23:56Repositório Institucional da UFRN - Universidade Federal do Rio Grande do Norte (UFRN)false
dc.title.pt_BR.fl_str_mv Injeção de falhas e verificação de hardware para o CEVERO
dc.title.alternative.pt_BR.fl_str_mv Fault injection and hardware verification for CEVERO
title Injeção de falhas e verificação de hardware para o CEVERO
spellingShingle Injeção de falhas e verificação de hardware para o CEVERO
Dantas, Matheus Luna de Oliveira
CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO::HARDWARE
Tolerância a falhas
Injeção de falhas
Simulação
SEU
RISC-V
CEVERO
title_short Injeção de falhas e verificação de hardware para o CEVERO
title_full Injeção de falhas e verificação de hardware para o CEVERO
title_fullStr Injeção de falhas e verificação de hardware para o CEVERO
title_full_unstemmed Injeção de falhas e verificação de hardware para o CEVERO
title_sort Injeção de falhas e verificação de hardware para o CEVERO
author Dantas, Matheus Luna de Oliveira
author_facet Dantas, Matheus Luna de Oliveira
author_role author
dc.contributor.authorLattes.pt_BR.fl_str_mv http://lattes.cnpq.br/8598197987321450
dc.contributor.referees1.none.fl_str_mv Nascimento, Diego Vinicius Cirilo do
dc.contributor.referees2.none.fl_str_mv Farias, Johannes Warwick da Costa
dc.contributor.referees3.none.fl_str_mv Oliveira, Luiz Affonso Henderson Guedes de
dc.contributor.referees4.none.fl_str_mv Oliveira, Luiz Affonso Henderson Guedes de
dc.contributor.author.fl_str_mv Dantas, Matheus Luna de Oliveira
dc.contributor.advisor1.fl_str_mv Souza, Samuel Xavier de
contributor_str_mv Souza, Samuel Xavier de
dc.subject.cnpq.fl_str_mv CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO::HARDWARE
topic CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO::HARDWARE
Tolerância a falhas
Injeção de falhas
Simulação
SEU
RISC-V
CEVERO
dc.subject.por.fl_str_mv Tolerância a falhas
Injeção de falhas
Simulação
SEU
RISC-V
CEVERO
description O CEVERO é uma plataforma desenvolvido pelo LAPPS, laboratório da Universidade Federal do Rio Grande do Norte. O CEVERO foi desenvolvido para ser tolerante a falhas, utilizando de redundância de hardware, possuindo dois cores Ibex, que se baseiam na arquitetura RISC-V. O objetivo do trabalho é realizar um ambiente de verificação funcional de hardware para o CEVERO, realizando a validação de confiabilidade. Para isso, será utilizada a técnica de injeção de falhas em hardware por meio de simulação, através de testbenches escritos em SystemVerilog sendo executados no ModelSim, modelando um ambiente que possa simular alguns efeitos causados por radiação, como os Single Event Upsets (SEU). Essa validação por meio das injeções de falhas se propõe a ser o início de um futuro ambiente completo de verificação de hardware para o CEVERO. O resultado obtido verificou que o CEVERO permaneceu resiliente quanto às injeções realizadas, comprovando a sua confiabilidade.
publishDate 2023
dc.date.accessioned.fl_str_mv 2023-07-18T18:23:55Z
dc.date.available.fl_str_mv 2023-07-18T18:23:55Z
dc.date.issued.fl_str_mv 2023-07-05
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/bachelorThesis
format bachelorThesis
status_str publishedVersion
dc.identifier.citation.fl_str_mv DANTAS, Matheus Luna de Oliveira. Injeção de falhas e verificação de hardware para o CEVERO. Orientador: Samuel Xavier de Souza. 2023. 41 f. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Departamento de Engenharia de Computação e Automação, Universidade Federal do Rio Grande do Norte, Natal, 2023.
dc.identifier.uri.fl_str_mv https://repositorio.ufrn.br/handle/123456789/53656
identifier_str_mv DANTAS, Matheus Luna de Oliveira. Injeção de falhas e verificação de hardware para o CEVERO. Orientador: Samuel Xavier de Souza. 2023. 41 f. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Departamento de Engenharia de Computação e Automação, Universidade Federal do Rio Grande do Norte, Natal, 2023.
url https://repositorio.ufrn.br/handle/123456789/53656
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv CC0 1.0 Universal
http://creativecommons.org/publicdomain/zero/1.0/
info:eu-repo/semantics/openAccess
rights_invalid_str_mv CC0 1.0 Universal
http://creativecommons.org/publicdomain/zero/1.0/
eu_rights_str_mv openAccess
dc.publisher.none.fl_str_mv Universidade Federal do Rio Grande do Norte
dc.publisher.program.fl_str_mv Engenharia de Computação
dc.publisher.initials.fl_str_mv UFRN
dc.publisher.country.fl_str_mv Brasil
dc.publisher.department.fl_str_mv Engenharia de Computação e Automação
publisher.none.fl_str_mv Universidade Federal do Rio Grande do Norte
dc.source.none.fl_str_mv reponame:Repositório Institucional da UFRN
instname:Universidade Federal do Rio Grande do Norte (UFRN)
instacron:UFRN
instname_str Universidade Federal do Rio Grande do Norte (UFRN)
instacron_str UFRN
institution UFRN
reponame_str Repositório Institucional da UFRN
collection Repositório Institucional da UFRN
bitstream.url.fl_str_mv https://repositorio.ufrn.br/bitstream/123456789/53656/3/license_rdf
https://repositorio.ufrn.br/bitstream/123456789/53656/6/license.txt
https://repositorio.ufrn.br/bitstream/123456789/53656/5/Injec%cc%a7a%cc%83oDeFalhasEVerificac%cc%a7a%cc%83oDeHardwareParaoCEVERO_MatheusDantas_2023.pdf
bitstream.checksum.fl_str_mv 42fd4ad1e89814f5e4a476b409eb708c
e9597aa2854d128fd968be5edc8a28d9
ec50d08eb49ee6451ee0dc1a193f687f
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
repository.name.fl_str_mv Repositório Institucional da UFRN - Universidade Federal do Rio Grande do Norte (UFRN)
repository.mail.fl_str_mv
_version_ 1814832804010131456

Registros relacionados