R81 - woven-planet/opensafety-mbse GitHub Wiki

R81 / 1:1c

Approached Walk Signal is indicating zero or one Walk Duration

Walk Duration is being indicated at one Approached Walk Signal

---

Some walk signals indicate the amount of time remaining before the signal will change to don’t walk. In this case there will be a Walk Duration indicated.

Formalization

Walk Duration.Signal -> Approached Walk Signal.Signal