Спецификация протокола Profibus

Page 561

PROFIBUS-Specification-Normative-Parts-6:1997

6.7.3.7 State Diagram for IDLE Requester (Slave) on a Connection for Acyclic

Data Transfer

IDLE-

WAIT-FOR-IND

UPDATE.con(OK)

IDLE-

REPLY-UPDATE

IDLE-

WAIT-FOR-REQS

IDLE Req. started

IDLE Req. finished

i

g

nore data

IDLE_REQ_PDU sent

(SRD.ind(low/high,

update_status = LO))

(UPDATE.req (low))

IDLE_REQ_PDU

send

Figure 117. State Diagram for IDLE Requester at the Slave

Description of State Transitions for Idle Requester at the Slave

IDLE Requester at the Slave

Current State Transition Next State

Event

\Exit Condition

=> Action Taken

IDLE-WAIT-FOR-REQS IDLE_S 1 IDLE-REPLY-UPDATE

IDLE Req. started

\M-S

=> send IDLE_REQ_PDU (UPDATE.req(low))

IDLE-REPLY-UPDATE IDLE_S 2 IDLE-WAIT-FOR-IND

update buffer loaded (UPDATE.con(OK))

\M-S

IDLE-WAIT-FOR-IND IDLE_S 3 IDLE-WAIT-FOR-REQS

IDLE_REQ_PDU sent

(SRD.ind(serv_class = low/high, update_status = LO))

\M-S

=> finish IDLE Req.

ignore data if present

Page 562

PROFIBUS-Specification-Normative-Parts-6:1997

6.7.3.8 State Diagram for DTC Requester (Master) on a Connection for Cyclic

Data Transfer

Definitions:

IVID = ABS_RES IVID

IVID = ABS_REQ IVID (old IVID)

1: DTC_RES_PDU received

(CSRD.con(DL))

2:DTC.req from FMS (Read)

1: store PDU in IDM

start T3

2: read DTC_RES_PDU out of IDM

and with DTC.con to FMS

DTCC-

WAIT-FOR-RES

DTCC-

WAIT-FOR-REQ

DTCC Req. started

S_UPDATE.con(OK)

DTCC-

WAIT-FOR-CON

DTCC-

SEND-UPDATE

1,2:store PDU in IDM

1: DTC.con to FMS

start T3

2

send ABT_REQ_PDU

ABT.ind to FMS

(S_UPDATE.req)

2

send ABT_REQ_PDU

ABT.ind to FMS

(S_UPDATE.req)

DTC_RES_PDU received

(CSRD.con(DL, update_status = LO/NO))

and IVID # ABS_RES IVID (not deleted)

2

send ABT_REQ_PDU

ABT.ind to FMS

(S_UPDATE.req)

DTC_RES_PDU received

(CSRD.con(DL))

and IVID # ABS_RES IVID (not deleted)

2:read DTC_RES_PDU out of IDM

and with DTC.con to FMS

1,3:ABS_REQ IVID := IVID

1,2,3:send DTC_REQ_PDU (S_UPDATE.req)

start T3

delete ABS_RES IVID

DTC_RES_PDU received

(CSRD.con(DL))

1:ABS_RES IVID deleted

2:IVID = ABS_RES IVID

1:ignore

2:store PDU in IDM

start T3

DTC_RES_PDU received

(CSRD.con(DL, update_status = NO))

2:IVID = ABS_RES IVID

(CSRD.con (DL))

1:IVID = ABS_REQ IVID and

DTC_RES_PDU received

ABS_RES IVID deleted

2:IVID = ABS_RES IVID

DTC_RES_PDU received

(CSRD.con(DL))

IVID # ABS_REQ IVID

ignore

and ABS_RES IVID deleted

IVID: Invoke ID of a PDU to be sent or to be received.

ABS_REQ-IVID: invoke ID stored in the IDM

ABS_RES-IVID: invoke ID stored in the IDM

DTC_REQ_PDU sent and DTC_RES_PDU

received (CSRD.con(DL, update_status = LO))

