GI LogoGI Logo
  • Login
Digital Library
    • All of DSpace

      • Communities & Collections
      • Titles
      • Authors
      • By Issue Date
      • Subjects
    • This Collection

      • Titles
      • Authors
      • By Issue Date
      • Subjects
Digital Library Gesellschaft für Informatik e.V.
GI-DL
    • English
    • Deutsch
  • English 
    • English
    • Deutsch
View Item 
  •   DSpace Home
  • Lecture Notes in Informatics
  • Proceedings
  • INFORMATIK - Jahrestagung der Gesellschaft für Informatik e.V.
  • P208 - INFORMATIK 2012
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.
  •   DSpace Home
  • Lecture Notes in Informatics
  • Proceedings
  • INFORMATIK - Jahrestagung der Gesellschaft für Informatik e.V.
  • P208 - INFORMATIK 2012
  • View Item

Protecting the dynamic dispatch in C++ by dependability aspects

Author:
Borchert, Christoph [DBLP] ;
Schirmeier, Horst [DBLP] ;
Spinczyk, Olaf [DBLP]
Abstract
Computer systems, especially devices with highly-miniaturized feature sizes, are unreliable. Data memory is susceptible to a number of physical effects that cause faults, which can be observed as spontaneous bit flips. Although in many application scenarios corrupt data is harmless (“almost” correct result often suffices), control-flow transitions are very sensitive to faults. Indirect jumps, such as the dynamic dispatch of virtual functions in C++, often crash the system in case of a single bit flip. This paper describes a suitable software-based fault-tolerance mechanism, which can be applied to arbitrary C++ software by source-to-source compilation. The overall cost for this mechanism is below 10 % for both runtime and memory overhead. Our evaluation results show that this approach eliminates 67.1 % of all irregular program terminations in a case study using an embedded weather-station software, whose entire data memory is corrupted by single-bit flips.
  • Citation
  • BibTeX
Borchert, C., Schirmeier, H. & Spinczyk, O., (2012). Protecting the dynamic dispatch in C++ by dependability aspects. In: Goltz, U., Magnor, M., Appelrath, H.-J., Matthies, H. K., Balke, W.-T. & Wolf, L. (Hrsg.), INFORMATIK 2012. Bonn: Gesellschaft für Informatik e.V.. (S. 521-535).
@inproceedings{mci/Borchert2012,
author = {Borchert, Christoph AND Schirmeier, Horst AND Spinczyk, Olaf},
title = {Protecting the dynamic dispatch in C++ by dependability aspects},
booktitle = {INFORMATIK 2012},
year = {2012},
editor = {Goltz, Ursula AND Magnor, Marcus AND Appelrath, Hans-Jürgen AND Matthies, Herbert K. AND Balke, Wolf-Tilo AND Wolf, Lars} ,
pages = { 521-535 },
publisher = {Gesellschaft für Informatik e.V.},
address = {Bonn}
}
DateienGroesseFormatAnzeige
521.pdf364.3Kb PDF View/Open

Haben Sie fehlerhafte Angaben entdeckt? Sagen Sie uns Bescheid: Send Feedback

More Info

ISBN: 978-3-88579-602-2
ISSN: 1617-5468
xmlui.MetaDataDisplay.field.date: 2012
Language: en (en)
Content Type: Text/Conference Paper
Collections
  • P208 - INFORMATIK 2012 [169]

Show full item record


About uns | FAQ | Help | Imprint | Datenschutz

Gesellschaft für Informatik e.V. (GI), Kontakt: Geschäftsstelle der GI
Diese Digital Library basiert auf DSpace.

 

 


About uns | FAQ | Help | Imprint | Datenschutz

Gesellschaft für Informatik e.V. (GI), Kontakt: Geschäftsstelle der GI
Diese Digital Library basiert auf DSpace.