Birleşik Krallık hava trafik kontrol sisteminin çöküşü

• 28 Ağustos 2023'te, Birleşik Krallık'ın hava trafik kontrol operatörü NATS'te yaşanan ciddi bir teknik arıza nedeniyle 2000'den fazla uçuş iptal edildi ve yaklaşık 100 milyon sterlin maliyet oluştu.
• Sorunun başlangıçta bir Fransız havayolundan gelen hatalı uçuş planından kaynaklandığı düşünüldü.
• NATS, Birleşik Krallık'taki tüm hava trafik kontrolünden sorumlu kamu-özel bir kurumdur ve uçaklar arasında yatay ve dikey ayrımın güvenli şekilde korunmasını sağlar.
• Sorun, uçuş planı sistemine girilen ve Eurocontrol'ün Integrated Initial Flight Plan Processing System (IFPS) tarafından onaylanan bir uçuş planına kadar izlenebildi.
• Uçuş planı daha sonra NATS'in Flight Plan Reception Suite Automated (FPRSA-R) alt sistemine iletilir; bu sistem veriyi Birleşik Krallık National Airspace System (NAS) ile uyumlu bir biçime dönüştürür.
• FPRSA-R sistemi, aynı ada sahip iki waypoint içeren bir uçuş planını işleyemedi ve bu nedenle sistem çöktü.
• Bu arıza sonucunda hem birincil hem de yedek FPRSA-R sistemleri bakım moduna geçti ve uçuş planlarının otomatik işlenmesi durdu.
• Olay, FPRSA-R yazılımındaki bir bug'ı ortaya çıkardı ve sistem için daha iyi testlerin ve hata modlarının gerekliliğini vurguladı.
• Teknik zorluklara rağmen hava trafik kontrolörleri, olay sırasında Birleşik Krallık hava sahasındaki tüm uçuşların güvenliğini sağladı.
• Bu olay, hava trafik kontrolü gibi güvenlik odaklı sistemlerde formal verification ve model checking kullanımına dair tartışmaları tetikledi.
• Yazı, ICAO ve ADEXP uçuş planlarının nasıl uzlaştırıldığını; bunun başlangıç ve bitiş noktalarının eşleştirilmesini içerdiğini açıklıyor.
• Uzlaştırma işlevi, veri belirsizliklerini tespit etmek için tüm olası uzlaştırmaları hesaplar ve bu tür uçuş planlarını manuel işleme için işaretler.
• Yazı, uçuş planının Birleşik Krallık bölümünün nasıl çıkarılacağına dair adım adım bir rehber sunuyor.
• Sistem, Birleşik Krallık bölümünü bulamaz ve planın sonuna ulaşırsa hata döndürür.
• Yazı, belirli bir uçuş planıyla uzlaştırma işlevinin nasıl test edileceğine dair ayrıntılı bir örnek veriyor.
• Sistem, Londra'dan Sidney'e kadar 158 waypoint içeren büyük bir uçuş planını işleyebiliyor ve sonucu neredeyse anında döndürüyor.
• Yazı, uçuş planında yinelenen tanımlayıcılar olsa bile uzlaştırma işlevinin ICAO ve ADEXP verilerini doğru şekilde uzlaştırabildiğini ve doğru alt rotayı tanımlayabildiğini vurguluyor.

[GN⁺]

Hacker News görüşü

• Birleşik Krallık hava trafik kontrol sistemi, "coğrafi olarak farklı" sorguların sınırlandırılmasıyla ilgili bir yazılım hatası nedeniyle çöktü.
• Sistem, aynı waypoint adının rotada iki kez kullanılıp farklı yerleri ifade ettiği durumu işleyemedi; bu, yazılım tasarımında öngörülmemişti.
• Sistem, 'kritik istisna' ile karşılaştığında 'bakım modu'na geçti ve çöktü. Yedek sistem de aynı hata nedeniyle çöktü.
• Uçuş planı ayrıştırılamadığında hata üreten ValidateFlightPlan adlı bir metodun bulunmaması ve başarısız uçuş planlarını insan incelemesi için kuyruğa alma işlevinin olmaması eleştiriliyor.
• Sorun ancak yazılım tedarikçisiyle iletişime geçilip düşük seviyeli loglar incelendikten sonra doğrulandı.
• Eurocontrol tarafından zaten kabul edilmiş Fransız uçuş planına suç atılması, yazılımın işleyişine dair yetersiz anlayış konusunda endişe yaratıyor.
• Olay büyük seyahat aksaklıklarına yol açtı; bir kullanıcı normalde 2 saat süren yolculuğunun 15 saat sürdüğünü bildirdi.
• Bu tür arızaları önlemek için, güvenilir kaynaklardan gelse bile girdilerin yazılım sistemlerinde daha sıkı doğrulanması gerektiği çağrısı yapılıyor.
• Olay, yazılım tedarikçisi Frequentis için olası sonuçlara ilişkin soruları gündeme getirdi.