1- Güvenilir Endüstriyel Sistemler: Emniyet-Kritik Alanlarda Doğrulama, Onaylama ve Yapay Zeka Tabanlı Test Yaklaşımları
Kapsam: Bu özel oturum, MATISSE projesinin model tabanlı dijital ikiz yaklaşımı doğrultusunda, karmaşık endüstriyel sistemlerin erken aşama doğrulama ve onaylama(V&V) süreçlerinin sistematik, otomatik ve çok alanlı bir araç zinciri üzerinden ele alınmasını hedeflemektedir. Dijital ikizlerin farklı soyutlama seviyelerinde (davranışsal, mantıksal, fiziksel) modellenmesi, sürekli doğrulanması ve federatif yapılar üzerinden bütünleşik biçimde işletilmesi oturumun temel bilimsel çerçevesini oluşturmaktadır.
Düzenleyiciler:
Doç. Dr. Uğur YAYAN (Eskişehir Osmangazi Üniversitesi), Prof. Dr. Metin ÖZKAN (Eskişehir Osmangazi Üniversitesi), Dr. Metin YILMAZ (Eskişehir Osmangazi Üniversitesi)



