Software Fault Tolerance

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.

---

The software fault tolerance link here covers:

• Timeouts
• Audits
• Exception handling
• Rollbacks
• Incremental rebooting
• Voting