IVID = ABS_REQ IVID and ABS_RES IVID deleted

DTC.con to FMS

store PDU in IDM

start T3

1:ignore

2:store PDU in IDM

start T3

1:

ABS_RES IVID deleted

DTC_RES_PDU received

(CSRD.con(DL))

and IVID # ABS_RES IVID

(not deleted)

DTC_REQ_PDU received

(update_status = LO)

1:CSRD.con(DL/DH/NR)

2:DTC_RES_PDU received

(CSRD.con(DL) and

ABS_RES IVID deleted

and IVID # ABS_REQ IVID

3:DTC_RES_PDU received

CSRD.con(DL) and

IVID = ABS_RES IVID

2:ignore data

3:store PDU in IDM

start T3

2

1,2: send ABT_REQ_PDU (S_UPDATE.req)

ABT.ind to FMS

1: DTC_RES_PDU received

and IVID # ABS_RES IVID

(

CSRD.con

(

DL

))

2: DTC.req from FMS AND NOT (Read OR Write)

The Transition with the number 2 is continued

in the Fi

g

ure "Connection Release" above.

send DTC_REQ_PDU

ABS_REQ IVID := IVID

start T3

(S_UPDATE.req)

2:DTC.req from FMS (Write) and IVID = ABS_REQ IVID (old IVID)

3:DTC.req from FMS (Write) and IVID # ABS_REQ IVID (new IVID)

1:DTC.req from FMS (Read) and IVID # ABS_REQ IVID (new IVID)

DTCC-

WAIT-FOR-CYC-RES

Figure 118. State Diagram for DTC Requester (Master) on a Connection for Cyclic

Data Transfer

Page 563

PROFIBUS-Specification-Normative-Parts-6:1997

Description of State Transitions for DTC Requester at the Master (cyclic)

DTC Requester at the Master (cyclic)

Current State Transition Next State

Event

\Exit Condition

=> Action Taken

DTCC-WAIT-FOR-REQ DTCC_REQ 1 DTCC-SEND-UPDATE

DTCC Req. started

\M-S

=> send DTC_REQ_PDU (S_UPDATE.req)

IDM_REQ-IVID := invoke ID

start T3

DTCC-SEND-UPDATE DTCC_REQ 2 DTCC-WAIT-FOR-CON

update buffer loaded (S_UPDATE.con(OK))

\M-S

DTCC-SEND-UPDATE DTCC_REQ 3 DTCC-SEND-UPDATE

DTC_RES_PDU received ((C)SRD.con(L_status = DL))

\M-S AND (IDM_RES-IVID deleted)

=> ignore

DTCC-SEND-UPDATE DTCC_REQ 4 DTCC-SEND-UPDATE

DTC_RES_PDU received ((C)SRD.con(L_status = DL))

\M-S AND (invoke ID = IDM_RES-IVID)

=> store PDU in IDM

start T3

DTCC-SEND-UPDATE AB 1 ABT-UPDATE

1)

DTC_RES_PDU received ((C)SRD.con(L_status = DL))

