AN-Encoding Compiler: Building Safety-Critical Systems with Commodity Hardware
Publikation: Beitrag zu Konferenzen › Paper › Beigetragen › Begutachtung
Beitragende
Abstract
In the future, we expect commodity hardware to be used
in safety-critical applications. However, in the future commodity hard-
ware is expected to become less reliable and more susceptible to soft er-
rors because of decreasing feature size and reduced power supply. Thus,
software-implemented approaches to deal with unreliable hardware will
be needed. To simplify the handling of value failures, we provide fail-
ure virtualization in the sense that we transform arbitrary value failures
caused by erroneous execution into fail-stop failures. The latter ones are
easier to handle. Therefore, we use the arithmetic AN-code because it
provides very good error detection capabilities. Arithmetic codes are suit-
able for the protection of commodity hardware because guarantees can
be provided independent of the executing hardware. This paper presents
the encoding compiler EC-AN which applies AN-encoding to arbitrary
programs. According to our knowledge, this is the first in software imple-
mented complete AN-encoding. Former encoding compilers either encode
only small parts of applications or trade-off safety to enable complete
AN-encoding.
in safety-critical applications. However, in the future commodity hard-
ware is expected to become less reliable and more susceptible to soft er-
rors because of decreasing feature size and reduced power supply. Thus,
software-implemented approaches to deal with unreliable hardware will
be needed. To simplify the handling of value failures, we provide fail-
ure virtualization in the sense that we transform arbitrary value failures
caused by erroneous execution into fail-stop failures. The latter ones are
easier to handle. Therefore, we use the arithmetic AN-code because it
provides very good error detection capabilities. Arithmetic codes are suit-
able for the protection of commodity hardware because guarantees can
be provided independent of the executing hardware. This paper presents
the encoding compiler EC-AN which applies AN-encoding to arbitrary
programs. According to our knowledge, this is the first in software imple-
mented complete AN-encoding. Former encoding compilers either encode
only small parts of applications or trade-off safety to enable complete
AN-encoding.
Details
Originalsprache | Englisch |
---|---|
Seiten | 283-296 |
Seitenumfang | 14 |
Publikationsstatus | Veröffentlicht - 2009 |
Peer-Review-Status | Ja |
Konferenz
Titel | SAFECOMP '09 - the 28th International Conference on Computer Safety, Reliability, and Security |
---|---|
Kurztitel | SAFECOMP '09 |
Veranstaltungsnummer | |
Dauer | 15 September 2009 |
Bekanntheitsgrad | Internationale Veranstaltung |
Ort | |
Stadt | Hamburg |
Land | Deutschland |
Externe IDs
Scopus | 70350434509 |
---|
Schlagworte
Forschungsprofillinien der TU Dresden
DFG-Fachsystematik nach Fachkollegium
Schlagwörter
- Soft error, Arithmethic code, Commodity Hardware, Dynamic Binary Instrumentation, Decrease Feature Size