Schedulability analysis of real-time multi-frame co-simulations on multi-core platforms

Gerçek-zamanlı benzetimlerde, benzetimin doğruluğu sadece işlevsel doğruluğa değil benzetim adımlarının zamanında tamamlanmasına da bağlıdır. Benzetimin zamanlama gereksinimlerini, kabul edilebilir doğruluk seviyesini tutturarak, her durumda karşıladığını, bir çözümleme işlemi sonucunda göstermek, geliştiricilere yardımcı olacaktır. Bu çalışmada benzetilen süreçler yazılım görevleri olarak soyutlanmıştır. Bu bizim gerçek-zaman kısıtlarını sağlama problemini çizelgelenebilirlik problemine dönüştürmemizi sağlar. Bu problem, görevlerin gerçek-zaman kısıtları altında çizelgelenebilir olup olmadığına karar verilmesini içerir. Bu çalışmada, Fersman ve Yi tarafından ortaya konulmuş olan, zaman-devingeni tabanlı bir çizelgelenebilirlik çerçevesini, çok çerçeveli eş-benzetimler için genişletmekteyiz. Bu çalışmada, çok-çerçeveli benzetimlere özel gereksinimleri karşılamak üzere mevcut çerçevede genişletmeler yapıldı. Gereken kuramsal genişletmeler yapıldıktan sonra yeni çerçeve; zaman-devingeni olarak modellenen gerçek-zamanlı sistemler için bir modelleme, benzetim ve doğrulama aracı olan UPPAAL kullanılarak gerçekleştirildi ve bir örnek üzerinde sınandı