Consistency-Enabled Incremental Quality Analysis of CPS (C03)

• Subject Area: Traffic and Transport Systems, Intelligent and Automated Traffic ; Security and Dependability, Operating-, Communication- and Distributed Systems ; Software Engineering and Programming Languages
• Term: since 2023
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 501798263

In this project, we will exploit the V-SUM approach to support incremental analyses on model properties of cyber-physical systems. Our idea is to model dependencies between safety results and analysis. Furthermore, we exploit these dependencies (defined in the V-SUM meta-model) to automatically provide a model slice of the affected model parts of the V-SUM by a change, and also provide an efficient execution plan to re-establish the previous safety results.

• DFG Programme: Collaborative Research Centres
• Subproject of: SFB 1608: Consistency in the View-Based Development of Cyber-Physical Systems
• Applicant Institution: Karlsruher Institut für Technologie
• Project Heads: Professor Dr. Bernhard Beckert; Professor Dr. Ralf Heinrich Reussner; Professor Dr.-Ing. Eric Sax