As far as I know, the system was fully deployed in 2011. I am not sure if it lived up to its promises (I am not an air traffic control person). Regarding the

As far as I know, the system was fully deployed in 2011. I am not sure if it lived up to its promises (I am not an air traffic control person). Regarding the software that controls an airplane, is that being written in C++? It is not too hard to find a counterexample there; Boeing wrote the software for the 777 jet in Ada. I would be very wary of any aircraft whose control software is written in C++, unless it was written some small, unambiguous subset of C++ (which would exclude most language features anyway). Likewise with medical implants, automotive systems, or anything other case in which failure might cause death.