\M-S AND (invoke ID # IDM_RES-IVID)

=> send ABT_REQ_PDU <RC = ABT_RC9> (S_UPDATE.req)

ABT.ind to LLI user <RC = ABT_RC22>

stop all timers, start T2, stop machines

DTCC-WAIT-FOR-CON DTCC_REQ 5 DTCC-WAIT-FOR-RES

DTC_REQ_PDU sent AND NOT DTC_RES_PDU received

(CSRD.con(L_status = DL/DH/NR, update_status = LO))

\M-S

DTCC-WAIT-FOR-CON DTCC_REQ 16 DTCC-WAIT-FOR-CYC-RES

DTC_REQ_PDU sent AND DTC_RES_PDU received

(CSRD.con(L_status = DL, update_status = LO))

\M-S AND (invoke ID = IDM_REQ-IVID)

AND (IDM_RES-IVID deleted)

=> DTC.con to LLI user

store PDU in IDM

start T3

DTCC-WAIT-FOR-CON DTCC_REQ 17 DTCC-WAIT-FOR-RES

DTC_REQ_PDU sent AND DTC_RES_PDU received

(CSRD.con(L_status = DL, update_status = LO))

\M-S AND (invoke ID # IDM_REQ-IVID)

AND (IDM_RES-IVID deleted)

=> ignore data

1) see state diagram for connection release

Page 564

PROFIBUS-Specification-Normative-Parts-6:1997

DTC Requester at the Master (cyclic)

Current State Transition Next State

Event

\Exit Condition

=> Action Taken

DTCC-WAIT-FOR-CON DTCC_REQ 18 DTCC-WAIT-FOR-RES

DTC_REQ_PDU sent AND DTC_RES_PDU received

(CSRD.con(L_status = DL, update_status = LO))

\M-S AND (invoke ID = IDM_RES-IVID)

=> store PDU in IDM

start T3

DTCC-WAIT-FOR-CON DTCC_REQ 6 DTCC-WAIT-FOR-CON

DTC_RES_PDU received

((C)SRD.con(L_status = DL, update_status = NO))

\M-S AND (IDM_RES-IVID deleted)

=> ignore

DTCC-WAIT-FOR-CON DTCC_REQ 7 DTCC-WAIT-FOR-CON

DTC_RES_PDU received

((C)SRD.con(L_status = DL, update_status = NO))

\M-S AND (invoke ID = IDM_RES-IVID)

=> store PDU in IDM

start T3

DTCC-WAIT-FOR-CON AB 2 ABT-UPDATE

1)

DTC_RES_PDU received

((C)SRD.con(L_status = DL, update_status = NO/LO))

