Yüksek Bütünlüklü ve Emniyet Kritik Sistemler

Yüksek bütünlüklü donanım ve yazılımı ve savunma ekipmanlarındaki uygulamaları anlamaya yönelik araştırmaları içerir. Emniyet kritik yazılımlara (SCS) yönelik yeni gelişmeleri ve özellikle hata toleransı/ hata ayıklaması, atomikliği ve canlılığını araştırmak için kullanılan yeni araçlar ve yöntemleri de içerir. SCS’deki yazılım kalitesi ve güvenilirlik konularındaki çalışmaları ve aynı zamanda hata toleranslı hesaplama ve hata toleranslı yazılım bilgisini artırmaya yönelik çalışmaları da kapsar.