R152 - woven-planet/opensafety-mbse GitHub Wiki

R152 / 1:1c-1

Multi Lane Maneuver needs to traverse one Driving Lane

Driving Lane is traversed by zero or one Multi Lane Maneuver

---

Once initiated, a Multi Lane Maneuver targets an initial Driving Lane destination. This process keeps repeating until the final target is attained, at which point the maneuver no longer exists. So throughout a Multi Lane Maneuver's existence, there is always a target lane to get into (traverse).

At any point in time, a given Driving Lane may or may not be the target of a Multi Lane.

Formalization

Driving Lane Change.Ego -> Multi Lane Maneuver.Ego

Driving Lane Change.(Target lane inside division, Target lane outside division, Road segment) ->
    Driving Lane.(Inside division, Outside division, Road segment)

Constraints

The Driving Lane.Target lane inside division value matches a /R152/R151/OR34/Driving Lane Order.Inside division value one rank in either ascending or descending order.

images/R152.png

The Driving Lane.Target outside division value matches a /R152/R151/OR34/Driving Lane Order.Outside division value one rank in either ascending or descending order.