R223 - woven-planet/opensafety-mbse GitHub Wiki

R223 1:Mc

Surface Change Event drives over surface according to exactly one Surface Driving Specification

Surface Driving Specification defines driving policy on zero, one or many Surface Change Event

---

There may be any number of distances up ahead in a given Driving Lane where the surface conditions change significantly. Each is associated with a specification that matches, as closely as possible, the anticipated conditions. Driving on an icy patch is different than driving on loose gravel or a metal surface.

Formalization

Surface Change Event.Surface -> Driving Specification.Name