Bursalı akademisyen Prof. Dr. Tolga Ovatman ve ekibinin hazırladığı makale, Software and Systems Modeling (SoSyM) dergisinin “Son On Yılın En Etkili Tematik Makalesi Ödülü”nü aldı. İstanbul Teknik Üniversitesi (İTÜ) Bilgisayar ve Bilişim Fakültesi Bilgisayar Mühendisliği Bölümü’nde görev yapan Ovatman, çalışmayı Atakan Aral, Davut Polat ve Ali Osman Ünver ile kaleme aldı.
PLC yazılımlarında model sınama
“An overview of model checking practices on verification of PLC software” başlıklı makale, endüstriyel otomasyon sistemlerinde kullanılan PLC yazılımlarının doğrulanmasında model sınama yöntemlerini ve süreçte karşılaşılan güçlükleri ele alıyor. Çalışma, son on yılda aldığı atıflar ve bilimsel alana katkısıyla ödüle layık görüldü. Ödül, İspanya’da düzenlenen MODELS 2026 Konferansı’nda Ovatman ve ekip arkadaşlarına takdim edildi.
