R219 - woven-planet/opensafety-mbse GitHub Wiki

R219 / 1:1

Convergence Exit Lane is end of exactly one Convergence

Convergence ends at exactly one Convergence Exit Lane

---

A Convergence reconfiguration consists of multiple components, but ultimately ends with a single exit lane which leads to all other reconfiguration components.

Formalization

Convergence Exit Lane.(LR ID, Road segment) -> Convergence.(LR ID, Road segment)

Since these two attributes are shared with R217, we ensure that all component Driving Lanes are part of the same Convergence.