Project B03: Recovery from Temporary Inconsistency

This project addresses the challenge of temporary inconsistencies in V-SUM-based CPS development. While full automation of consistency preservation is infeasible due to incomplete information and distributed roles, temporary inconsistencies are often acceptable and necessary for flexibility. However, uncontrolled inconsistencies risk leading to states from which recovery is costly or impossible. The project proposes a planning-based approach to support developers in recovering consistency by generating chains or DAGs of recovery operations from a repository of operation templates defined via pre-/postconditions and frame conditions (design-by-contract). These templates allow partial automation while leaving degrees of freedom for user decisions. The approach aims to predict recoverability, guide developers with recovery options, and ensure scalability through partitioning and parallelization. This complements B02 by focusing on forward-looking recovery planning rather than merging existing changes.