Siber-fiziksel sistemler (CPS), günümüzün en karmaşık teknolojik yapıları arasında yer alıyor. Bu sistemler, hesaplama süreçlerini fiziksel dünya ile birleştirerek akıllı araçlardan endüstriyel otomasyona kadar geniş bir yelpazede kullanılıyor.
Yeni bir araştırma, CPS mühendisliğindeki mevcut yaklaşımların önemli bir eksikliğine dikkat çekiyor. Geleneksel mühendislik yöntemleri, çalıştırma semantiğini birinci sınıf mühendislik varlıkları olarak ele almıyor. Bu durum, teorik model davranışları ile gerçek çalıştırma davranışları arasında ciddi bir boşluk yaratıyor.
Formal doğrulama yöntemleri, sabit semantik varsayımlar altında model davranışlarını analiz ediyor ancak fiziksel çalıştırma kısıtlamalarını hesaba katmıyor. Öte yandan simülasyon tabanlı doğrulama, simülasyon motoru tarafından dolaylı olarak belirlenen semantikler altında senaryoları keşfediyor. Her iki durumda da fiziksel çalıştırma substratının kısıtlamaları, semantik sınır koşulları yerine implementasyon detayları olarak ele alınıyor.
Araştırmacılar, çalıştırma semantiğinin açık bir şekilde birinci sınıf mühendislik varlıkları haline getirilmesinin, CPS'lerde doğrulanmış model davranışları ile doğrulanmış çalıştırma davranışları arasındaki boşluğu kapatmak için gerekli ve yeterli olduğunu öne sürüyor.
Bu yaklaşım, modelleme ve simülasyon tabanlı mühendislik paradigmasının CPS bağlamında yeniden şekillenmesini öngörüyor ve daha güvenilir sistem geliştirme süreçlerinin temelini atıyor.