jambit cooperates with project partners also on the scientific level
Together with two colleagues of the Siemens RACE project team and a professor of the TU Munich, jambitee Tim Rohlfs has published a paper: „Qualitative evaluation of fault hypotheses with non-intrusive fault injection“. At the beginning of November, it was presented at the "5th IEEE International Workshop on Software Certification (WoSoCer 2015)", taking place during the "IEEE International Symposium on Software Reliability Engineering (ISSRE)" in Washington, D.C., USA.
In a short interview, Tim Rohlfs provides insights into the joint research project.
What is the subject of the paper?
It deals with the question how to test whether a system is fault-tolerant concerning a specific fault model. Put simply: Someone develops an abstract model of possible malfunctions and their causes and wants to test whether the system is able to cope with these errors in accordance with the model. If so, it could detect the errors during ongoing operations and possibly even fix them.
Which solution approach did you develop?
The paper presents a domain-specific language (DSL), which allows describing appropriate tests for time-controlled real-time systems. These tests manipulate the system under test and insert faults deliberately (so-called fault injections). However, this happens in a non-intrusive way. Non-intrusive means, that the test procedure does not change the system under test systemically. Otherwise, one would basically test another system than the one that finally goes into production.
How did the cooperation on the paper with your colleagues from the Siemens RACE team come about?
Together with these colleagues, I worked on a part of the test software for the RACE project. In this context, we discussed the theoretical aspects of the test system and they told me that they were working on a related paper. I read a draft of the paper, contributed comments and implemented a prototypical compiler for the DSL. The results and experiences of this work were included in the paper.
For further information about the research project and the results, you are welcome to contact us.