R40 - woven-planet/opensafety-mbse GitHub Wiki

R40 / M:M-1

Unidirectional Lane is arranged within one or many Lane Configuration Segment

Lane Configuration Segment arranges one or many Unidirectional Lane

---

In the simplest case, a Conduit in a Road Segment will consist of one or more Unidirectional Lanes that do not experience any reconfiguration. In this case, the entire Conduit will be covered by a single Lane Configuration Segment.

Each Unidirectional Lane runs through at least this single Lane Configuration Segment. If the lanes are reconfigured, there will be more than one Lane Configuration Segment to organize the reconfigurations.

Formalization

Lane Arrangement.(Inside division, Outside division, Conduit, Road segment) ->
    Unidirectional Lane
Lane Arrangement.(LCS, Road segment) -> Lane Configuration Segment.(ID, Road segment)