@inproceedings{c918c65b89d24cdd8b78f1c8265bd5dc,
title = "Qualitative evaluation of fault hypotheses with non-intrusive fault injection",
abstract = "This paper presents a new approach for demonstrating whether safety-critical, hard real-Time systems implement fault hypotheses correctly and timely. In the forefront are tests which non-intrusively and deterministically stimulate and monitor the system under test. The tests use a domain-specific language which can formalize logical truths on system properties derived from fault hypotheses. Test results are strong arguments in safety cases. In this way the tests support both development and certification of safety-critical systems. Advantages over existing approaches to evaluating safety properties of complex and diverse safety-critical systems are discussed briefly, and fundamental work is referenced.",
keywords = "fault hypothesis, fault injection test, safety, safety case, safety properties",
author = "Jelena Frtunikj and Joachim Frohlich and Tim Rohlfs and Alois Knoll",
note = "Publisher Copyright: {\textcopyright} 2015 IEEE.; IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2015 ; Conference date: 02-11-2015 Through 05-11-2015",
year = "2016",
month = jan,
day = "25",
doi = "10.1109/ISSREW.2015.7392062",
language = "English",
series = "2015 IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2015",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "160--167",
booktitle = "2015 IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2015",
}