Project C02: Consistency-Aware Testing of CPS Variants and Versions

This project addresses the challenge of efficient testing for evolving, highly configurable CPS in domains like automotive, where numerous variants (space) and versions (time) complicate validation. Frequent OTA updates and hardware upgrades require ensuring consistency, safety, and security across all variants, but exhaustive testing is infeasible. Current sampling, regression testing, and scenario-based testing approaches lack awareness of cross-domain dependencies and evolution. The project leverages V-SUM consistency information to develop change-aware testing methods: (i) impact analysis to identify affected artefacts, (ii) incremental selection and prioritization of variants and test cases, (iii) consistency-aware metrics for test case generation and adaptation, and (iv) change-aware scenario generation for simulation-based testing. It also enables automatic/semi-automatic XiL environment adaptation after updates. Case studies validate the approach, aiming to unify these methods into an efficient process for quality assurance of OTA updates, reducing effort while maintaining reliability.