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.

Project members:

• Besik Dundua (Principal Investigator)

• Mikheil Rukhaia (Key Personnel)

• Tatia Dundua (Key Personnel)