Publication
On the use of debug and test infrastructures for validating microprocessor based dependable systems through fault injection
| dc.contributor.author | Fidalgo, André V. | |
| dc.contributor.author | Alves, Gustavo R. | |
| dc.contributor.author | Ferreira, José M. | |
| dc.date.accessioned | 2017-02-09T15:33:46Z | |
| dc.date.available | 2017-02-09T15:33:46Z | |
| dc.date.issued | 2005 | |
| dc.description.abstract | 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 fault- tolerant 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 fault- tolerant characteristics of microprocessors but also for debugging and data collecting operations will be developed. | pt_PT |
| dc.description.version | info:eu-repo/semantics/publishedVersion | pt_PT |
| dc.identifier.uri | http://hdl.handle.net/10400.22/9536 | |
| dc.language.iso | eng | pt_PT |
| dc.peerreviewed | yes | pt_PT |
| dc.relation.ispartofseries | REC’05; | |
| dc.subject | Boundary scan | pt_PT |
| dc.subject | Fault injection | pt_PT |
| dc.subject | Dependability | pt_PT |
| dc.title | On the use of debug and test infrastructures for validating microprocessor based dependable systems through fault injection | pt_PT |
| dc.type | conference object | |
| dspace.entity.type | Publication | |
| oaire.citation.conferencePlace | Faculdade de Ciências e Tecnologia, Universidade do Algarve, Campus de Gambelas, Faro, Algarve | pt_PT |
| oaire.citation.title | I Jornadas sobre Sistemas Reconfiguráveis (REC’2005) | pt_PT |
| person.familyName | Alves | |
| person.givenName | Gustavo | |
| person.identifier | 150015 | |
| person.identifier.ciencia-id | 4210-4DF2-5206 | |
| person.identifier.orcid | 0000-0002-1244-8502 | |
| person.identifier.rid | I-7876-2014 | |
| person.identifier.scopus-author-id | 7006053908 | |
| rcaap.rights | openAccess | pt_PT |
| rcaap.type | conferenceObject | pt_PT |
| relation.isAuthorOfPublication | 01800568-7eaf-41d9-b78d-cf64f7c7381d | |
| relation.isAuthorOfPublication.latestForDiscovery | 01800568-7eaf-41d9-b78d-cf64f7c7381d |