Projekte pro Jahr
Abstract
Bitflips form an increasingly serious problem for the correctness and security of software and hardware, whether they occur inadvertently as soft errors or on purpose as fault injections. Error Detection Codes add redundancy and make it possible to check for faults during runtime, making systems more resilient to bitflips. Codes require data integrity to be checked regularly. Such checks need to be used sparingly, because they cause runtime overhead. In this paper, we show how to use static verification to minimize the number of runtime checks in encoded programs. We focus on loops, because this is where it is important to avoid unnecessary checks. We introduce three types of abstractions to decide correctness: depending on (i) whether we keep track of errors precisely or of their Hamming weights, (ii) how we check whether faults can still be detected, and (iii) whether we keep track of the data or not. We show that checks in loops induce simple and natural loop invariants that we can use to speed up the verification process. The abstractions let us trade verification time against the number of required runtime checks, allowing us to find efficient sets of integrity checks for critical program fragments in reasonable time. Preliminary experimental data shows that we can reduce the number of runtime checks by up to a factor of ten.
Originalsprache | englisch |
---|---|
Titel | Runtime Verification - 20th International Conference, RV 2020, Proceedings |
Untertitel | 20th International Conference, RV 2020 |
Redakteure/-innen | Jyotirmoy Deshmukh, Dejan Nickovic |
Herausgeber (Verlag) | Springer Nature Switzerland AG |
Seiten | 241-258 |
Seitenumfang | 18 |
ISBN (elektronisch) | 978-3-030-60508-7 |
ISBN (Print) | 9783030605070 |
DOIs | |
Publikationsstatus | Veröffentlicht - Okt. 2020 |
Veranstaltung | 20th International Conference on Runtime Verification: RV 2020 - online, Los Angeles, Virtual, USA / Vereinigte Staaten Dauer: 6 Okt. 2020 → 9 Okt. 2020 https://rv20.ait.ac.at/ |
Publikationsreihe
Name | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
---|---|
Band | 12399 LNCS |
ISSN (Print) | 0302-9743 |
ISSN (elektronisch) | 1611-3349 |
Konferenz
Konferenz | 20th International Conference on Runtime Verification |
---|---|
Kurztitel | RV'20 |
Land/Gebiet | USA / Vereinigte Staaten |
Ort | Los Angeles, Virtual |
Zeitraum | 6/10/20 → 9/10/20 |
Internetadresse |
ASJC Scopus subject areas
- Theoretische Informatik
- Informatik (insg.)
Fingerprint
Untersuchen Sie die Forschungsthemen von „Placement of Runtime Checks to Counteract Fault Injections“. Zusammen bilden sie einen einzigartigen Fingerprint.Projekte
- 1 Abgeschlossen
-
Verlaesslichkeit im Internet der Dinge
Boano, C. A., Kubin, G., Bloem, R., Horn, M., Pernkopf, F., Zakany, N., Mangard, S., Witrisal, K., Römer, K. U., Aichernig, B., Bösch, W., Baunach, M. C., Tappler, M., Malenko, M., Weiser, S., Eichlseder, M., Leitinger, E., Grosinger, J., Großwindhager, B., Ebrahimi, M., Alothman Alterkawi, A. B., Knoll, C., Teschl, R., Saukh, O., Rath, M., Steinberger, M., Steinbauer-Wagner, G. & Tranninger, M.
1/01/16 → 31/03/22
Projekt: Forschungsprojekt
Aktivitäten
- 1 Vortrag bei Konferenz oder Fachtagung
-
Placement of Runtime Checks to Counteract Fault Injections
Benedikt Maderbacher (Redner/in)
7 Okt. 2020Aktivität: Vortrag oder Präsentation › Vortrag bei Konferenz oder Fachtagung › Science to science