Please use this identifier to cite or link to this item: https://repositorio-aberto.up.pt/handle/10216/84653
Author(s): André Vaz Fidalgo
Gustavo R. Alves
José M. Ferreira
Title: On the use of debug and test infrastructures for validating microprocessor based dependable systems through fault injection
Issue Date: 2005
Abstract: 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.
Subject: Engenharia electrotécnica, electrónica e informática
Electrical engineering, Electronic engineering, Information engineering
Scientific areas: Ciências da engenharia e tecnologias::Engenharia electrotécnica, electrónica e informática
Engineering and technology::Electrical engineering, Electronic engineering, Information engineering
URI: http://hdl.handle.net/10216/84653
Source: Actas das I Jornadas sobre Sistemas Reconfiguráveis
Document Type: Artigo em Livro de Atas de Conferência Nacional
Rights: openAccess
License: https://creativecommons.org/licenses/by-nc/4.0/
Appears in Collections:FEUP - Artigo em Livro de Atas de Conferência Nacional

Files in This Item:
File Description SizeFormat 
68339.pdfOn the use of debug and test infrastructures for validating microprocessor based dependable systems through fault injection29.53 kBAdobe PDFThumbnail
View/Open


This item is licensed under a Creative Commons License Creative Commons