Yazılım modelleme alanının önemli bilimsel yayınlarından Software and Systems Modeling (SoSyM) dergisi, İTÜ Bilgisayar ve Bilişim Fakültesi Bilgisayar Mühendisliği Bölümü'nde görev yapan Prof. Dr. Tolga Ovatman'ın Atakan Aral, Davut Polat ve Ali Osman Ünver ile birlikte kaleme aldığı çalışmayı ödüle layık gördü. "An overview of model checking practices on verification of PLC software" başlığını taşıyan çalışma, derginin verdiği ödülle taçlandırıldı.
Makale, endüstriyel otomasyon sistemlerinde kullanılan PLC yazılımlarının doğrulanması sırasında başvurulan model sınama yöntemlerini ve bu süreçte yaşanan güçlükleri mercek altına alıyor. Son on yılda gördüğü atıflar ve bilimsel alana sunduğu katkı, söz konusu çalışmayı öne çıkaran unsurlar arasında yer aldı.
Uluslararası alanda önemli bir başarı elde eden Prof. Dr. Tolga Ovatman ve ekip arkadaşları, ödülü İspanya'da düzenlenen MODELS 2026 Konferansı kapsamında aldı. Bursalı öğretim üyesinin bu başarısı, hem üniversitesi hem de yazılım modelleme alanında çalışan araştırmacılar için gurur verici bir gelişme olarak değerlendirildi.
