Bursalı akademisyen Prof. Dr. Tolga Ovatman ve çalışma arkadaşları, yazılım modelleme alanındaki bilimsel araştırmalarıyla uluslararası bir ödül kazandı. Ekibin hazırladığı makale, Software and Systems Modeling (SoSyM) dergisi tarafından “Son On Yılın En Etkili Tematik Makalesi Ödülü”ne layık görüldü.
İstanbul Teknik Üniversitesi (İTÜ) Bilgisayar ve Bilişim Fakültesi Bilgisayar Mühendisliği Bölümü’nde görev yapan Prof. Dr. Tolga Ovatman, ödüle konu olan çalışmayı Atakan Aral, Davut Polat ve Ali Osman Ünver ile birlikte hazırladı.
Bilimsel katkısı ve aldığı atıflarla öne çıktı
“An overview of model checking practices on verification of PLC software” başlıklı makalede, endüstriyel otomasyon sistemlerinde kullanılan PLC yazılımlarının doğrulanmasına yönelik model sınama yöntemleri incelendi. Araştırmada ayrıca doğrulama süreçlerinde karşılaşılan güçlükler ele alındı.
Çalışma, son on yılda aldığı atıflar ve yazılım modelleme alanına sağladığı bilimsel katkıyla öne çıkarak alanın önemli akademik yayınlarından SoSyM tarafından ödüllendirildi.
Ödül İspanya’da takdim edildi
Prof. Dr. Tolga Ovatman ve ekip arkadaşları, kazandıkları uluslararası ödülü İspanya’da düzenlenen MODELS 2026 Konferansı kapsamında aldı.
