R11 - woven-planet/opensafety-mbse GitHub Wiki

R11 / Generalization

Driving Lane is a Restricted Driving Lane or Unrestricted Driving Lane


You could make the argument that all Driving Lanes are restricted in some way with a complete lack of restrictions being the simple case. In practical usage, though, most Driving Lanes are unrestricted with restrictions being the exception. It makes sense to separate out the case where special attention must be applied just as humans do when they drive normally.

Formalization

<subclass>.(Inside division, Outside division, Road segment) ->
    Driving Lane.(Inside division, Outside division, Road segment)
⚠️ **GitHub.com Fallback** ⚠️