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

• Tipo: Artigo em Livro de Atas de Conferência Nacional
• Data: 2005

Autores

André Vaz Fidalgo (Autor) Outra; Gustavo R. Alves (Autor) Outra; José M. Ferreira (Autor) FEUP

Ata de Conferência Nacional

Título: Actas das I Jornadas sobre Sistemas Reconfiguráveis

Páginas: 1-2

Jornadas sobre Sistemas Reconfiguráveis (REC 2005)

Faro, Portugal, 21 de Fevereiro de 2005

Classificação Científica

FOS: Ciências da engenharia e tecnologias > Engenharia electrotécnica, electrónica e informática

Outras Informações

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.

Idioma: Inglês

Tipo (Avaliação Docente): Científica

Nº de páginas: 2