Çökme Lüksü Olmayan Sistemler: Emniyet Kritik Yazılımın Kırmızı Çizgileri ve Yasaklı Kodlama Kuralları
Saatte 900 kilometre hızla giden bir uçakta veya bir nükleer santral kontrolöründe sistemin kesintiye uğraması veya kontrolsüz yeniden başlatılması kabul edilemez. Standart yazılım dünyasında hız ve esneklik sağlayan dinamik bellek, özyineleme ve istisna yakalama gibi yapılar emniyet kritik sistemlerde neden birer saatli bomba sayılır? Bu analiz, MISRA ve ISO 26262 standartlarının belirlediği temel kırmızı çizgileri ve deterministik yazılım mühendisliğinin ilkelerini inceler.