The rapid increase in the use of microprocessor-based systems in critical areas, where failures imply risks to human lives, to the environment or to expensive equipment, significantly increased the need for dependable systems, able to detect, tolerate and eventually correct faults. The verification and validation of such systems is frequently performed via fault injection, using various forms and techniques. However, as electronic devices get smaller and more complex, controllability and observability issues, and sometimes real time constraints, make it harder to apply most conventional fault injection techniques. This paper proposes a fault injection environment and a scalable methodology to assist the execution of real-time fault injectio...
Evaluating the faulty behaviour of low-cost microprocessor-based boards is an increasingly important...
Microprocessor-based embedded systems are increasingly used to control safety-critical systems (e.g....
The increasing need for high-performance dependable systems with and the ongoing strong cost pressur...
The rapid increase in the use of microprocessor-based systems in critical areas, where failures impl...
As electronic devices get smaller and more complex, dependability assurance is becoming fundamental ...
As electronic devices get smaller and more complex, dependability assurance is becoming fundamental...
As electronic devices get smaller and more complex, dependability assurance is becoming fundamental ...
Dependability is a critical factor in computer systems, requiring high quality validation & verifica...
This paper proposes a set of modifications to theon-chip debugging infrastructures present in manyac...
Fault injection is frequently used for the verification and validation of dependable systems. When t...
As electronic devices get smaller and more complex,dependability assurance is becoming fundamental f...
Fault injection is frequently used for the verification and validation of the fault tolerant feature...
On-chip debug (OCD) features are frequently available in modern microprocessors. Their contribution ...
In recent years, there has been a rapid increasein the use of microprocessor-based systems incritica...
Microprocessor-based embedded systems are increasingly used to control safety-critical systems (e.g....
Evaluating the faulty behaviour of low-cost microprocessor-based boards is an increasingly important...
Microprocessor-based embedded systems are increasingly used to control safety-critical systems (e.g....
The increasing need for high-performance dependable systems with and the ongoing strong cost pressur...
The rapid increase in the use of microprocessor-based systems in critical areas, where failures impl...
As electronic devices get smaller and more complex, dependability assurance is becoming fundamental ...
As electronic devices get smaller and more complex, dependability assurance is becoming fundamental...
As electronic devices get smaller and more complex, dependability assurance is becoming fundamental ...
Dependability is a critical factor in computer systems, requiring high quality validation & verifica...
This paper proposes a set of modifications to theon-chip debugging infrastructures present in manyac...
Fault injection is frequently used for the verification and validation of dependable systems. When t...
As electronic devices get smaller and more complex,dependability assurance is becoming fundamental f...
Fault injection is frequently used for the verification and validation of the fault tolerant feature...
On-chip debug (OCD) features are frequently available in modern microprocessors. Their contribution ...
In recent years, there has been a rapid increasein the use of microprocessor-based systems incritica...
Microprocessor-based embedded systems are increasingly used to control safety-critical systems (e.g....
Evaluating the faulty behaviour of low-cost microprocessor-based boards is an increasingly important...
Microprocessor-based embedded systems are increasingly used to control safety-critical systems (e.g....
The increasing need for high-performance dependable systems with and the ongoing strong cost pressur...