Endüstriyel sistemlerin giderek karmaşıklaşması ve otomasyon taleplerinin artmasıyla birlikte, model tabanlı sistem mühendisliği (MBSE) alanında yeni çözümlere ihtiyaç duyuluyor. Bu bağlamda araştırmacılar, sistem modellerinin tutarlılığını ve semantik doğruluğunu sağlamak için Asset Administration Shell tabanlı bir doğrulama çerçevesi geliştirdi.
Object Constraint Language (OCL), sistem modellerinde formal kısıtlamaların tanımlanması için kullanılan güçlü bir dil olmasına rağmen, pratikte önemli bir sorunla karşılaşılıyor. MBSE modelleri ve OCL kısıtlamaları genellikle farklı yazılım araçlarında yönetiliyor, bu da mühendislerin manuel olarak model kısıtlamalarını uygulayıp sonuçları yorumlamasını gerektiriyor.
Yeni yaklaşım, bu sorunu Asset Administration Shell teknolojisini kullanarak çözmeyi hedefliyor. Bu teknoloji, endüstriyel sistemlerde farklı platformlar arasında veri alışverişi ve birlikte çalışabilirlik için yaygın olarak kullanılıyor. Araştırmacılar, OCL kısıtlamalarını ve doğrulama sonuçlarını bu teknoloji üzerinden merkezi olarak yönetebilen bir sistem tasarladı.
Geliştirilen metodoloji, hayali bir endüstriyel senaryo üzerinde test edildi ve sonuçları başarılı bulundu. Araştırmanın tekrarlanabilirliğini desteklemek amacıyla, tüm çalışma materyalleri GitHub deposunda açık erişimle paylaşıldı. Bu çerçeve, endüstriyel sistem tasarımında model doğrulama süreçlerinin otomatikleştirilmesi açısından önemli bir adım teşkil ediyor.