Update zotero.bib

zotero.bib

@@ -7,6 +7,25 @@
   file = {/home/christoph/Notes/Zotero/storage/3RK6XB92/Aidemark et al. - 2001 - GOOFI  Generic Object-Oriented Fault Injection Tool.pdf}
 }
 
+@article{arlatFaultInjectionDependability1990,
+  title = {Fault Injection for Dependability Validation: A Methodology and Some Applications},
+  shorttitle = {Fault Injection for Dependability Validation},
+  author = {Arlat, J. and Aguera, M. and Amat, L. and Crouzet, Y. and Fabre, J.-C. and Laprie, J.-C. and Martins, E. and Powell, D.},
+  date = {1990-02},
+  journaltitle = {IEEE Transactions on Software Engineering},
+  shortjournal = {IIEEE Trans. Software Eng.},
+  volume = {16},
+  number = {2},
+  pages = {166--182},
+  issn = {00985589},
+  doi = {10.1109/32.44380},
+  url = {http://ieeexplore.ieee.org/document/44380/},
+  urldate = {2026-07-07},
+  abstract = {This paper addresses the problem of the dependability validation of fault-tolerant computing systems and more specifically the validation of the fault-tolerance mechanisms. The presented approach is based on the use of fault-injection at the physical level on a hardwarelsoftware prototype of the considered system. The place of this approach in a validation directed design process, as well as its place with respect to related works on fault-injection, is clearly identified. The major requirements and problems related to the development and application of a validation methodology based on fault injection are presented and discussed. Emphasis is put on the definition, analysis, and use of the experimental dependability measures that can be obtained. The proposed methodology has been implemented through the realization of a general pin-level fault injection tool (MESSALINE) and its usefulness is demonstrated by the application of MESSALINE to the experimental validation of two systems: 1) a subsystem of a centralized computerized inerlocking system for railway control applications and 2) a distributed system corresponding to the current implementation of the dependable communication system of the ESPRIT Delta-4 Project.},
+  langid = {english},
+  file = {/home/christoph/Notes/Zotero/storage/7J6HHXRR/Arlat et al. - 1990 - Fault injection for dependability validation a methodology and some applications.pdf}
+}
+
 @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},