On the use of debug and test infrastructures for validating microprocessor based dependable systems through fault injection
Autor(a) principal: | |
---|---|
Data de Publicação: | 2005 |
Outros Autores: | , |
Tipo de documento: | Livro |
Idioma: | eng |
Título da fonte: | Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) |
Texto Completo: | https://repositorio-aberto.up.pt/handle/10216/84653 |
Resumo: | In recent years, there has been a rapid increasein the use of microprocessor-based systems incritical areas where failures imply risks to humanlives, the environment or expensive equipment. Onesolution for avoiding a possible disaster lays in theuse of dependable systems, able to tolerate andeventually correct faults, requiring high qualityvalidation & verification in their development cycle.The PhD thesis here described aims to contribute amethodology that reuses a proposed standard debug& test infrastructure (NEXUS 5001) to access themicroprocessor core with the objective of supportingthe validation and verification steps of the faulttolerantmechanisms through fault injectioncampaigns. For the purpose of later demonstratingthe proposed methodology, a target microprocessoravailable as a synthesisable core for programmablecomponents will be used. This aspect is crucialbecause it allows us to implement a prototype fordemonstration purposes on a reconfigurable device.From these elements a fault injection infrastructurethat can be utilized not only for validating the faulttolerantcharacteristics of microprocessors but alsofor debugging and data collecting operations will bedeveloped. |
id |
RCAP_94819f130afceb3ab4b873bcb95c2c38 |
---|---|
oai_identifier_str |
oai:repositorio-aberto.up.pt:10216/84653 |
network_acronym_str |
RCAP |
network_name_str |
Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) |
repository_id_str |
7160 |
spelling |
On the use of debug and test infrastructures for validating microprocessor based dependable systems through fault injectionEngenharia electrotécnica, electrónica e informáticaElectrical engineering, Electronic engineering, Information engineeringIn recent years, there has been a rapid increasein the use of microprocessor-based systems incritical areas where failures imply risks to humanlives, the environment or expensive equipment. Onesolution for avoiding a possible disaster lays in theuse of dependable systems, able to tolerate andeventually correct faults, requiring high qualityvalidation & verification in their development cycle.The PhD thesis here described aims to contribute amethodology that reuses a proposed standard debug& test infrastructure (NEXUS 5001) to access themicroprocessor core with the objective of supportingthe validation and verification steps of the faulttolerantmechanisms through fault injectioncampaigns. For the purpose of later demonstratingthe proposed methodology, a target microprocessoravailable as a synthesisable core for programmablecomponents will be used. This aspect is crucialbecause it allows us to implement a prototype fordemonstration purposes on a reconfigurable device.From these elements a fault injection infrastructurethat can be utilized not only for validating the faulttolerantcharacteristics of microprocessors but alsofor debugging and data collecting operations will bedeveloped.20052005-01-01T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/bookapplication/pdfhttps://repositorio-aberto.up.pt/handle/10216/84653engAndré Vaz FidalgoGustavo R. AlvesJosé M. Ferreirainfo:eu-repo/semantics/openAccessreponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãoinstacron:RCAAP2023-11-29T15:35:26Zoai:repositorio-aberto.up.pt:10216/84653Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireopendoar:71602024-03-20T00:27:21.917049Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãofalse |
dc.title.none.fl_str_mv |
On the use of debug and test infrastructures for validating microprocessor based dependable systems through fault injection |
title |
On the use of debug and test infrastructures for validating microprocessor based dependable systems through fault injection |
spellingShingle |
On the use of debug and test infrastructures for validating microprocessor based dependable systems through fault injection André Vaz Fidalgo Engenharia electrotécnica, electrónica e informática Electrical engineering, Electronic engineering, Information engineering |
title_short |
On the use of debug and test infrastructures for validating microprocessor based dependable systems through fault injection |
title_full |
On the use of debug and test infrastructures for validating microprocessor based dependable systems through fault injection |
title_fullStr |
On the use of debug and test infrastructures for validating microprocessor based dependable systems through fault injection |
title_full_unstemmed |
On the use of debug and test infrastructures for validating microprocessor based dependable systems through fault injection |
title_sort |
On the use of debug and test infrastructures for validating microprocessor based dependable systems through fault injection |
author |
André Vaz Fidalgo |
author_facet |
André Vaz Fidalgo Gustavo R. Alves José M. Ferreira |
author_role |
author |
author2 |
Gustavo R. Alves José M. Ferreira |
author2_role |
author author |
dc.contributor.author.fl_str_mv |
André Vaz Fidalgo Gustavo R. Alves José M. Ferreira |
dc.subject.por.fl_str_mv |
Engenharia electrotécnica, electrónica e informática Electrical engineering, Electronic engineering, Information engineering |
topic |
Engenharia electrotécnica, electrónica e informática Electrical engineering, Electronic engineering, Information engineering |
description |
In recent years, there has been a rapid increasein the use of microprocessor-based systems incritical areas where failures imply risks to humanlives, the environment or expensive equipment. Onesolution for avoiding a possible disaster lays in theuse of dependable systems, able to tolerate andeventually correct faults, requiring high qualityvalidation & verification in their development cycle.The PhD thesis here described aims to contribute amethodology that reuses a proposed standard debug& test infrastructure (NEXUS 5001) to access themicroprocessor core with the objective of supportingthe validation and verification steps of the faulttolerantmechanisms through fault injectioncampaigns. For the purpose of later demonstratingthe proposed methodology, a target microprocessoravailable as a synthesisable core for programmablecomponents will be used. This aspect is crucialbecause it allows us to implement a prototype fordemonstration purposes on a reconfigurable device.From these elements a fault injection infrastructurethat can be utilized not only for validating the faulttolerantcharacteristics of microprocessors but alsofor debugging and data collecting operations will bedeveloped. |
publishDate |
2005 |
dc.date.none.fl_str_mv |
2005 2005-01-01T00:00:00Z |
dc.type.status.fl_str_mv |
info:eu-repo/semantics/publishedVersion |
dc.type.driver.fl_str_mv |
info:eu-repo/semantics/book |
format |
book |
status_str |
publishedVersion |
dc.identifier.uri.fl_str_mv |
https://repositorio-aberto.up.pt/handle/10216/84653 |
url |
https://repositorio-aberto.up.pt/handle/10216/84653 |
dc.language.iso.fl_str_mv |
eng |
language |
eng |
dc.rights.driver.fl_str_mv |
info:eu-repo/semantics/openAccess |
eu_rights_str_mv |
openAccess |
dc.format.none.fl_str_mv |
application/pdf |
dc.source.none.fl_str_mv |
reponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação instacron:RCAAP |
instname_str |
Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação |
instacron_str |
RCAAP |
institution |
RCAAP |
reponame_str |
Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) |
collection |
Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) |
repository.name.fl_str_mv |
Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação |
repository.mail.fl_str_mv |
|
_version_ |
1799136186030096384 |