Güvenlik kritik sistemlerin geliştirilmesinde karşılaşılan en büyük zorluklardan biri, erken aşamalarda doğal dille yazılan şartnamelerin formal doğrulama süreçlerine uygun hale getirilmesidir. Araştırmacılar bu probleme yapay zeka destekli yenilikçi bir çözüm getirdi.
Geliştirilen otonom metodoloji, büyük dil modellerini kullanarak yapılandırılmamış şartnamelerden doğrulama için hazır özellikler otomatik olarak çıkarabiliyor. Mevcut yaklaşımlar genellikle sadece sözdizimsel doğruluğa odaklanırken, bu yeni sistem informal gereksinimler ile formal doğrulanabilir özellikler arasındaki anlamsal uyumu da garanti altına alıyor.
Sistemin modüler yapısı üç ana bileşenden oluşuyor: gereksinim çıkarma, hedef formalizme göre uyumluluk filtreleme ve formal özelliklere çeviri. Bu yaklaşım, modelleme ve doğrulama kısıtlarını açıkça dikkate alarak daha güvenilir sonuçlar üretiyor.
Üç farklı senaryoda gerçekleştirilen deneyler, sistemin %77.8 doğruluk oranıyla hem sözdizimsel hem de anlamsal olarak uyumlu formal özellikler üretebildiğini ortaya koyuyor. Bu başarı oranı, güvenlik kritik sistemlerin geliştirme süreçlerinde önemli zaman tasarrufu ve hata azalması sağlayabilir.