Protecting the dynamic dispatch in C++ by dependability aspects
| dc.contributor.author | Borchert, Christoph | |
| dc.contributor.author | Schirmeier, Horst | |
| dc.contributor.author | Spinczyk, Olaf | |
| dc.contributor.editor | Goltz, Ursula | |
| dc.contributor.editor | Magnor, Marcus | |
| dc.contributor.editor | Appelrath, Hans-Jürgen | |
| dc.contributor.editor | Matthies, Herbert K. | |
| dc.contributor.editor | Balke, Wolf-Tilo | |
| dc.contributor.editor | Wolf, Lars | |
| dc.date.accessioned | 2018-11-06T10:58:23Z | |
| dc.date.available | 2018-11-06T10:58:23Z | |
| dc.date.issued | 2012 | |
| dc.description.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. | en |
| dc.identifier.isbn | 978-3-88579-602-2 | |
| dc.identifier.pissn | 1617-5468 | |
| dc.identifier.uri | https://dl.gi.de/handle/20.500.12116/17856 | |
| dc.language.iso | en | |
| dc.publisher | Gesellschaft für Informatik e.V. | |
| dc.relation.ispartof | INFORMATIK 2012 | |
| dc.relation.ispartofseries | Lecture Notes in Informatics (LNI) - Proceedings, Volume P-208 | |
| dc.title | Protecting the dynamic dispatch in C++ by dependability aspects | en |
| dc.type | Text/Conference Paper | |
| gi.citation.endPage | 535 | |
| gi.citation.publisherPlace | Bonn | |
| gi.citation.startPage | 521 | |
| gi.conference.date | 16.-21. September 2012 | |
| gi.conference.location | Braunschweig | |
| gi.conference.sessiontitle | Regular Research Papers |
Dateien
Originalbündel
1 - 1 von 1