Project A03: Consistency Under Uncertainty

Cyber-Physical Systems (CPS) integrate computational and physical components but face uncertainty from incomplete information, changing environments, and internal or external sources. Uncertainty can appear in parameters, models, analyses, or decisions, and while not all forms need representation, relevant uncertainties must be captured for effective analysis. Current consistency approaches assume sound information, risking invalid conclusions when uncertainty is ignored. This project aims to classify and propagate uncertainty annotations within V-SUMs to assess their impact on consistency, support decisions on mitigating or tolerating uncertainty, and leverage new information to reduce uncertainty across models, improving assurance and scalability in CPS development.