Avionics programming