\M-S AND (invoke ID # IDM_RES-IVID)

=> send ABT_REQ_PDU <RC = ABT_RC9> (S_UPDATE.req)

ABT.ind to LLI user <RC = ABT_RC22>

stop all timers, start T2, stop machines

DTCC-WAIT-FOR-RES DTCC_REQ 8 DTCC-WAIT-FOR-CYC-RES

DTC_RES_PDU received ((C)SRD.con(L_status = DL))

\M-S AND (invoke ID = IDM_REQ-IVID)

AND (IDM_RES-IVID deleted)

=> DTC.con to LLI user

store PDU in IDM, start T3

DTCC-WAIT-FOR-RES DTCC_REQ 9 DTCC-WAIT-FOR-CYC-RES

DTC_RES_PDU received ((C)SRD.con(L_status = DL))

\M-S AND (invoke ID = IDM_RES-IVID)

=> store PDU in IDM

start T3

DTCC-WAIT-FOR-RES DTCC_REQ 10 DTCC-WAIT-FOR-RES

DTC_RES_PDU received ((C)SRD.con(L_status = DL))

\M-S AND (invoke ID # IDM_REQ-IVID)

AND (IDM_RES-IVID deleted)

=> ignore

DTCC-WAIT-FOR-RES AB 3 ABT-UPDATE

1)

DTC_RES_PDU received ((C)SRD.con(L_status = DL))

\M-S AND (invoke ID # IDM_RES-IVID)

=> send ABT_REQ_PDU <RC = ABT_RC22> (S_UPDATE.req)

ABT.ind to LLI user <RC = ABT_RC22>

stop all timers, start T2, stop machines

1) see state diagram for connection release

Page 565

PROFIBUS-Specification-Normative-Parts-6:1997

DTC Requester at the Master (cyclic)

Current State Transition Next State

Event

\Exit Condition

=> Action Taken

DTCC-WAIT-FOR-CYC-RES DTCC_REQ 11 DTCC-SEND-UPDATE

DTC.req from LLI user (Read)

\M-S AND (invoke ID # IDM_REQ-IVID (new IVID))

=> IDM_REQ-IVID := invoke ID

delete IDM_RES-IVID, start T3

send DTC_REQ_PDU (S_UPDATE.req)

DTCC-WAIT-FOR-CYC-RES DTCC_REQ 12 DTCC-SEND-UPDATE

DTC.req from LLI user (Write)

\M-S AND (invoke ID = IDM_REQ-IVID (old IVID))

=> send DTC_REQ_PDU (S_UPDATE.req)

read DTC_RES_PDU out of IDM and DTC.con to LLI user

DTCC-WAIT-FOR-CYC-RES DTCC_REQ 13 DTCC-SEND-UPDATE

DTC.req from LLI user (Write)

\M-S AND (invoke ID # IDM_REQ-IVID (new IVID))

=> IDM_REQ-IVID := invoke ID

delete IDM_RES-IVID, start T3

send DTC_REQ_PDU (S_UPDATE.req)

DTCC-WAIT-FOR-CYC-RES DTCC_REQ 14 DTCC-WAIT-FOR-CYC-RES

DTC_RES_PDU received ((C)SRD.con(L_status = DL))

\M-S AND (invoke ID = IDM_RES-IVID)

=> store PDU in IDM

start T3

DTCC-WAIT-FOR-CYC-RES DTCC_REQ 15 DTCC-WAIT-FOR-CYC-RES

DTC.req from LLI user (Read)

\M-S AND (invoke ID = IDM_REQ-IVID (old IVID))

=> read DTC_RES_PDU out of IDM and with DTC.con to LLI user

DTCC-WAIT-FOR-CYC-RES AB 4 ABT-UPDATE

1)

DTC_RES_PDU received ((C)SRD.con(L_status = DL))

\M-S AND (invoke ID # IDM_RES-IVID)

=> send ABT_REQ_PDU <RC = ABT_RC22>, (S_UPDATE.req)

ABT.ind to LLI user <RC = ABT_RC22>

stop all timers, start T2, stop machines

DTCC-WAIT-FOR-CYC-RES AB 5 ABT-UPDATE

1)

DTC.req from LLI user

\M-S AND NOT (Read OR Write)

=> send ABT_REQ_PDU <RC = ABT_RC9> (S_UPDATE.req)

ABT.ind to LLI user <RC = ABT_RC27>

stop all timers, start T2, stop machines

1) see state diagram for connection release

Page 566

PROFIBUS-Specification-Normative-Parts-6:1997

6.7.3.9 State Diagram for DTC Responder (Slave) ona Connection for Cyclic Data

Transfer

DTZ Res. started

DTCC-

REPLY-UPDATE

DTCC-

WAIT-FOR-FMS-RES

1:DTC_REQ_PDU (Read OR W rite)

received (SRD.ind(Low)) and

and new = false

IVID = ABS_REQ IVID (old IVID)

2:DTC_REQ_PDU (Read OR Write)

received (SRD.ind(low)) and

and new = false

IVID # ABS_REQ IVID (new IVID)

store PDU

DTC.ind to FMS

in IDM

new := true

old := false

1,2:store PDU in IDM

start T3 if

2: new := true

old := true

1,2:store PDU in IDM

start T3 if

2: new := true

old := true

CCI > 0

UPDATE.con(OK)

DTCC-

SEND-RES

2

1,2,3,4: send ABT_REQ_PDU

(UPDATE.req(low))

ABT.ind to FMS

and IVID = ABS_REQ IVID (old IVID)

and new = false

4:DTC_RES_PDU sent

(SRD.ind(low, update_status = LO))

and DTC_REQ_PDU (Read OR W rite) received

and IVID # ABS_REQ-IVID (new IVID)

and new = false

3,4: DTC.ind to FMS

store DTC_REQ_PDU in IDM

4: new := true

1: new := false

1,2,3,4:start T3 if

2: old:= false

1,2: read DTC_REQ_PDU out of IDM

and with DTC.ind to FMS

CCI > 0

1:DTC_REQ_PDU (Read OR Write)

received (SRD.ind(low)) and

and new = false

IVID = ABS_REQ IVID (old IVID)

2:DTC_REQ_PDU (Read OR Write)

received (SRD.ind(low)) and

and new = false

IVID # ABS_REQ IVID (new IVID)

3:DTC_RES_PDU sent

(SRD.ind(low, update_status = LO))

and DTC_REQ_PDU (Read OR W rite) received

1:DTC_RES_PDU sent

(SRD.ind(low/hi

g

h, update_status = LO))

and old = false

2:DTC_RES_PDU sent

(SRD.ind(low/hi

g

h, update_status = LO))

and old = true

2

1,2,3 : send ABT_REQ_PDU

(UPDATE.req(low))

ABT.ind to FMS

2

1: DTC_REQ_PDU (Read OR Write)

received

(

SRD.ind

(

low

))

and

new = true

2: DTC_REQ_PDU AND NOT (Read OR Write)

received

(

SRD.ind

(

low

))

1,2: send ABT_REQ_PDU

(UPDATE.req(low))

ABT.ind to FMS

The Transition with the number 2 is continued in the

Fi

g

ure "Connection Release".

send DTC_RES_PDU

(UPDATE.req (low))

DTC.res (Read OR Write)

from FMS

1: DTC_REQ_PDU (Read OR W rite)

received (SRD.ind(low)) and

new = true

2: DTC_REQ_PDU AND NOT (Read OR Write)

received (SRD.ind (low))

3: DTC.res (Reject) from FMS

DTCC-

WAIT-FOR-REQ-PDU

2:DTC_RES_PDU sent

(SRD.ind(low, update_status = LO))

and DTC_REQ_PDU received

and new = true

1: DTC_REQ_PDU (Read OR W rite)

received (SRD.ind(low)) and

new = true

3: DTC_REQ_PDU AND NOT (Read OR Write)

received (SRD.ind (low))

4: DTC_RES_PDU sent (SRD.ind (low,

update_status = LO)) and

DTC_REQ_PDU AND NOT (Read OR Write)

received

Figure 119. State Diagram for DTC Responder (Slave) on a Connection for Cyclic

Data Transfer

Page 567

PROFIBUS-Specification-Normative-Parts-6:1997

Description of State Transitions for DTC Responder at the Slave (cyclic)

DTC Responder at the Slave (cyclic)

Current State Transition Next State

Event

\Exit Condition

=> Action Taken

DTCC-WAIT-FOR-REQ-PDU DTCC_RES 1 DTCC-WAIT-FOR-FMS-RES

DTCC Res. started

\M-S

=> store PDU in IDM

DTC.ind to LLI user

new := true, old := false

DTCC-WAIT-FOR-FMS-RES DTCC_RES 2 DTCC-REPLY-UPDATE

DTC.res from LLI user

\M-S

AND (Read OR Write)

=> send DTC_RES_PDU (UPDATE.req(low))

DTCC-WAIT-FOR-FMS-RES DTCC_RES 3 DTCC-WAIT-FOR-FMS-RES

DTC_REQ_PDU received (SRD.ind(serv_class = low))

\M-S AND (invoke ID = IDM_REQ-IVID (old IVID))

AND (new = false) AND (CCI = 0)

AND (Read OR Write)

=> store DTC_REQ_PDU in IDM

DTCC-WAIT-FOR-FMS-RES DTCC_RES 4 DTCC-WAIT-FOR-FMS-RES

DTC_REQ_PDU received (SRD.ind(serv_class = low))

\M-S AND (invoke ID = IDM_REQ-IVID (old IVID))

AND (new = false) AND (CCI > 0)

AND (Read OR Write)

=> store DTC_REQ_PDU in IDM

start T3

DTCC-WAIT-FOR-FMS-RES DTCC_RES 5 DTCC-WAIT-FOR-FMS-RES

DTC_REQ_PDU received (SRD.ind(serv_class = low))

\M-S AND (invoke ID # IDM_REQ-IVID (new IVID))

AND (new = false) AND (CCI = 0)

AND (Read OR Write)

=> store DTC_REQ_PDU in IDM

new := true, old := true

DTCC-WAIT-FOR-FMS-RES DTCC_RES 6 DTCC-WAIT-FOR-FMS-RES

DTC_REQ_PDU received (SRD.ind(serv_class = low))

\M-S AND (invoke ID # IDM_REQ-IVID (new IVID))

AND (new = false) AND (CCI > 0)

AND (Read OR Write)

=> store DTC_REQ_PDU in IDM

start T3

new := true, old := true

DTCC-REPLY-UPDATE DTCC_RES 7 DTCC-SEND-RES

update buffer loaded (UPDATE.con(OK))

\M-S

Page 568

PROFIBUS-Specification-Normative-Parts-6:1997

DTC Responder at the Slave (cyclic)

Current State Transition Next State

Event

\Exit Condition

=> Action Taken

DTCC-WAIT-FOR-FMS-RES AB 1 ABT-UPDATE

1)

DTC_REQ_PDU received (SRD.ind(serv_class = low))

\M-S AND (new = true)

=> send ABT_REQ_PDU <RC = ABT_RC22>

(UPDATE.req(low))

ABT.ind to LLI user <RC = ABT_RC22>

stop all timers, start T2, stop machines

DTCC-WAIT-FOR-FMS-RES AB 2 ABT-UPDATE

1)

DTC_REQ_PDU received (SRD.ind(serv_class = low))

\M-S

AND NOT (Read or Write)

=> send ABT_REQ_PDU <RC = ABT_RC27> (UPDATE.req(low))

ABT.ind to LLI user <RC = ABT_RC27>

stop all timers, start T2, stop machines

DTCC-WAIT-FOR-FMS-RES AB 3 ABT-UPDATE

1)

