The 3rd HiPEAC Workshop on
Design for Reliability (DFR’11)

January 23rd, 2011 Heraklion, Crete, GREECE

Organized in conjunction with The 6th International Conference on High Performance and Embedded Architectures and Compilers, January 24-26, 2011 Heraklion, Crete, Greece
http://www.hipeac.net/conference/

Home
Call For Papers
Committees
Important Dates
Paper Submission
Registration
Program Schedule
HiPEAC Home
 

NEWS & UPDATES

NEW: Prof. Dan Sorin (Duke University) will deliver the Keynote Address of this year's DFR. titled "Verification-Aware Architecture and Fractal Coherence". More details on the program schedule.

NEW: Program Schedule now available! Click on Program Schedule on left menu for details!

You can access DFR'09 here and DFR'10 here.


WORKSHOP SCOPE


Motivation

To stimulate interest in an emerging and challenging issue by bringing together researchers from various areas (design, verification, test, architecture, fault tolerance and reliability) to share ideas and ferment future research in holistic approaches for reliable next-generation computing systems.

Reliable Systems Design

While technology is scaling well into the nanometer era, design of reliable, dependable and verifiable systems emerges as one of the most prominent design challenges. The increasing rate of intermittent and permanent faults due to design errors, device variability and manufacturing defects (including wear-outs), environmental impact and aging of devices (degradation) rises significantly as device size and power supply voltage shrink. Process variation also shifts the traditional deterministic design methodology towards a more stochastic and unorthodox design paradigm. The increased design complexity, increased device parameter variations due to manufacturing and lithographic defects, reduced noise margins resulting from the power supply voltage reduction, and the increase of noise due to crosstalk and power supply, all call for a design environment where traditional design methodologies are no longer effective. These cause further challenges in completing design verification and manufacturing tests; such effects manifest as inherent unreliability of the components, redefining the design and test paradigm for next-generation computing systems. Additionally, energy reduction and performance enhancement techniques force designs to run near zero margins, and factors which cannot be controlled such as soft errors, thermal impact and aging result in an increased occurrence of transient and hard faults in computing systems.


Topics of interest include (but not limited to):

  •  Dependable systems from unreliable components, lifelong reliability

  •  Fault-Tolerant micro-architectures and system architectures

  •  Testing and verification strategies for the future

  •  On-line (dynamic) testing and verification techniques

  •  Software-based methodologies for fault tolerance and testing

  •  System validation mechanisms

  •  Built-in self diagnosis, self-tuning and recovery schemes

  •  Self-adaptive systems

  •  System-level design and integration for reliability, verifiability and dependability

  •  Error modeling, detection, correction, and tolerance for transient and permanent errors

  •  Reliable on-chip communications

  •  Energy/reliability/performance tradeoffs

  •  Aggressive power saving mechanisms

  •  Compiler/architecture/OS methodologies and strategies for reliability

 

Workshop Organizers

 

General Chair

 

Alex Orailoglu (University of California, San Diego)

 

Program Chairs

 

Maria K. Michael (University of Cyprus)

Yanos Sazeides (University of Cyprus)

Theocharis Theocharides (University of Cyprus)