Hi All,
Does anyone know how software fault tolerance is implemented in Air Traffic Control Systems?
Some URLs would be very helpful.
+4
A:
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.
John Feminella
2010-03-20 16:57:43
+2
A:
you mean like http://www.google.com/search?q=fault+tolerance+flight+systems ?
Patrick Cornelissen
2010-03-20 16:57:51
This is a comment on the question for the OP, not an answer.
Yar
2010-03-20 17:37:08
aktually it's an answer because it's a link with a lot of links, it's just written as a question :-P
Patrick Cornelissen
2010-03-22 07:54:41