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

Dantas, Matheus Luna de Oliveira

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

Página do item simplificado Estatísticas

dc.contributor.advisor	Souza, Samuel Xavier de
dc.contributor.author	Dantas, Matheus Luna de Oliveira
dc.contributor.authorLattes	http://lattes.cnpq.br/8598197987321450	pt_BR
dc.contributor.referees1	Nascimento, Diego Vinicius Cirilo do
dc.contributor.referees2	Farias, Johannes Warwick da Costa
dc.contributor.referees3	Oliveira, Luiz Affonso Henderson Guedes de
dc.contributor.referees4	Oliveira, Luiz Affonso Henderson Guedes de
dc.date.accessioned	2023-07-18T18:23:55Z
dc.date.available	2023-07-18T18:23:55Z
dc.date.issued	2023-07-05
dc.description.abstract	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.	pt_BR
dc.description.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.	pt_BR
dc.identifier.citation	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.	pt_BR
dc.identifier.uri	https://repositorio.ufrn.br/handle/123456789/53656
dc.language	pt_BR	pt_BR
dc.publisher	Universidade Federal do Rio Grande do Norte	pt_BR
dc.publisher.country	Brasil	pt_BR
dc.publisher.department	Engenharia de Computação e Automação	pt_BR
dc.publisher.initials	UFRN	pt_BR
dc.publisher.program	Engenharia de Computação	pt_BR
dc.rights	CC0 1.0 Universal	*
dc.rights.uri	http://creativecommons.org/publicdomain/zero/1.0/	*
dc.subject	Tolerância a falhas	pt_BR
dc.subject	Injeção de falhas	pt_BR
dc.subject	Simulação	pt_BR
dc.subject	SEU	pt_BR
dc.subject	RISC-V	pt_BR
dc.subject	CEVERO	pt_BR
dc.subject.cnpq	CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO::HARDWARE	pt_BR
dc.title	Injeção de falhas e verificação de hardware para o CEVERO	pt_BR
dc.title.alternative	Fault injection and hardware verification for CEVERO	pt_BR
dc.type	bachelorThesis	pt_BR

Arquivos

Pacote Original

Agora exibindo 1 - 1 de 1

Nome:: InjeçãoDeFalhasEVerificaçãoDeHardwareParaoCEVERO_MatheusDantas_2023.pdf
Tamanho:: 1.48 MB
Formato:: Adobe Portable Document Format
Descrição:: tcc