License
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://drops.dagstuhl.de/opus/volltexte/2012/3783/
Go back to Dagstuhl Reports


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)

pdf-format:
dagrep_v002_i008_p54_s12341.pdf (1 MB)


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
Seminar: Dagstuhl Reports, Volume 2, Issue 8
Issue Date: 2012
Date of publication: 21.12.2012


DROPS-Home | Fulltext Search | Imprint Published by LZI