R5 - woven-planet/opensafety-mbse GitHub Wiki

R5 / 1:1

One Way Road Segment has single flow of traffic defined by one Unpaired Conduit

Unpaired Conduit defines single flow of traffic on one One Way Road Segment

---

By itself, a One Road Segment is just a strip of pavement. The Unpaired Conduit is the rule that all traffic must flow in one direction within one or more adjacent Lanes on that pavement. So we are pairing a physical structure (the Road Segment) with a policy (Conduit).

Formalization

Unpaired Conduit.Road segment -> One Way Road Segment.ID