İhlas Haber Ajansı (İHA) Bursa muhabirlerinin sahadan aktardığı bilgilere göre, Bursalı Öğretim Üyesi Prof. Dr. Tolga Ovatman ile ekibinin hazırladığı bilimsel makale, uluslararası alanda saygın bir dergi olan SoSyM tarafından ödüle layık görüldü.

İstanbul Teknik Üniversitesi 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 ortaklaşa kaleme aldığı "An overview of model checking practices on verification of PLC software" başlıklı çalışma, yazılım modelleme alanındaki başarısıyla dikkat çekti.

Önemli Başarı İspanya'daki Konferansta Duyuruldu

Endüstriyel otomasyon sistemlerinde tercih edilen PLC yazılımlarının doğrulanması konusundaki yöntemleri ve yaşanan zorlukları inceleyen makale, son on yılda elde ettiği atıf sayısı ve bilime sunduğu katkı neticesinde ödüle hak kazandı. Ekip üyelerine ödülleri, İspanya'da gerçekleştirilen MODELS 2026 Konferansı çerçevesinde takdim edildi.

Uzman Görüşü / Editöryel Değerlendirme

SoSyM dergisi, yazılım mühendisliği ve model tabanlı sistem tasarımı alanında uluslararası düzeyde kabul gören prestijli yayınlar arasında yer almaktadır. PLC yazılımlarının doğrulanması, endüstriyel sistemlerin güvenliği ve sürdürülebilirliği açısından kritik bir akademik araştırma alanı olarak kabul edilmektedir.