<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Archiving and Interchange DTD v1.0 20120330//EN" "JATS-archivearticle1.dtd">
<article xmlns:xlink="http://www.w3.org/1999/xlink">
  <front>
    <journal-meta />
    <article-meta>
      <title-group>
        <article-title>Auto-tuning Fault Tolerance Technique for DSP-Based Circuits in Transportation Systems</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <string-name>Ihsen Alouani</string-name>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Smail Niar</string-name>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Yassin El-Hillali</string-name>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Atika Rivenq</string-name>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>I. Alouani</string-name>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>S. Niar LAMIH lab</string-name>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <aff id="aff0">
          <label>0</label>
          <institution>University of Valenciennes France</institution>
        </aff>
        <aff id="aff1">
          <label>1</label>
          <institution>Y. El-Hillali and A. Rivenq IEMN lab University of Valenciennes France</institution>
        </aff>
      </contrib-group>
      <pub-date>
        <year>2016</year>
      </pub-date>
      <fpage>2</fpage>
      <lpage>6</lpage>
      <abstract>
        <p>As new technologies use a reduced transistor size to improve performance, circuits are becoming remarkably sensitive to soft errors that become a serious threat for critical applications reliability. Most of the existing reliability enhancing techniques lead to costly hardware. The masking phenomenon is fundamental to accurately estimating soft error rates (SER). The rst contribution of this paper is a new crosslayer model for input-dependent Single Event Transient (SET) masking mechanisms combining Transistor Level Masking (TLM) and System Level Masking (SLM). We, secondly, use this model to build an autotuning fault tolerant circuit dedicated to obstacle detection systems in railway transportation. Based on our input-dependent masking model, the proposed architecture evaluates the e ective circuit's vulnerability at runtime and accordingly adapts the reliability boosting strategy, leading to a reliable circuit with optimized overheads. When compared to the Triple Modular Redundancy, our technique reduces the number of FPGA LUTs (resp. DSP slices) by up to 45% (resp. 33%).</p>
      </abstract>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>-</title>
      <p>2</p>
      <p>Ihsen Alouani, Smail Niar, Yassin El-Hillali, and Atika Rivenq</p>
      <p>In this paper, we present ARDAS for Auto-tuning Redundancy in DSP-based
Architectures for Soft errors resiliency, an architecture that uses auto-tuning
redundancy of DSP blocks to protect the vulnerable circuit parts instead of
protecting the whole circuit. The vulnerability analysis is performed through
design-time simulations that implement the proposed masking models (TLM
and SLM).
2</p>
    </sec>
    <sec id="sec-2">
      <title>TLM: Transistor-Level Masking Mechanism</title>
      <p>TLM occurrence is led by the a ected transistor locality within the struck gate
as well as the input combination during the transient event. In fact, the
particle strike temporarily corrupts combinational elements by a ecting the state
of the hit transistor. However, the event can be simply unnoticed at the
output if the transistor behavior corruption doesn't a ect the overall state of
pullup/pull-down network. Let be Di a binary variable set to 1 if the error due to
a particle strike hitting a transistor Qi is masked by a TLM mechanism. Pi is
the probability that Qi is the hit transistor within the struck gate by the
particle. Hence, the probability that the error resulting from a radiation strike in
gate j is masked for a given input combination in gate j is then expressed by:
PT LM (j) = PiN=j1(Pi Di). For simplicity, we assume the equiprobability of
gates' transistors to be hit by a particle. Let Nm be the number of cases the
error is masked for a given input combination. Hence, PT LM (j) = NNmj .</p>
      <p>The probability of soft error masking in the output bit Si of a combinatorial
circuit for given input signals is:</p>
      <p>P miasking =
n
X Wj (PT LM (j) + (1
j=1</p>
      <p>PT LM (j)) Dij )
(1)</p>
      <p>Where n is the number of gates in the circuit, PT LM (j) is the probability of
TLM at gate j and Wj is the weight assigned to gate j, expressed as the number
of the gate's transistors divided by the total number of transistors in the circuit.
Finally, Dij is a binary variable set to 1 if the error at gate j does not propagate
to output Si and to 0 otherwise.
3</p>
    </sec>
    <sec id="sec-3">
      <title>SLM: System-Level Masking Mechanism</title>
      <p>In a threshold-based system, the comparison of the intermediate result with a
beforehand xed threshold gives the overall system decision. A transient error
in the intermediate result may keep the overall system decision unchanged
depending on the detection threshold value.</p>
      <p>
        We consider a widely used signal processing element in detection/recognition
applications, namely a correlator. We built a simulation tool that tracks the
propagation of event-induced errors happening within the correlator nodes and
evaluated their impact on obstacle detection accuracy. The correlator is implemented
using DSP48E1 slices [
        <xref ref-type="bibr" rid="ref2">2</xref>
        ]. A soft error is modeled by injecting a bit ip in a node
