R202 - woven-planet/opensafety-mbse GitHub Wiki

R202 / 1:M

Driving Lane Reconfiguration is initiated in one Lane Configuration Segment

Lane Configuration Segment initiates one or many Driving Lane Reconfiguration

---

The whole purpose of a Lane Configuration Segment is to designate the initiation of one or more Driving Lane Reconfigurations at the same general longitudinal distance.

Formalization

Driving Lane Reconfiguration.(Conduit, Road segment) -> Conduit.(Role, Road segment)