[ main page ] [ back ]

13/2012 : Protection of Muller Pipelines from Transient Faults

RR Number
13/2012
Conference
IEEE International Conference on Computer Design (ICCD 2012)
Author(s)
Rameez Naqvi, Andreas Steininger, Jakob Lechner
Abstract
While it is well understood how to efficiently protect the data path in an asynchronous transmission channel against transient faults, much less is known about protecting the handshake signals along with their associated logic -- mostly a Muller Pipeline -- although these are not less critical for the proper function. In this paper we analyze the possible failure scenarios in the handshake of a 4-phase bundled data protocol that can arise from transient faults and systematically elaborate mitigation techniques for the resulting effects, namely single event transients and single event upsets. By simulated fault injection we show the effectiveness of the proposed extensions for protecting the channel. We take care to make these extensions themselves immune against transient faults, and we prove their proper and deadlock-free operation under fault conditions by means of model checking.
Bibtex
@techreport{ naqvi:2012-13,
  author =       "Rameez Naqvi and Andreas Steininger and Jakob Lechner",
  title =        "Protection of Muller Pipelines from Transient Faults",
  institution =  "Technische Universit{\"a}t Wien, Institut f{\"u}r Technische Informatik",
  address =      "Treitlstr. 1-3/182-1, 1040 Vienna, Austria",
  type =         "Research Report",
  year =         "2012",
  number =       "13/2012"
}
Download

[ main page ] [ back ]