electronic aircraft instrumentation for avoiding aircraft collisions