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