Kısa tanım
Yazılım döngüsünde simülasyon (software-in-the-loop, SIL), hedef donanım kullanılmadan, derlenmiş gerçek uygulama yazılımının benzetim ortamındaki sistem modeliyle kapalı döngü hâlinde test edilmesi yöntemidir.
Ayrıntılı açıklama
SIL, model tabanlı geliştirme sürecinde tasarım modeli doğrulaması ile donanım üzerindeki testler arasında yer alan bir ara aşamadır. Tasarım aşamasında kontrol algoritmaları önce tümüyle model düzeyinde (model-in-the-loop) sınanır. SIL aşamasında ise bu modellerden üretilen veya elle yazılan gerçek kaynak kod derlenir ve geliştirme bilgisayarında, platform dinamiğini temsil eden benzetim modeliyle birlikte koşturulur. Böylece kod üretimi, sayısal hassasiyet ve yazılım mantığından kaynaklanabilecek farklılıklar erken aşamada ortaya çıkarılır.
Yöntemin en önemli üstünlüğü erişilebilirlik ve ölçeklenebilirliktir. Hedef donanıma ihtiyaç duyulmadığı için testler sıradan bilgisayarlarda, hatta sunucu kümelerinde paralel olarak yürütülebilir. Bu, binlerce senaryonun otomatik koşulduğu kapsamlı doğrulama kampanyalarını mümkün kılar. Benzetim gerçek zamandan hızlı çalıştırılabildiğinden uzun görev senaryoları kısa sürede taranabilir; hata bulunduğunda aynı senaryo birebir tekrarlanarak ayıklama yapılabilir.
SIL'in sınırı, hedef işlemcinin zamanlama davranışını ve donanım arayüzlerini temsil edememesidir. Bu nedenle SIL, işlemci döngüsünde simülasyon (PIL) ve donanım döngüsünde simülasyon (HIL) aşamalarıyla tamamlanır. Doğrulama zinciri boyunca aynı senaryo kütüphanesinin kullanılması, aşamalar arasında sonuç karşılaştırmasına ve gereksinim izlenebilirliğine olanak tanır.
Savunma sanayii bağlamı
Savunma yazılımlarının karmaşıklığı ve emniyet kritikliği, saha testlerinden önce kapsamlı benzetim tabanlı doğrulamayı zorunlu kılar. SIL altyapıları; uçuş kontrol, güdüm, seyrüsefer ve görev yazılımlarının geliştirme döngüsünü kısaltır, pahalı donanım test kaynaklarının daha verimli kullanılmasını sağlar ve sertifikasyon dosyasına doğrulama kanıtı üretir. Sürekli entegrasyon süreçlerine bağlanan SIL testleri, yazılım kalitesinin sürüm boyunca korunmasına katkı verir.
Türk savunma sanayiinde de model tabanlı doğrulama ve benzetim altyapıları alanında çalışmalar yürütülmektedir.
İlgili kavramlar
Donanım döngüsünde simülasyon (HIL) · Model tabanlı sistem mühendisliği · Gömülü yazılım · Dijital ikiz · Statik kod analizi