Real-time interaction of IEC 61850 intelligent electronic device（IED）is the key to successful implementation of the distributed function.To overcome the complexity and difficulty in validating existing formal methods of modeling real-time procedure，IEC 61850 IED real-time interactive process modeling and verification method based on timed behavior trees（BTs）is put forward.Firstly，the timed BT model is obtained by introducing a real-time system model and communication sequential process（CSP）communication channels into the old BT model.Secondly，based on timed BT，the substation timing protection and overcurrent protection interaction process of IED is taken as an example for modeling.Finally，the reachability of the proposed model is validated and analyzed by using process analysis toolkit（PAT），and the time of the messages is calculated.The results show that，the proposed method is able to complete modeling and verification of the real-time properties of interactive process of IEC 6850 IED，and discover real-time interaction defects.