software-defined avionics