info@viam.science.tsu.ge (+995 32) 2 30 30 40 (+995 32) 2 18 66 45

Symbolic Rewriting Methods for Safety and Security of Critical Cyber-Physical Systems (G6133)


Funded by

NATO Science Programme

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.

Project members:

Talks

  • About verification techniques of cyber-physical systems, by Mikheil Rukhaia (Speaker), Besik Dundua, Tatia Dundua at XXXVIII International Enlarged Sessions of the Seminar of Ilia Vekua Institute of Applied Mathematics, 2024, Tbilisi, Georgia.
  • Verification of cyber-physical systems in Maude, by Mikheil Rukhaia (Speaker) at XXXIX International Enlarged Sessions of the Seminar of Ilia Vekua Institute of Applied Mathematics of Ivane Javakhisvili Tbilisi State University, 2025, Tbilisi, Georgia.