Describir: Forward Design Method of Avionics System Based on Communication