Arama sonuçları

Mühendislik ve Teknoloji · Bilgisayar ve Elektrik Mühendisliği

Emniyet Kritik Sistemlerde Çalışma Zamanı Güvencesi: Karmaşık Kontrol Sistemleri İçin Emniyet Filtreleme Yaklaşımlarına Giriş

Emniyet kritik siber-fiziksel sistemlerde yapay zekâ, makine öğrenmesi ve karmaşık otonom kontrol algoritmalarının kullanımı yaygınlaşırken, bu sistemlerin geleneksel çevrimdışı doğrulama ve sertifikasyon yöntemleriyle emniyet güvencesine alınması ciddi bir teknik engel oluşturmaktadır. Ticari havacılık gibi alanlarda aşırı düşük hata olasılığı gereksinimleri, performans odaklı birincil denetleyicilerin doğrudan doğrulanmasını zorlaştırır. Bu durum, karmaşık denetleyici yapısından bağımsız çalışan ve emniyet ihlallerini anlık olarak engelleyen çalışma zamanı güvencesi (RTA) sistemlerinin geliştirilmesini ve kuramsal olarak incelenmesini gerekli kılmıştır.