R54 - woven-planet/opensafety-mbse GitHub Wiki

R54 / M:Mc-1

Conduit flows traffic across zero, one or many Intersection Interface

Intersection Interface is crossed by traffic in one or many Conduit

---

Depending on the structure of a Road Segment at an Intersection Interface, traffic flows into an Intersection, out of an Intersection or in both directions. A Two-Way Road Segment flows traffic in and out while a One-Way Road Segment flows traffic either in or out. By definition, there must be at least one Conduit flowing traffic across any given Intersection Interface.

Not all Conduits, however, flow in or out of Intersections: those on a freeway, for example.

Formalization

Conduit Interface.(Road segment, Conduit) -> Conduit.(Road segment, Role)
Conduit Interface.(Road segment, Intersection) -> Intersection Interface.(Road segment, Intersection)