R20 - woven-planet/opensafety-mbse GitHub Wiki

R20 / 1:M

Road Segment traffic is separated by one or many Lane Division

Lane Division separates traffic on one Road Segment

---

Every Road Segment is divided up into Lanes indicated by Lane Divisions. In the case of an Undivided Road Segment, there will be at least an inside and outside division corresponding, roughly at least, to the left and right Road Edges even if they are not explicitly marked.

Formalization

Lane Division.Road segment -> Road Segment.ID