License: 
Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported license (CC BY-NC-ND 3.0)
When quoting this document, please refer to the following
DOI: 10.4230/DagRep.2.8.57
URN: urn:nbn:de:0030-drops-37830
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2012/3783/
Fey, Görschwin ;
Fujita, Masahiro ;
Miskov-Zivanov, Natasa ;
Roy, Kaushik ;
Sonza Reorda, Matteo
Weitere Beteiligte (Hrsg. etc.): Görschwin Fey and Masahiro Fujita and Natasa Miskov-Zivanov and Kaushik Roy and Matteo Sonza Reorda
Verifying Reliability (Dagstuhl Seminar 12341)
Abstract
Moore's law has been the driving force behind the increasing computing power of today's devices which is based on shrinking feature sizes. This shrinking process makes future devices extremely susceptible to soft errors due to, e.g., external influences like environmental radiation and internal issues like stress effects, aging and process variation. For future technology nodes "Designing reliable systems from unreliable components".
BibTeX - Entry
@Article{fey_et_al:DR:2012:3783,
author = {G{\"o}rschwin Fey and Masahiro Fujita and Natasa Miskov-Zivanov and Kaushik Roy and Matteo Sonza Reorda},
title = {{Verifying Reliability (Dagstuhl Seminar 12341)}},
pages = {57--73},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2012},
volume = {2},
number = {8},
editor = {G{\"o}rschwin Fey and Masahiro Fujita and Natasa Miskov-Zivanov and Kaushik Roy and Matteo Sonza Reorda},
publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
address = {Dagstuhl, Germany},
URL = {http://drops.dagstuhl.de/opus/volltexte/2012/3783},
URN = {urn:nbn:de:0030-drops-37830},
doi = {10.4230/DagRep.2.8.57},
annote = {Keywords: Reliability, fault modeling, formal methods}
}
|
Keywords: |
|
Reliability, fault modeling, formal methods |
|
Collection: |
|
Dagstuhl Reports, Volume 2, Issue 8 |
|
Issue Date: |
|
2012 |
|
Date of publication: |
|
21.12.2012 |
