IEEE 802 21 MEDIA INDEPENDENT HANDOVER DCN 21

IEEE 802. 21 presentation release statements This document has been prepared to assist the

Transaction Timer Sate Machine (Fig 22) Initialize ONE_SECOND UCT Tick == TRUE TICK dec(Transaction.

Transaction Source State Machine (Fig 23) INIT Transaction. Status=ONGOING; Response. Received=FALSE; Transaction. Stop. When=Transaction.

Transaction Destination State Machine (Fig 24) INIT Transaction. Status = ONGOING; (Opcode, MID, TID)=Msg.

ACK Requestor State Machine (Fig 25) Start. Ack. Requestor INIT Rtx. Ctr=0; UCT Retransmission.

ACK Responder State Machine (Fig 26) Start. Ack. Responder INIT ACK_REQ=0; ACK_RSP=1; ACK. (MID,

Slides: 7

Download presentation

IEEE 802. 21 MEDIA INDEPENDENT HANDOVER DCN: 21 -08 -0109 -00 -0000 Title: MIH State Machines Figures Date Submitted: April 17, 2008 Authors or Source(s): Y. Alice Cheng Abstract: This document contains the updates on state machine figures. This was from contribution 21 -08 -0065 -00 -0000 and 2107 -0302 -00 -0000 21 -08 -0065 -00 -0000 1

IEEE 802. 21 presentation release statements This document has been prepared to assist the IEEE 802. 21 Working Group. It is offered as a basis for discussion and is not binding on the contributing individual(s) or organization(s). The material in this document is subject to change in form and content after further study. The contributor(s) reserve(s) the right to add, amend or withdraw material contained herein. The contributor grants a free, irrevocable license to the IEEE to incorporate material contained in this contribution, and any modifications thereof, in the creation of an IEEE Standards publication; to copyright in the IEEE’s name any IEEE Standards publication even though it may include portions of this contribution; and at the IEEE’s sole discretion to permit others to reproduce in whole or in part the resulting IEEE Standards publication. The contributor also acknowledges and accepts that this contribution may be made public by IEEE 802. 21. The contributor is familiar with IEEE patent policy, as outlined in Section 6. 3 of the IEEE-SA Standards Board Operations Manual <http: //standards. ieee. org/guides/opman/sect 6. html#6. 3> and in Understanding Patent Issues During IEEE Standards Development http: //standards. ieee. org/board/pat/guide. html> 21 -08 -0065 -00 -0000 2

Transaction Timer Sate Machine (Fig 22) Initialize ONE_SECOND UCT Tick == TRUE TICK dec(Transaction. Stop. When); dec(Retransmission. When); Tick=FALSE; 21 -08 -0065 -00 -0000 3

Transaction Source State Machine (Fig 23) INIT Transaction. Status=ONGOING; Response. Received=FALSE; Transaction. Stop. When=Transaction. Lifetime; Msg. Out. Avail Opcode=Msg. Out. OPCODE; Transmit(Msg. Out); Is. Broadcast=Is. Broadcast. Msg(Msg. Out); Start. Ack. Requestor=(Msg. Out. ACK_REQ==1? TRUE: FALSE) && !is. Broadcast; TID=Msg. Out. TID; My. Mihf. ID=Src. MIF_ID(Msg. Out); Peer. Mihf. ID= Dst. MIHF_ID(Msg. Out); Opcode==Indication && Start. Ack. Requestor Opcode==Request (Opcode==Indication && !Start. Ack. Requestor) || Opcode==Response WAIT_RESPONSE_MSG !Response. Received && Transaction. Stop. When== 0 Response. Received && Transaction. Stop. When==0 FAILURE WAIT_ACK Ack. Requestor. Status=ONGOING; Transaction. Status=FAILURE ; Ack. Requestor. Status==FAILURE Ack. Requestor. Status==SUCCESS Is. Broadcast Msg. In. Avail PROCESS_MSG Start. Ack. Responder= (Msg. In. ACK_REQ == 1 ? TRUE : FALSE); Process(Msg. In); Msg. In. Avail=FALSE; Response. Received=TRUE; ! is. Broadcast Transaction. Status=SUCCESS; 21 -08 -0065 -00 -0000 4

Transaction Destination State Machine (Fig 24) INIT Transaction. Status = ONGOING; (Opcode, MID, TID)=Msg. In. (OPCODE, MID, TID); Transaction. Stop. When=Transaction. Lifetime; Msg. In. Avail Peer. Mihf. ID=Src. MIHF_ID(Msg. In); My. Mihf. ID=Dst. MIHF_ID(Msg. In); Start. Ack. Responder=(Msg. In. ACK-REQ==1 ? TRUE : FALSE) && !Is. Broadcast; Msg. Out. Avail=Process(Msg. In); Msg. In. Avail=FALSE; Opcode==Request WAIT_RESPONSE_PRM Transaction. Stop. When==0 FAILURE Transaction. Status = FAILURE; Msg. Out. Avail&& (!Start. Ack. Responder || Msg. Out. ACK-Rsp==1) Opcode==Indication || Opcode ==Response Ack. Requestor. Status==FAILURE SEND_RESPONSE Start. Ack. Requestor=(Msg. Out. ACK-Req==1 ? TRUE : FALSE); Ack. Requestor. Status=ONGOING; Transmit(Msg. Out); !Start. Ack. Requestor || Ack. Requestor. Status==SUCCESS Transaction. Status = SUCCESS; 21 -08 -0065 -00 -0000 5

ACK Requestor State Machine (Fig 25) Start. Ack. Requestor INIT Rtx. Ctr=0; UCT Retransmission. When==0&& Rtx. Ctr<Max. Rtx. Ctr WAIT_ACK Retransmission. When=Retransmission. Interval ; Msg. In. Avail&& Msg. In. ACK_RSP==1 SUCCESS Ack. Requestor. Status=TRUE; 21 -08 -0065 -00 -0000 UTC RETRANSMIT Transmit(Msg. Out); Rtx. Ctr++; Retransmission. When==0 && Rtx. Ctr==Max. Rtx. Ctr FAILURE Ack. Requestor. Status=FALSE; 6

ACK Responder State Machine (Fig 26) Start. Ack. Responder INIT ACK_REQ=0; ACK_RSP=1; ACK. (MID, TID)=(MID, TID); Set. MIHF_ID(ACK, My. Mihf. ID, Peer. Mihf. ID); Msg. Out. Avail !Msg. Out. Avail Msg. In. Avail RETURN_ACK Transmit(ACK); Msg. In. Avail=FALSE; Msg. Out. Avail PIGGYBACKING Msg. Out. ACK_RSP=1; DUP=Msg. Out; Msg. In. Avail RETURN_DUPLICATE Transmit(DUP); Msg. In. Avail=FALSE; 21 -08 -0065 -00 -0000 Msg. In. Avail 7