R208 - woven-planet/opensafety-mbse GitHub Wiki

R208 / 1:Mc

Fork Lane siphons traffic from exactly one Driving Lane

Driving Lane delivers traffic to zero, one or many Fork Lane

---

When a Fork Lane begins, it accepts traffic from an adjacent Driving Lane. (If there are multiple inlets, this is a Split and not a Fork Lane).

A given Driving Lane may or may not encounter any Fork Lanes. And, over a length of Road, a Driving Lane might deliver traffic into one or more Forks, staggered on each side of the source Driving Lane.

Formalization

Fork Lane.(Source lane inside, Source lane outside, Road segment ->
    Driving Lane.(Inside division, Outside division, Road segment)

By sharing the Fork Lane.Road segment reference between R87, R81 and R90 we constrain the source Driving Lane to be in the same Road Segment as that of the Fork Lane.

Constraint R81c

Fork Lane/R81/R80/R85/Driving Lane.Conduit == Fork Lane/R87/Driving Lane.Conduit