(i; j) corresponding to the output bit i of the DSPj . Hence, the system behavior
can be monitored under fault injection through System Failures (SFs) detection.
A SF corresponds either to a "False Alarm", or a "No Alarm". To identify SFs,
we introduce the variable ij that is expressed by: ij = (Cij Y0) (C Y0),
where Cij is the correlation result under fault injection in node (i; j), C is the
error-free result and Y0 is the correlation threshold. A SF occurs when ij &lt; 0.
However, if ij 0 we have a System Level Masking (SLM).
4
      </p>
    </sec>
    <sec id="sec-4">
      <title>ARDAS: Proposed Approach</title>
      <p>We de ne Vj , the vulnerability of a DSPj by:</p>
      <p>Vj =</p>
      <p>PNj
i=1 ij (1</p>
      <p>Nj</p>
      <p>
        Pij )
(2)
Where: Nj is the number of output bits of DSPj , Pij is the probability of TLM
relative to bit i of DSPj and ij is a variable set to 0 if a fault at node (i; j) is
masked by SLM, i.e. ij 0 and is equal to 1 otherwise. We localize vulnerable
DSPs as those with Vj &gt; V0 and de ne j as follows: j = 0 if Vj &gt; V0
and j = 1 if Vj V0. As [Vj ] vector depends on the applied input signals,
the redundancy distribution corresponding to the vulnerability map has to be
dynamically tunable and self adaptive. The main idea is to judiciously use the
redundant DSP slices to carry out an auto-tuning partial TMR instead of a full
TMR. The system adapts the redundancy to the actual vulnerability map of the
circuit using the circuit's [ j ]; 8j 2 [1; Ndsp].
The recon guration process used to change the redundancy mapping at
runtime is taken from our previous work [
        <xref ref-type="bibr" rid="ref3">3</xref>
        ] and an example is illustrated in Figure
1. The circuit mapping is con gured by a single control word according to a
redundancy map obtained o ine through design-time simulations.
We compare the SER of ARDAS-protected to a TMR-protected correlation
circuit. As the reliability level is tuned via V0, Figure 2 represents the normalized
SER and the number of used DSP slices in ARDAS in terms of the tolerated
DSP vulnerability threshold. As seen in Figure 2, the reliability level provided
by ARDAS is comparable to TMR reliability level with lower HW resource
utilization.
      </p>
      <p>In addition to the reliability, we investigate the impact of ARDAS on power
consumption, resource utilization and the maximum clock frequency of each
circuit for two vulnerability threshold values: 0:55 and 0:7. The circuit is
synthesized for a Xilinx Virtex 7 board. The power consumption is estimated using
the Xilinx XPower Analyser tool. Table 1 shows that our architecture reduces
the reliability cost in terms of resource utilization, power and performance. In
fact, ARDAS decreases the number of used LUTs by 10% for V0 = 0:55 and by
32% for V0 = 0:7 compared to TMR. On the other hand, while using TMR slows</p>
      <p>Fig. 2. Normalized SER (left axis), used DSP resources vs V0 (right axis)
5
down the circuit frequency by 42%, ARDAS performance penalty is less than
18% compared to the unprotected circuit.
6</p>
    </sec>
    <sec id="sec-5">
      <title>Conclusion</title>
      <p>In this paper, a self adaptive reliability approach is proposed to cope with the
increasing error rates in new technologies with the lowest possible overheads.
ARDAS relies on an auto-tuning redundancy architecture to protect the vulnerable
parts of the system rather than the whole circuit. Due to its quick recon
gurability, ARDAS o ers high reliability with reduced overheads. Moreover, it allows
designers to choose the desired reliability level depending on the application
requirements and its criticality.</p>
    </sec>
  </body>
  <back>
    <ref-list>
      <ref id="ref1">
        <mixed-citation>
          1.
          <string-name>
            <given-names>P.</given-names>
            <surname>Dodd</surname>
          </string-name>
          and
          <string-name>
            <given-names>L.</given-names>
            <surname>Massengill</surname>
          </string-name>
          , \
          <article-title>Basic mechanisms and modeling of single-event upset in digital microelectronics,"</article-title>
          <source>IEEE Tran onNuclear Science</source>
          ,
          <year>June 2003</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref2">
        <mixed-citation>
          2.
          <article-title>7 series dsp48e1 slice user guide</article-title>
          . [Online]. Available: www.xilinx.com/support/documentation/user-guides
          <source>/ug479-7Series-DSP48E1</source>
          .pdf
        </mixed-citation>
      </ref>
      <ref id="ref3">
        <mixed-citation>
          3.
          <string-name>
            <given-names>I.</given-names>
            <surname>Alouani</surname>
          </string-name>
          ,
          <string-name>
            <given-names>M. A. R.</given-names>
            <surname>Saghir</surname>
          </string-name>
          , and
          <string-name>
            <given-names>S.</given-names>
            <surname>Niar</surname>
          </string-name>
          , Recon gurable Computing: Architectures, Tools, and Applications: 10th International Symposium, ARC 2014, Vilamoura, Portugal,
          <source>April 14-16</source>
          ,
          <year>2014</year>
          . Proceedings, ch. ARABICA:
          <article-title>A Recon gurable Arithmetic Block for ISA Customization</article-title>
          , pp.
          <volume>248</volume>
          {
          <fpage>253</fpage>
          .
        </mixed-citation>
      </ref>
    </ref-list>
  </back>
</article>