In an increasingly interconnected world, resilience bugs lead to, in some cases, severe damages, e.g. through failure of critical infrastructure. In complex, software-based systems, the causes of such failures are often seemingly trivial, but can only be prevented using systematic approaches. CAREFUL has the aim to develop complexity-aware symbolic fault analysis as a holistic method for finding resilience bugs with full coverage of program behavior. The combination of symbolic execution and fault injection will serve as a starting point for the project, where particular emphasis will be put on taming the combinatorial explosion that is inherent to both techniques. Symbolic fault reduction is envisaged as a method for significant, but lossless, reduction in the number of scenarios that have to be checked.
CAREFUL is part of phase 2 of the DFG Priority Programme SPP 2378 (Resilient Worlds).