On the use of debug and test infrastructures for validating microprocessor based dependable systems through fault injection

• Type: Article in International Conference Proceedings Book
• Date: 2005

Authors

André Vaz Fidalgo (Author) Other; Gustavo R. Alves (Author) Other; José M. Ferreira (Author) FEUP

Conference proceedings National

Title: Actas das I Jornadas sobre Sistemas Reconfiguráveis

Pages: 1-2

Jornadas sobre Sistemas Reconfiguráveis (REC 2005)

Faro, Portugal, 21 de Fevereiro de 2005

Scientific classification

FOS: Engineering and technology > Electrical engineering, Electronic engineering, Information engineering

Other information

Abstract (EN): In recent years, there has been a rapid increase in the use of microprocessor-based systems in critical areas where failures imply risks to human lives, the environment or expensive equipment. One solution for avoiding a possible disaster lays in the use of dependable systems, able to tolerate and eventually correct faults, requiring high quality validation & verification in their development cycle. The PhD thesis here described aims to contribute a methodology that reuses a proposed standard debug & test infrastructure (NEXUS 5001) to access the microprocessor core with the objective of supporting the validation and verification steps of the faulttolerant mechanisms through fault injection campaigns. For the purpose of later demonstrating the proposed methodology, a target microprocessor available as a synthesisable core for programmable components will be used. This aspect is crucial because it allows us to implement a prototype for demonstration purposes on a reconfigurable device. From these elements a fault injection infrastructure that can be utilized not only for validating the faulttolerant characteristics of microprocessors but also for debugging and data collecting operations will be developed.

Language: English

Type (Professor's evaluation): Scientific

No. of pages: 2