DTC.res from LLI user

\M-S

AND Reject

=> send ABT_REQ_PDU <RC = ABT_RC28> (UPDATE.req(low))

ABT.ind to LLI user <RC = ABT_RC28>

stop all timers, start T2, stop machines

DTCC-REPLY-UPDATE DTCC_RES 8 DTCC-REPLY-UPDATE

DTC_REQ_PDU received (SRD.ind(serv_class = low))

\M-S AND (invoke ID = IDM_REQ-IVID (old IVID))

AND (new = false) AND (CCI = 0)

AND (Read OR Write)

=> store DTC_REQ_PDU in IDM

DTCC-REPLY-UPDATE DTCC_RES 9 DTCC-REPLY-UPDATE

DTC_REQ_PDU received (SRD.ind(serv_class = low))

\M-S AND (invoke ID = IDM_REQ-IVID (old IVID))

AND (new = false) AND (CCI > 0)

AND (Read OR Write)

=> store DTC_REQ_PDU in IDM

start T3

DTCC-REPLY-UPDATE DTCC_RES 10 DTCC-REPLY-UPDATE

DTC_REQ_PDU received (SRD.ind(serv_class = low))

\M-S AND (invoke ID # IDM_REQ-IVID (new IVID))

AND (new = false) AND (CCI = 0)

AND (Read OR Write)

=> store DTC_REQ_PDU in IDM

new := true, old := true

1) see state diagram for connection release

