Start Date: 2023-11-13 End Date: 2026-11-13
In this project we want to develop new automatic mathematical methods to analyze the security and correctness of modern complex cyber-physical [computer] systems (CPSs). Our methods will be based on symbolic rewriting techniques such as rewriting with SMT solving and narrowing analysis, and on domain-specific complexity-reduction methods. We aim at integrating the developed methods into industrial modelling tools, thereby providing powerful automatic “push-button” mathematical analysis for free to system designers. The project will be motivated and validated by advanced applications provided by the industrial partners, a leading train manufacturer and a nuclear power plant system provider.