Import references from zotero

references.bib

@@ -1,6 +1,58 @@
+@inproceedings{chenImprovingJavaVirtual2005,
+  title = {Improving Java Virtual Machine Reliability for Memory-Constrained Embedded Systems},
+  booktitle = {Proceedings of the 42nd Annual Conference on {{Design}} Automation  - {{DAC}} '05},
+  author = {Chen, Guangyu and Kandemir, Mahmut},
+  date = {2005},
+  pages = {690},
+  publisher = {ACM Press},
+  location = {San Diego, California, USA},
+  doi = {10.1145/1065579.1065761},
+  url = {http://portal.acm.org/citation.cfm?doid=1065579.1065761},
+  urldate = {2026-03-26},
+  abstract = {Dual-execution/checkpointing based transient error tolerance techniques have been widely used in the high-end mission critical systems. These techniques, however, are not very attractive for cost-sensitive embedded systems because they require extra resources (e.g., large memory, special hardware, etc), and thus increase overall cost of the system. In this paper, we propose a transient error tolerant Java Virtual Machine (JVM) implementation for embedded systems. Our JVM uses dual-execution and checkpointing to detect and recover from transient errors. However, our technique does not require any special hardware support (except for the memory page protection mechanism, which is commonly available in modern embedded processors), and the memory space overhead it incurs is not excessive. Therefore, it is suitable for memory-constrained embedded systems. We implemented our approach and performed experiments with seven embedded Java applications.},
+  eventtitle = {The 42nd Annual Conference},
+  isbn = {978-1-59593-058-3},
+  langid = {english},
+  file = {/home/christoph/Notes/Zotero/storage/FKKICG9F/Chen and Kandemir - 2005 - Improving java virtual machine reliability for memory-constrained embedded systems.pdf}
+}
+
+@article{forinVitalCodedMicroprocessor1990,
+  title = {Vital {{Coded Microprocessor Principles}} and {{Application}} for {{Various Transit Systems}}},
+  author = {Forin, P.},
+  date = {1990-09},
+  journaltitle = {IFAC Proceedings Volumes},
+  shortjournal = {IFAC Proceedings Volumes},
+  volume = {23},
+  number = {2},
+  pages = {79--84},
+  issn = {14746670},
+  doi = {10.1016/S1474-6670(17)52653-1},
+  url = {https://linkinghub.elsevier.com/retrieve/pii/S1474667017526531},
+  urldate = {2026-03-30},
+  langid = {english},
+  file = {/home/christoph/Notes/Zotero/storage/77H4FFUQ/Forin - 1990 - Vital Coded Microprocessor Principles and Application for Various Transit Systems.pdf}
+}
+
+@inproceedings{hoffmannPractitionersGuideSoftwareBased2014,
+  title = {A {{Practitioner}}'s {{Guide}} to {{Software-Based Soft-Error Mitigation Using AN-Codes}}},
+  booktitle = {2014 {{IEEE}} 15th {{International Symposium}} on {{High-Assurance Systems Engineering}}},
+  author = {Hoffmann, Martin and Ulbrich, Peter and Dietrich, Christian and Schirmeier, Horst and Lohmann, Daniel and Schroder-Preikschat, Wolfgang},
+  date = {2014-01},
+  pages = {33--40},
+  publisher = {IEEE},
+  location = {Miami Beach, FL, USA},
+  doi = {10.1109/HASE.2014.14},
+  url = {http://ieeexplore.ieee.org/document/6754585/},
+  urldate = {2026-01-05},
+  abstract = {Arithmetic error coding schemes (AN codes1) are a well known and effective technique for soft error mitigation. Although coding theory being a rich area of mathematics, their implementation seems to be fairly easy. However, compliance with the theory can be lost easily while moving towards an actual implementation – finally jeopardizing the aspired fault-tolerance characteristics. In this paper, we present our experiences and lessons learned from implementing AN codes in the CoRed dependable voter. We focus on the challenges and pitfalls in the transition from maths to machine code for a binary computer from a systems perspective. Our results show, that practical misconceptions (such as the use of prime numbers) and architecturedependent implementation glitches occur at every stage of this transition. We identify typical pitfalls and describe practical measures to find and resolve them. Our measures eliminate all remaining SDCs in the CoRed voter, which is validated by an extensive fault-injection campaign that covers 100 percent of the fault space for 1-bit and 2-bit errors.},
+  eventtitle = {2014 {{IEEE}} 15th {{International Symposium}} on {{High-Assurance Systems Engineering}} ({{HASE}})},
+  isbn = {978-1-4799-3466-9 978-1-4799-3465-2},
+  langid = {english},
+  file = {/home/christoph/Notes/Zotero/storage/CY3ULLCA/Hoffmann et al. - 2014 - A Practitioner's Guide to Software-Based Soft-Error Mitigation Using AN-Codes.pdf}
+}
+
 @article{polednaReplicaDeterminismDistributed1994,
-    title = {Replica Determinism in Distributed Real-Time Systems: {{A}} Brief
+  title = {Replica Determinism in Distributed Real-Time Systems: {{A}} Brief Survey},
-             Survey},
   shorttitle = {Replica Determinism in Distributed Real-Time Systems},
   author = {Poledna, Stefan},
   date = {1994-05},
@@ -13,21 +65,136 @@
   doi = {10.1007/BF01088629},
   url = {http://link.springer.com/10.1007/BF01088629},
   urldate = {2026-03-26},
-    abstract = {Replication of entities is a convenient technique to achieve
+  abstract = {Replication of entities is a convenient technique to achieve fault-tolerance. The problem of replica determinism thereby is to assure, that replicated entities show consistent behavior in the absence of failures. Possible sources for replica non-determinism as well as basic requirements and strategies to enforce replica determinism axe presented. The problem of replica determinism enforcement under real-time constraints is surveyed in the context of the communication problem for distributed systems. Furthermore the close interdependence between replica determinism on the one side and synchronization strategies, handling of failures and redundancy preservation on the other side is reviewed. The impact of synchronous or asynchronous approaches on replication strategies is also discussed.},
-                fault-tolerance. The problem of replica determinism thereby is to
-                assure, that replicated entities show consistent behavior in the
-                absence of failures. Possible sources for replica non-determinism
-                as well as basic requirements and strategies to enforce replica
-                determinism axe presented. The problem of replica determinism
-                enforcement under real-time constraints is surveyed in the
-                context of the communication problem for distributed systems.
-                Furthermore the close interdependence between replica determinism
-                on the one side and synchronization strategies, handling of
-                failures and redundancy preservation on the other side is
-                reviewed. The impact of synchronous or asynchronous approaches on
-                replication strategies is also discussed.},
   langid = {english},
-    file = {/home/christoph/Notes/Zotero/storage/DB8GU2TK/Poledna - 1994 -
+  file = {/home/christoph/Notes/Zotero/storage/DB8GU2TK/Poledna - 1994 - Replica determinism in distributed real-time systems A brief survey.pdf}
-            Replica determinism in distributed real-time systems A brief
+}
-            survey.pdf},
+
+@incollection{schiffelANBANBDmemEncodingDetecting2010,
+  title = {{{ANB-}} and {{ANBDmem-Encoding}}: {{Detecting Hardware Errors}} in {{Software}}},
+  shorttitle = {{{ANB-}} and {{ANBDmem-Encoding}}},
+  booktitle = {Computer {{Safety}}, {{Reliability}}, and {{Security}}},
+  author = {Schiffel, Ute and Schmitt, André and Süßkraut, Martin and Fetzer, Christof},
+  editor = {Schoitsch, Erwin},
+  editora = {Hutchison, David and Kanade, Takeo and Kittler, Josef and Kleinberg, Jon M. and Mattern, Friedemann and Mitchell, John C. and Naor, Moni and Nierstrasz, Oscar and Pandu Rangan, C. and Steffen, Bernhard and Sudan, Madhu and Terzopoulos, Demetri and Tygar, Doug and Vardi, Moshe Y. and Weikum, Gerhard},
+  editoratype = {redactor},
+  date = {2010},
+  volume = {6351},
+  pages = {169--182},
+  publisher = {Springer Berlin Heidelberg},
+  location = {Berlin, Heidelberg},
+  doi = {10.1007/978-3-642-15651-9_13},
+  url = {http://link.springer.com/10.1007/978-3-642-15651-9_13},
+  urldate = {2026-03-29},
+  abstract = {It is expected that commodity hardware is becoming less reliable because of the continuously decreasing feature sizes of integrated circuits. Nevertheless, more and more commodity hardware with insufficient error detection is used in critical applications. One possible solution is to detect hardware errors in software using arithmetic AN-codes. These codes detect hardware errors independent of the actual failure modes of the underlying hardware. However, measurements have shown that AN-codes still exhibit large rates of undetected silent data corruptions (SDC). These high rates of undetected SDCs are caused by the insufficient protection of control and data flow through AN-codes. In contrast, ANB- and ANBD-codes promise much higher error detection rates because they also detect errors in control and data flow. We present our encoding compiler that automatically applies either an AN-, ANBor ANBD-code to an application. Our error injections show that AN-, ANB-, and ANBD-codes successfully detect errors and more important that indeed ANB- and ANBD-codes reduce the SDC rate more effectively than AN-codes. The difference between ANBD- and ANB-codes is also visible but less pronounced.},
+  isbn = {978-3-642-15650-2 978-3-642-15651-9},
+  langid = {english},
+  file = {/home/christoph/Notes/Zotero/storage/VU7Y6B54/Schiffel et al. - 2010 - ANB- and ANBDmem-Encoding Detecting Hardware Errors in Software.pdf}
+}
+
+@thesis{schiffelHardwareErrorDetection2011,
+  type = {phdthesis},
+  title = {Hardware {{Error Detection Using AN-Codes}}},
+  author = {Schiffel, Ute},
+  date = {2011},
+  institution = {Technical University of Dresden},
+  location = {Dresden},
+  langid = {english},
+  file = {/home/christoph/Notes/Zotero/storage/7BXMSTFW/Hardware_Error_Detection_Using_AN_Codes.pdf}
+}
+
+@thesis{schirmeierEfficientFaultInjectionbasedAssessment,
+  type = {phdthesis},
+  title = {Efficient {{Fault-Injection-based Assessment}} of {{Software-Implemented Hardware Fault Tolerance}}},
+  author = {Schirmeier, Horst},
+  date = {2016},
+  institution = {Technical University of Dortmund},
+  location = {Dortmund},
+  langid = {english},
+  file = {/home/christoph/Notes/Zotero/storage/MIBRJ5DT/Schirmeier - Efficient Fault-Injection-based Assessment of Software-Implemented Hardware Fault Tolerance.pdf}
+}
+
+@inproceedings{schirmeierFAILOpenVersatile2015,
+  title = {{{FAIL}}*: {{An Open}} and {{Versatile Fault-Injection Framework}} for the {{Assessment}} of {{Software-Implemented Hardware Fault Tolerance}}},
+  shorttitle = {{{FAIL}}*},
+  booktitle = {2015 11th {{European Dependable Computing Conference}} ({{EDCC}})},
+  author = {Schirmeier, Horst and Hoffmann, Martin and Dietrich, Christian and Lenz, Michael and Lohmann, Daniel and Spinczyk, Olaf},
+  date = {2015-09},
+  pages = {245--255},
+  publisher = {IEEE},
+  location = {Paris, France},
+  doi = {10.1109/EDCC.2015.28},
+  url = {https://ieeexplore.ieee.org/document/7371972/},
+  urldate = {2026-03-29},
+  abstract = {Due to voltage and structure shrinking, the influence of radiation on a circuit’s operation increases, resulting in future hardware designs exhibiting much higher rates of soft errors. Software developers have to cope with these effects to ensure functional safety. However, software-based hardware fault tolerance is a holistic property that is tricky to achieve in practice, potentially impaired by every single design decision. We present FAIL*, an open and versatile architecture-level fault-injection (FI) framework for the continuous assessment and quantification of fault tolerance in an iterative software development process. FAIL* supplies the developer with reusable and composable FI campaigns, advanced pre- and post-processing analyses to easily identify sensitive spots in the software, wellabstracted back-end implementations for several hardware and simulator platforms, and scalability of FI campaigns by providing massive parallelization. We describe FAIL*, its application to the development process of safety-critical software, and the lessons learned from a real-world example.},
+  eventtitle = {2015 11th {{European Dependable Computing Conference}} ({{EDCC}})},
+  isbn = {978-1-4673-9289-1},
+  langid = {english},
+  file = {/home/christoph/Notes/Zotero/storage/DVEUWLJJ/Schirmeier et al. - 2015 - FAIL An Open and Versatile Fault-Injection Framework for the Assessment of Software-Implemented Ha.pdf}
+}
+
+@article{schirmeierFAILVersatileFaultInjection2012,
+  title = {{{FAIL}}*: {{Towards}} a {{Versatile Fault-Injection Experiment Framework}}},
+  author = {Schirmeier, Horst and Hoffmann, Martin and Kapitza, Rüdiger and Lohmann, Daniel and Spinczyk, Olaf},
+  date = {2012-01},
+  abstract = {Many years of research on dependable, faulttolerant software systems yielded many tool implementations for vulnerability analysis and experimental validation of resilience measures. We identify two disjoint classes of fault-injection (FI) experiment tools in the field, and argue that both are plagued by inherent deficiencies, such as insufficient target state access, little or no means to switch to another target system, and non-reusable experiment code.},
+  langid = {english},
+  file = {/home/christoph/Notes/Zotero/storage/G9SATNLR/Schirmeier et al. - FAIL Towards a Versatile Fault-Injection Experiment Framework.pdf}
+}
+
+@article{soloukiDependabilityEmbeddedSystems2024,
+  title = {Dependability in {{Embedded Systems}}: {{A Survey}} of {{Fault Tolerance Methods}} and {{Software-Based Mitigation Techniques}}},
+  shorttitle = {Dependability in {{Embedded Systems}}},
+  author = {Solouki, Mohammadreza Amel and Angizi, Shaahin and Violante, Massimo},
+  date = {2024},
+  journaltitle = {IEEE Access},
+  shortjournal = {IEEE Access},
+  volume = {12},
+  pages = {180939--180967},
+  issn = {2169-3536},
+  doi = {10.1109/ACCESS.2024.3509633},
+  url = {https://ieeexplore.ieee.org/document/10772080/},
+  urldate = {2026-03-26},
+  abstract = {Fault tolerance is a critical aspect of modern computing systems, ensuring correct functionality in the presence of faults. This paper presents a comprehensive survey of fault tolerance methods and mitigation techniques in embedded systems, with a focus on both software and hardware faults. Emphasis is placed on real-time embedded systems, considering their resource constraints and the increasing interconnectivity of computing systems in commercial and industrial applications. The survey covers various fault tolerance methods, including hardware, software, and hybrid redundancy. Particular attention is given to software faults, acknowledging their significance as a leading cause of system failures, while also addressing hardware faults and their mitigation. Moreover, the paper explores the challenges posed by soft errors in modern computing systems. The survey concludes by emphasizing the need for continued research and development in fault tolerance methods, specifically in the context of real-time embedded systems, and highlights the potential for extending fault tolerance approaches to diverse computing environments.},
+  langid = {english},
+  file = {/home/christoph/Notes/Zotero/storage/7I9EXB4N/Solouki et al. - 2024 - Dependability in Embedded Systems A Survey of Fault Tolerance Methods and Software-Based Mitigation.pdf}
+}
+
+@inproceedings{ulbrichEliminatingSinglePoints2012,
+  title = {Eliminating {{Single Points}} of {{Failure}} in {{Software-Based Redundancy}}},
+  booktitle = {2012 {{Ninth European Dependable Computing Conference}}},
+  author = {Ulbrich, P. and Hoffmann, M. and Kapitza, R. and Lohmann, D. and Schroder-Preikschat, W. and Schmid, R.},
+  date = {2012-05},
+  pages = {49--60},
+  publisher = {IEEE},
+  location = {Sibiu},
+  doi = {10.1109/EDCC.2012.21},
+  url = {http://ieeexplore.ieee.org/document/6214760/},
+  urldate = {2026-01-07},
+  eventtitle = {2012 {{Ninth European Dependable Computing Conference}} ({{EDCC}})},
+  isbn = {978-1-4673-0938-7 978-0-7695-4671-1},
+  langid = {english},
+  file = {/home/christoph/Notes/Zotero/storage/8QZAMSR7/Ulbrich et al. - 2012 - Eliminating Single Points of Failure in Software-Based Redundancy.pdf}
+}
+
+@incollection{wapplerSoftwareEncodedProcessing2007,
+  title = {Software {{Encoded Processing}}: {{Building Dependable Systems}} with {{Commodity Hardware}}},
+  shorttitle = {Software {{Encoded Processing}}},
+  booktitle = {Computer {{Safety}}, {{Reliability}}, and {{Security}}},
+  author = {Wappler, Ute and Fetzer, Christof},
+  editor = {Saglietti, Francesca and Oster, Norbert},
+  editora = {Hutchison, David and Kanade, Takeo and Kittler, Josef and Kleinberg, Jon M. and Mattern, Friedemann and Mitchell, John C. and Naor, Moni and Nierstrasz, Oscar and Pandu Rangan, C. and Steffen, Bernhard and Sudan, Madhu and Terzopoulos, Demetri and Tygar, Doug and Vardi, Moshe Y. and Weikum, Gerhard},
+  editoratype = {redactor},
+  date = {2007},
+  volume = {4680},
+  pages = {356--369},
+  publisher = {Springer Berlin Heidelberg},
+  location = {Berlin, Heidelberg},
+  doi = {10.1007/978-3-540-75101-4_34},
+  url = {http://link.springer.com/10.1007/978-3-540-75101-4_34},
+  urldate = {2026-03-26},
+  abstract = {In future, the decreasing feature size and the reduced power supply will make it much more difficult to built reliable microprocessors. Economic pressure will most likely result in the reliability of microprocessors being tuned for the commodity market. In the dependability domain we expect the continued spreading of mixed-mode computing systems, i.e., systems that execute both critical and non-critical functionality. To permit the efficient execution of non-critical applications and the correct execution of critical applications, we introduce the concept of Software Encoded Processing (SEP). SEP enforces a crash failure semantics of the underlying CPU. It does not require the source code of encoded programs and provides probabilistic guarantees. To achieve this, arithmetic codes and signatures are used to detect corrupted data and faulty executions of programs.},
+  isbn = {978-3-540-75100-7 978-3-540-75101-4},
+  langid = {english},
+  file = {/home/christoph/Notes/Zotero/storage/VQT3AEQF/Wappler and Fetzer - 2007 - Software Encoded Processing Building Dependable Systems with Commodity Hardware.pdf}
 }