R70 - woven-planet/opensafety-mbse GitHub Wiki
R70 / M:Mc-1
Crosswalk crosses one or many Driving Lane
Driving Lane is crossed by zero, one or many Crosswalk
Depending on where a Crosswalk is situated, across a Road Segment, to an Island or Median, it must cross over at least one Driving Lane to fulfill its purpose. Of course, a Crosswalk may intersect non-Driving Lanes such as a Dedicated Bike Lane. But the Ego Vehicle only cares about where it may traverse a Crosswalk and so Driving Lane intersection widths are adequate information.
The detectable portion of a Driving Lane may or may not intersect any Crosswalks.
There are many cases where multiple Crosswalks may be detected by the Ego Vehicle over the same Driving Lane. For example, both a non-Intersection Crosswalk might be in the middle of a Road Segment with another Crosswalk further down the Road Segment visible ahead at the next Intersection. In the example below two Crosswalks overlap the leftmost (outer) lane: one at the Intersection and one to the Island.
TBD Leon: Should we put a note why Driving Lane not Lane is interesting?
Formalization
Crosswalk Lane Traversal.Crosswalk -> Crosswalk.ID
Crosswalk Lane Traversal.(Inside division, Outside division, Road segment)