R225 - woven-planet/opensafety-mbse GitHub Wiki

R225 / 1:1

Convergence Exit Lane consolidates traffic from exactly one Convergence Lane Zipper Pair

Convergence Lane Zipper Pair consolidates traffic into exactly one Convergence Exit Lane

Traffic leaving the two adjacent Convergence Entrance lanes is squeezed or zippered into a single exiting Driving Lane.

Formalization

Convergence Exit Lane.(LR ID, Inside Division, Road segment) ->
    Convergence Zipper Lane Pair.(LR ID, Inside zipper lane, Road segment)

The sharing of LR ID and Road segment attributes constrains the zipper pair to be part of the same Convergence. Additionally, the sharing of the Inside Division/Inside zipper lane attributes constrains the inside Lane Division of the zipper pair to coincide with the inside Lane Division of the Convergence Exit Lane.

Constraint

The outer Lane Division alignment constraint should also be specified, though it cannot be easily handled by sharing referential attributes. Instead, we observe that:

Convergence Exit Lane/R81/R80/R85/R10/R19/Lane.Outside division = Convergence Exit Lane/R92/R89/zippers outside traffic into/R83/R80/R10/R19/Lane.Outside division