val avionics in certified aircraft