Does anyone know how software fault tolerance is implemented in Air Traffic Control Systems?
Some URLs would be very helpful.
Does anyone know how software fault tolerance is implemented in Air Traffic Control Systems?
Share
Sign Up to our social questions and Answers Engine to ask questions, answer people’s questions, and connect with other people.
Login to our social questions & Answers Engine to ask questions answer people’s questions & connect with other people.
Lost your password? Please enter your email address. You will receive a link and will create a new password via email.
Please briefly explain why you feel this question should be reported.
Please briefly explain why you feel this answer should be reported.
Please briefly explain why you feel this user should be reported.
Does anyone know how software fault tolerance is implemented in Air Traffic Control Systems?
Some URLs would be very helpful.
Lockheed published some articles about this a while back. Take a look here.
Many systems use Ada, which explicitly supports verification of propositions and other formal-logic ideas so that you can guarantee system consistency. Read more about that here.
You will also want to search for ERAM, the acronym for “En Route Automation Modernization“, which is the name of the new system that’s (very) slowly being rolled out now in the US. This is the replacement for the En Route Host System, the existing legacy system that keeps everything from crashing into each other.