Page 569

PROFIBUS-Specification-Normative-Parts-6:1997

DTC Responder at the Slave (cyclic)

Current State Transition Next State

Event

\Exit Condition

=> Action Taken

DTCC-REPLY-UPDATE DTCC_RES 11 DTCC-REPLY-UPDATE

DTC_REQ_PDU received (SRD.ind(serv_class = low))

\M-S AND (invoke ID # IDM_REQ-IVID (new IVID))

AND (new = false) AND (CCI > 0)

AND (Read OR Write)

=> store DTC_REQ_PDU in IDM

start T3

new := true, old := true

DTCC-REPLY-UPDATE AB 4 ABT-UPDATE

1)

DTC_REQ_PDU received (SRD.ind(serv_class = low))

\M-S

AND NOT (Read or Write)

=> send ABT_REQ_PDU <RC = ABT_RC27> (UPDATE.req(low))

ABT.ind to LLI user <RC = ABT_RC27>

stop all timers, start T2, stop machines

DTCC-REPLY-UPDATE AB 5 ABT-UPDATE

1)

DTC_REQ_PDU received (SRD.ind(serv_class = low))

\M-S AND (new = true)

=> send ABT_REQ_PDU <RC = ABT_RC22>

(UPDATE.req(low))

ABT.ind to LLI user <RC = ABT_RC22>

