R15 - woven-planet/opensafety-mbse GitHub Wiki

R15 / Generalization

Road Edge is a Left Road Edge or Right Road Edge

Since an edge is defined as the longitudinal sides of a rectangular area, these are the only geometric possibilities.

Formalization

<subclass>.Road segment -> Road Edge.Road segment

Copyright (c) 2023 Woven by Toyota, 2021,2022 Toyota Research Institute / MIT Open Source License

⚠️ **GitHub.com Fallback** ⚠️