KSU Coordinator for the NATO Programme Reported on the Implementation of the Project
A working meeting dedicated to the implementation of the project “ Symbolic rewriting methods for safety and security of critical cyber-physical systems ” under the NATO Science for Peace and Security Programme (SPS) was held at Kherson State University.
The meeting was moderated by Veronika Denysenko, Vice-Rector for International, Social and Humanitarian, Research and Education Affairs, with the participation of Oleksandr Spivakovskiy, Rector of Kherson State University, Yevheniia Revenko, Head of the International Relations Department, and the department team, Nataliia Sundrunova, Deputy Chief Accountant, and Volodymyr Peschanenko, Project Coordinator from KSU and Head of the Department of Computer Science and Software Engineering. The participants discussed the current state of the project and upcoming implementation plans.
According to Coordinator Volodymyr Peschanenko, the project is currently in progress and will run until September 2026. The team has been working on developing automated mathematical methods for analyzing the safety and correctness of modern complex cyber-physical (computer-based) systems. Examples of cyber-physical systems include cars, aircraft, combat vehicle control systems, UAVs, railway systems, intelligent transport systems, industrial production systems, and power plants. A related publication is being prepared.
The project partners include Kherson State University (Ukraine), Polytechnic University of Valencia (Spain), Ivane Javakhishvili Tbilisi State University (Georgia), University of Oslo (Norway), West University of Timișoara (Romania), University of Paris XIII (University of Paris-North) (France), and Pohang University of Science and Technology (South Korea).
Based on the results of the meeting, an order will be prepared regarding the implementation of proposals for the procurement of computer equipment and the conduct of the procurement itself.
Press Center of KSU