R64 - woven-planet/opensafety-mbse GitHub Wiki

R64 / Generalization

Turn Movement is a Turn after Stop Not Permitted or Turn After Stop Permitted


For any given Turn Movement it is always legal to traverse on a go signal and, only in some cases in certain traffic authority areas is it also legal to make a turn on a stop signal after first executing a complete stop at the Intersection Interface.

See Turn After Stop Permitted class description for more details.

Formalization

<subclass>.(EL inside division, EL road segment, Exit conduit road segment, Exit conduit, Intersection) ->
    Turn Movement.(EL inside division, EL road segment, Exit conduit road segment, Exit conduit, Intersection)
⚠️ **GitHub.com Fallback** ⚠️