R154 - woven-planet/opensafety-mbse GitHub Wiki

R154 / 1:1

Personality defines one Lane Change Behavior Specification

Lane Change Behavior Specification is defined for one Personality

---

There will be many components to the Personality. For now, there is only one and that is the Lane Change Behavior Specification. The specification cannot stand alone as it is part of the overall personality package.

Formalization

Lane Change Behavior Specification.Personality -> Personality.Name