Ada executive for distributed avionics processing