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

სიმბოლური გადაწერის მეთოდები კრიტიკული კიბერ-ფიზიკური სისტემების უსაფრთხოებისთვის (G6133)


დამფინანსებელი

NATO-ს სამეცნიერო პროგრამა

დაწყების თარიღი: 2023-11-13       დასრულების თარიღი: 2026-11-13

ამ პროექტში ჩვენ გვინდა შევიმუშაოთ ახალი ავტომატური მათემატიკური მეთოდები თანამედროვე რთული კიბერ-ფიზიკური [კომპიუტერული] სისტემების (CPS-ების) უსაფრთხოებისა და სისწორის გასაანალიზებლად. ჩვენი მეთოდები დაფუძნებული იქნება სიმბოლური გადაწერის მეთოდებზე, როგორიცაა გადაწერა SMT ამოხსნითა და შევიწროების ანალიზით, აგრეთვე დომენის სპეციფიკური სირთულის შემცირების მეთოდებზე. ჩვენ მიზნად ვისახავთ შემუშავებული მეთოდების ინტეგრირებას სამრეწველო მოდელირების ინსტრუმენტებში, რითაც სისტემის დიზაინერებს უფასოდ მივაწვდით მძლავრ ავტომატურ მათემატიკური ანალიზის „ღილაკებს“. პროექტი მოტივირებული და დადასტურებული იქნება ინდუსტრიული პარტნიორების, წამყვანი მატარებლის მწარმოებლისა და ატომური ელექტროსადგურის სისტემის პროვაიდერის მიერ.

პროექტში მონაწილე პერსონალი:
  • Besik Dundua (პროექტის ხელმძღვანელი)
  • Mikheil Rukhaia (ძირითადი პერსონალი)
  • Tatia Dundua (ძირითადი პერსონალი)

მოხსენებები

  • 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.