R79 - woven-planet/opensafety-mbse GitHub Wiki

R79 / 1:Mc-1

Walk Signal Span is being approached by zero, one or many Ego Vehicle

Ego Vehicle is approaching zero or one Walk Signal Span

---

At any given time, the Ego Vehicle may be approaching and therefore observing the status of any number of upcoming Signal Controlled Crosswalks. In each such case, the status of the associated Walk Signal Span will be of interest. If the Ego Vehicle is planning to turn through an Intersection, for example, the relevant Entry and Exit Crosswalks must be monitored. Each of these will be associated with some Walk Signal Span.

A given Walk Signal Span may or may not be currently approached. It could be behind the Ego Vehicle, for example.

Formalization

Approached Walk Signal.Signal -> Walk Signal Span.ID
Approached Walk Signal.Ego -> Ego Vehicle.ID