R25 - woven-planet/opensafety-mbse GitHub Wiki

R25 / 1:Mc

Exclusion Lane encloses zero, one or many Island

Island is enclosed in exactly one Exclusion Lane

---

Any number of Islands (separated by longitudinal space) may be observable in the same Exclusion Lane. If an Exclusion Lane is simply marked by paint, there will be no Island at all.

An Island, by definition, exists only within an Exclusion Lane.

Formalization

Island.(Inside division, Outside division, Road segment) ->
    Exclusion Lane. (Inside division, Outside division, Road segment)