यूके की air traffic control system की विफलता

 (jameshaydon.github.io)
2 पॉइंट द्वारा GN⁺ 2023-09-12 | 1 टिप्पणियां | WhatsApp पर शेयर करें
  • 28 अगस्त 2023 को, यूके के air traffic control operator NATS को एक गंभीर तकनीकी खराबी का सामना करना पड़ा, जिसके कारण 2000 से अधिक उड़ानें रद्द हुईं और लगभग 10 करोड़ पाउंड की लागत आई।
  • शुरुआत में माना गया कि समस्या एक फ्रांसीसी एयरलाइन से आए दोषपूर्ण flight plan के कारण हुई।
  • NATS एक public-private संस्था है, जो पूरे यूके के air traffic control की ज़िम्मेदारी संभालती है और विमानों के बीच क्षैतिज व ऊर्ध्वाधर separation को सुरक्षित रूप से सुनिश्चित करती है।
  • समस्या का स्रोत flight plan system में डाला गया एक flight plan था, जिसे Eurocontrol के Integrated Initial Flight Plan Processing System (IFPS) ने मंजूरी दी थी।
  • इसके बाद flight plan को NATS के Flight Plan Reception Suite Automated (FPRSA-R) Sub-system में भेजा गया, जो इस डेटा को यूके के National Airspace System (NAS) के अनुरूप format में बदलता है।
  • FPRSA-R system एक ही नाम वाले दो waypoints वाले flight plan को process नहीं कर सका, जिससे system डाउन हो गया।
  • इस विफलता के कारण मुख्य और backup दोनों FPRSA-R systems maintenance mode में चले गए, और flight plans की automatic processing रुक गई।
  • इस घटना ने FPRSA-R software में मौजूद bug को उजागर किया और system के बेहतर testing तथा failure modes की आवश्यकता पर ज़ोर दिया।
  • तकनीकी मुश्किलों के बावजूद, air traffic controllers ने घटना के दौरान यूके के ऊपर सभी उड़ानों की सुरक्षा सुनिश्चित की।
  • इस घटना ने air traffic control जैसे safety-critical systems में formal verification और model checking के उपयोग पर चर्चा को जन्म दिया।
  • लेख ICAO और ADEXP flight plans को reconcile करने की प्रक्रिया समझाता है, जिसमें शुरुआत और समाप्ति बिंदुओं का मिलान शामिल है।
  • reconciliation function सभी संभावित मेलों की गणना करके डेटा में मौजूद ambiguity की पहचान करता है और ऐसे flight plans को manual processing के लिए flag करता है।
  • लेख flight plan के यूके वाले हिस्से को निकालने की step-by-step guide देता है।
  • अगर system यूके वाला हिस्सा नहीं ढूंढ पाता और plan के अंत तक पहुंच जाता है, तो वह error लौटाता है।
  • लेख एक खास flight plan के साथ reconciliation function को test करने का विस्तृत उदाहरण देता है।
  • system लंदन से सिडनी तक 158 waypoints वाले बड़े flight plan को भी process कर सकता है और लगभग तुरंत result लौटाता है।
  • लेख इस बात पर ज़ोर देता है कि flight plan में duplicate identifiers होने पर भी reconciliation function ICAO और ADEXP डेटा का सही मिलान कर सकता है और सही sub-path परिभाषित कर सकता है।

संबंधित पढ़ाई

1 टिप्पणियां

 
GN⁺ 2023-09-12
Hacker News की राय
  • "भौगोलिक रूप से अलग" queries की fence से जुड़ा एक software bug ब्रिटेन की air traffic control system की विफलता का कारण बना।
  • सिस्टम उस स्थिति को संभाल नहीं पाया, जहाँ एक ही waypoint name route में दो बार इस्तेमाल हुआ लेकिन उसका मतलब अलग-अलग स्थान थे; software design में इसकी अपेक्षा नहीं की गई थी।
  • सिस्टम ने 'critical exception' मिलने पर 'maintenance mode' में प्रवेश किया और crash हो गया। backup system भी उसी bug के कारण crash हो गया।
  • ValidateFlightPlan नाम की उस method के न होने और flight plan parse न होने पर error उठाने की कमी, साथ ही failed flight plans को human review के लिए queue में डालने वाली सुविधा के अभाव की आलोचना की गई है।
  • इस समस्या की पुष्टि केवल software vendor से संपर्क करने और low-level logs की समीक्षा करने के बाद ही हो सकी।
  • Eurocontrol द्वारा पहले से स्वीकार किए गए फ्रांसीसी flight plan को दोष देने से software के काम करने के तरीके की समझ की कमी को लेकर चिंता उठी है।
  • इस घटना के कारण यात्रा में गंभीर व्यवधान हुआ, और एक user ने सामान्य 2 घंटे की जगह 15 घंटे की यात्रा की रिपोर्ट दी।
  • ऐसी विफलताओं को रोकने के लिए, भले ही input किसी विश्वसनीय source से आया हो, software systems में input data की अधिक सख्त validation की आवश्यकता बताई गई है।
  • इस घटना ने software vendor Frequentis के लिए संभावित परिणामों को लेकर सवाल खड़े किए हैं।