R43 - woven-planet/opensafety-mbse GitHub Wiki
R43 / 1:Mc
Restriction Specification specifies restricted use of zero, one or many Restricted Driving Lane
Restricted Driving Lane restricted use is specified by one Restriction Specification
By definition, a Restricted Driving Lane must have at least one restriction and therefore a specification that defines them. There may be many components such as time constraints, vehicle classes and so forth bound up in the specification, but ultimately a single Restriction Specification can be composed defining exactly how a Restricted Driving Lane can be used.
Let’s say you have a simple Restriction Specification that defines a commuter lane during rush hour applying to certain vehicle classes and numbers of occupants. This is a fairly standard specification that could apply to many Driving Lanes.
The library of Restriction Specifications could be populated a variety of ways. Perhaps there is just a large library relevant to the Ego Vehicle’s current Traffic Territory and subregion. Or perhaps each sign post converted into a Restriction Specification as it is encountered and registered if it doesn’t already exist. In all of these cases it is certainly possible to have a specification on hand that doesn’t currently apply to any Driving Lanes in the Ego Vehicle’s immediate surroundings.
Formalization
Restricted Driving Lane.Restriction -> Restriction Specification.Name