R36 - woven-planet/opensafety-mbse GitHub Wiki

R36 / 1:M

Lane Division changes at one or many Division Transition

Division Transition is change in exactly one Lane Division

---

As you drive along looking up ahead you can see the Lane Divisions changing. A dashed line turns solid, a solid line starts running along a curbed median with trees and so forth.

The current Driving Transition constitutes the status of a Lane Division alongside the Ego Vehicle. So if you see a dashed line to your left, that represents the current or zero distance Driving Transition. So, if there is a Lane Division there, it must have at least one Driving Transition at a zero distance. In other words, there is always a current Driving Transition for each Lane Division.

Additionally, you may see one or more transitions up ahead where the Lane Division changes physical structure, crossing policy or both.

Any given Division Transition represents the status of a single Lane Division.

Formalization

Division Transition.(Division, Road segment) -> Lane Division.(ID, Road segment)