Consistency-Enabled Incremental Quality Analysis of CPS

This project aims to enable incremental safety and reliability analyses for CPS using the V-SUM approach, addressing the challenge of frequent re-analyses during design and after OTA updates. Current strategies re-execute all analyses after any change, which is costly and hinders agile development. The project proposes modeling dependencies between analyses and model elements in the V-SUM to compute change impact sets, identifying which analyses (or sub-analyses) are invalidated. Using model slicing techniques, the approach will generate efficient re-analysis plans, prioritizing critical safety checks and reusing unaffected results. It supports both black-box and white-box analyses and integrates with consistency specifications to ensure correctness. This incremental strategy accelerates homologation, reduces redundant computations, and enables faster feedback cycles, improving CPS quality and supporting safe, cost-effective OTA updates and continuous certification.