Consistency Under Uncertainty (A03)

• Subject Area: Software Engineering and Programming Languages
• Term: since 2023
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 501798263

The presence of uncertainty in CPS affects different aspects of the system including model consistency. In particular, current consistency preservation approaches like V-SUM assume sound information in one model and propagate it to other models (and their views) accordingly. By ignoring uncertainties, however, designers working on these other models could draw unsupported conclusions about the system. Therefore, the goal of this project is to manage uncertainty in V-SUMs to analyse the impact of uncertainty on the consistency of the CPS. In this way, the potentially negative effects of uncertainty can be mitigated while increasing the level of assurance in the system.

• 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: Professorin Dr.-Ing. Maribel Acosta; Professorin Dr.-Ing. Anne Koziolek