1- Trustworthy Industrial Systems: Verification, Validation and AI-Based Testing Approaches in Safety-Critical Domains
Scope: This special session aims to address the systematic, automated, and multi-disciplinary toolchain-based approaches for early-stage verification and validation (V&V) of complex industrial systems in line with the model-based digital twin approach of the MATISSE project. The modeling of digital twins at different levels of abstraction (behavioral, logical, physical), their continuous validation, and their integrated operation through federated structures constitute the core scientific framework of the session.
Organizers:
Assoc. Prof. Uğur YAYAN (Eskişehir Osmangazi University), Prof. Metin ÖZKAN (Eskişehir Osmangazi University), Dr. Metin YILMAZ (Eskişehir Osmangazi University)



