Updated: 4/15/2024

SPS G6133 Symbolic rewriting methods for safety and security of critical cyber-physical systems

NATO Programme  "Science for Peace and Security" (SPS)
Coordinator from KSU: Volodymyr Peschanenko 
Project duration: 2023 - 2026
Coordinator: Universitat Politecnica de Valencia, Spain
Budget: 350 000 EUR
Grant amount for KSU: 48 000 EUR

Objective: in this project we want to develop new automatic mathematical methods to analyse the security and correctness of modern complex cyber-physical [computer] systems (CPSs).

Description: 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.

Partners:
1. KHERSON STATE UNIVERSITY, Ukraine
2. UNIVERSITAT POLITECNICA DE VALENCIA, Spain
3. I. JAVAKHISHVILI TBILISI STATE UNIVERSITY, Georgia
4. UNIVERSITY OF OSLO, Norway
5. WEST UNIVERSITY OF TIMISOARA, Romania
6.,UNIVERSITE SORBONNE PARIS NORD, France
7. POHANG UNIVERSITY OF SCIENCE AND TECHNOLOGY,  Republic of Korea