stop all timers, start T2, stop machines

DTCC-SEND-RES DTCC_RES 12 DTCC-WAIT-FOR-FMS-RES

DTC_RES_PDU sent

(SRD.ind(serv_class = low/high, update_status = LO))

\M-S AND (old = false) AND (CCI = 0)

=> read DTC_REQ_PDU out of IDM and with DTC.ind to LLI user

new := false

DTCC-SEND-RES DTCC_RES 13 DTCC-WAIT-FOR-FMS-RES

DTC_RES_PDU sent

(SRD.ind(serv_class = low/high, update_status = LO))

\M-S AND (old = false) AND (CCI > 0)

=> read DTC_REQ_PDU out of IDM and with DTC.ind to LLI user

new := false

start T3

DTCC-SEND-RES DTCC_RES 14 DTCC-WAIT-FOR-FMS-RES

DTC_RES_PDU sent

(SRD.ind(serv_class = low/high, update_status = LO))

\M-S AND (old = true) AND (CCI = 0)

=> read DTC_REQ_PDU out of IDM and with DTC.ind to LLI user

old := false

1) see state diagram for connection release

Page 570

PROFIBUS-Specification-Normative-Parts-6:1997

DTC Responder at the Slave (cyclic)

Current State Transition Next State

Event

\Exit Condition

=> Action Taken

DTCC-SEND-RES DTCC_RES 15 DTCC-WAIT-FOR-FMS-RES

DTC_RES_PDU sent

(SRD.ind(serv_class = low/high, update_status = LO))

\M-S AND (old = true) AND (CCI > 0)

=> read DTC_REQ_PDU out of IDM and with DTC.ind to LLI user

old := false

start T3

DTCC-SEND-RES DTCC_RES 16 DTCC-WAIT-FOR-FMS-RES

DTC_RES_PDU sent

(SRD.ind(serv_class = low, update_status = LO))

\M-S AND (DTC_REQ_PDU received AND

invoke ID = IDM_REQ-IVID (old IVID))

AND (new = false) AND (CCI = 0)

AND (Read OR Write)

=> DTC.ind to LLI user

store DTC_REQ_PDU in IDM

DTCC-SEND-RES DTCC_RES 17 DTCC-WAIT-FOR-FMS-RES

DTC_RES_PDU sent

(SRD.ind(serv_class = low, update_status = LO))

\M-S AND (DTC_REQ_PDU received AND

invoke ID = IDM_REQ-IVID (old IVID))

AND (new = false) AND (CCI > 0)

AND (Read OR Write)

=> DTC.ind to LLI user

store DTC_REQ_PDU in IDM

start T3

DTCC-SEND-RES DTCC_RES 18 DTCC-WAIT-FOR-FMS-RES

DTC_RES_PDU sent

(SRD.ind(serv_class = low, update_status = LO))

\M-S AND

(DTC_REQ_PDU received AND

invoke ID # IDM_REQ-IVID (new IVID))

AND (new = false) AND (CCI = 0)

AND (Read OR Write)

=> DTC.ind to LLI user

store DTC_REQ_PDU in IDM, new := true

DTCC-SEND-RES DTCC_RES 19 DTCC-WAIT-FOR-FMS-RES

DTC_RES_PDU sent

(SRD.ind(serv_class = low, update_status = LO))

\M-S AND (DTC_REQ_PDU received AND

invoke ID # IDM_REQ-IVID (new IVID))

AND (new = false) AND (CCI > 0) AND (Read OR Write)

=> DTC.ind to LLI user

store DTC_REQ_PDU in IDM, new := true

start T3

Спецификация протокола Profibus

Подождите немного. Документ загружается.