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

პროექტში მონაწილე პერსონალი:

• Besik Dundua (პროექტის ხელმძღვანელი)

• Mikheil Rukhaia (ძირითადი პერსონალი)

• Tatia Dundua (ძირითადი პერსონალი)