In this thesis, we cover the gapof quantifying diversity by introducing DIMP, a low-cost diversity metric based on analyzing the paths of the circuits and relating it to the particular case of automotive microcontrollers that implement lockstep cores
The goal of this research was to explore first principles associated with mixing of diverse implemen...
Industrial safety critical instrumentation and control systems (I&Cs) are facing more with informati...
AbstractAutomatic digital safety-critical systems are often architected with redundant hardware in o...
In this thesis, we cover the gapof quantifying diversity by introducing DIMP, a low-cost diversity m...
Diversity has been regarded as a desirable property of redundant instances, since it allows circuits...
Safety-critical systems must adhere to specific functional safety standards describing the developme...
International audienceThe idea that diverse or dissimilar computations could be used to detect error...
Redundancy techniques are widely used to design fault tolerant systems. Diversity has long been used...
In this paper, we describe how software diversity can be evaluated on the basis of fault coverage by...
Safety-related systems, such as those in automotive, avionics and space, impose the existence of app...
Failure risk must be tiny in high-integrity systems, such as those in cars, satellites and aircraft....
Computing systems in the safety domain, such as those in avionics or space, require specific safety ...
Common cause failures (CCF) are a serious threat to redundant system reliability. It is therefore im...
An important approach for software dependability is the use of diversity to detect and/or tolerate e...
Abstract. Shrinking process technologies and growing chip sizes have profound effects on process var...
The goal of this research was to explore first principles associated with mixing of diverse implemen...
Industrial safety critical instrumentation and control systems (I&Cs) are facing more with informati...
AbstractAutomatic digital safety-critical systems are often architected with redundant hardware in o...
In this thesis, we cover the gapof quantifying diversity by introducing DIMP, a low-cost diversity m...
Diversity has been regarded as a desirable property of redundant instances, since it allows circuits...
Safety-critical systems must adhere to specific functional safety standards describing the developme...
International audienceThe idea that diverse or dissimilar computations could be used to detect error...
Redundancy techniques are widely used to design fault tolerant systems. Diversity has long been used...
In this paper, we describe how software diversity can be evaluated on the basis of fault coverage by...
Safety-related systems, such as those in automotive, avionics and space, impose the existence of app...
Failure risk must be tiny in high-integrity systems, such as those in cars, satellites and aircraft....
Computing systems in the safety domain, such as those in avionics or space, require specific safety ...
Common cause failures (CCF) are a serious threat to redundant system reliability. It is therefore im...
An important approach for software dependability is the use of diversity to detect and/or tolerate e...
Abstract. Shrinking process technologies and growing chip sizes have profound effects on process var...
The goal of this research was to explore first principles associated with mixing of diverse implemen...
Industrial safety critical instrumentation and control systems (I&Cs) are facing more with informati...
AbstractAutomatic digital safety-critical systems are often architected with redundant hardware in o...