What operating systems and programming languages are used in airplanes?

softwareengineering.stackexchange.com