An Open Access Journal
From: A CPN/B method transformation framework for railway safety rules formal validation
Event | Description |
---|---|
HOV condition detected | Handover condition detected |
RRI request necessary | Handing over RBC detects that route related information is required from the accepting RBC |
RRI received | NRBC message “Route Related Information” received |
Condition “Border passed by safe front end” detected | Position report received and condition “Border passed by maximum safe front end” detected |
TOR received | NRBC message “Taking Over Responsibility” received |
Condition “Border passed by safe rear end” detected | Position report received and condition “Border passed by minimum safe rear end” detected |
Cancellation condition detected | Condition for cancellation of the RBC/RBC handover transaction is detected in the handing over RBC |
ACK received | NRBC message “Acknowledgement” has been received |
Cancellation received | NRBC message “Cancellation” received |
Life Sign received | NRBC message “Life Sign” received |
Request for RRI Confirmation received | NRBC message “Request for RRI Confirmation” received |
RRI Confirmation condition detected | RRI Confirmation condition detected |