R35 - woven-planet/opensafety-mbse GitHub Wiki

R35 / 1:Mc

Barrier Type impedes traversal of zero, one or many Hard Division Transition

Hard Division Transition traversal is impeded by exactly one Barrier Type

---

A Hard Division is hard precisely because it is reinforced by some kind of barrier. In the case where no known Barrier Type is encountered, some catchall Barrier Type such as ‘unknown’ can be assigned. So every Hard Division Transition is established by a Barrier Type.

A Barrier Type can be defined without necessarily being encountered in the immediate environment, or in fact, ever. And certainly the same Barrier Type, say ‘curb’ might exist in multiple Lane Divisions or even in the same Lane Division if you look far enough ahead in the Road Segment.

Formalization

Hard Division Transition.Barrier -> Barrier.Name