@oimlsmart/primmel-packages 0.1.0

package/oiml-r91/model/behaviors.prl

@@ -0,0 +1,142 @@
+behavior speed-measurement {
+  kind static
+  stimulus speed
+  response "Indication of the speed of the target vehicle — the metrologically relevant speed values of R 91-1, 6.3 (integer value for field/simulation tests, high-resolution value for linearity/influence/disturbance tests)."
+  ref derives-from "urn:oiml:pub:r:91-1:2025#clause-6.3"
+  verified_by { /conf/field/stationary-field-test /conf/linearities/speed-linearity }
+}
+
+behavior ego-speed-measurement {
+  kind static
+  stimulus speed
+  response "Indication of the ego speed measured by the ego speed meter (an instrument that is part of the moving speed meter, R 91-1, 3.2.2 + 3.2.5 NOTE)."
+  ref derives-from "urn:oiml:pub:r:91-1:2025#clause-6.15.3"
+  verified_by { /conf/field/ego-field-test }
+}
+
+behavior cosine-error-response {
+  kind static
+  stimulus angle
+  response "Measurement error attributable to misalignment within the specified alignment interval — shall not exceed ±0.5 % (R 91-1, 6.8)."
+  ref derives-from "urn:oiml:pub:r:91-1:2025#clause-6.8"
+  verified_by { /conf/linearities/alignment-misalignment }
+}
+
+behavior radar-spectrum-stability {
+  kind temporal
+  stimulus time
+  response "Stability of the emitted microwave frequency spectrum — peaks drift ≤ ±0.2 % over 2 years (R 91-1, 6.10)."
+  ref derives-from "urn:oiml:pub:r:91-1:2025#clause-6.10"
+  verified_by { /conf/category-doppler-radar/frequency-spectrum }
+}
+
+behavior beam-geometry-stability {
+  kind static
+  stimulus distance
+  response "Beam width within ±10 % of rated/TA-determined value (R 91-1, 6.10/6.11); FOI within ±5°, radiance profile within ±10 % envelope for scanning beams (6.11)."
+  ref derives-from "urn:oiml:pub:r:91-1:2025#clause-6.11"
+  verified_by { /conf/category-range-finding/beam-width }
+}
+
+behavior pulse-stability {
+  kind temporal
+  stimulus time
+  response "Stability of pulse time characteristics (repetition rate, intervals, modulation/sweep) for range-finding devices (R 91-1, 6.11)."
+  ref derives-from "urn:oiml:pub:r:91-1:2025#clause-6.11"
+  verified_by { /conf/category-range-finding/pulse-stability }
+}
+
+behavior detection-point-distance-drift {
+  kind temporal
+  stimulus time
+  response "Distance between detection points within ±0.5 % including drift (R 91-1, 6.12)."
+  ref derives-from "urn:oiml:pub:r:91-1:2025#clause-6.12"
+  verified_by { /conf/category-fixed-distance/detection-point-distance }
+}
+
+behavior time-synchronisation {
+  kind temporal
+  stimulus time
+  response "Time synchronisation between detection fields maintained durably with continuous checking; measurement inhibited on failure; time MPE 0.3 % (R 91-1, 6.13)."
+  ref derives-from "urn:oiml:pub:r:91-1:2025#clause-6.13"
+  verified_by { /conf/category-average-speed/time-synchronisation }
+}
+
+behavior image-quality-gating {
+  kind static
+  stimulus image-quality
+  response "No measurements produced when image quality is insufficient to guarantee MPE adherence (R 91-1, 6.14)."
+  ref derives-from "urn:oiml:pub:r:91-1:2025#clause-6.14"
+  verified_by { /conf/category-image-based/image-quality }
+}
+
+behavior temperature-effect {
+  kind influence-response
+  stimulus temperature
+  response "Error within linearity limit across the rated temperature interval (R 91-1, 6.16/6.5) and after storage at −25 °C/+70 °C (6.16)."
+  ref derives-from "urn:oiml:pub:r:91-1:2025#clause-6.16"
+  verified_by { /conf/influence/dry-heat-operating /conf/influence/cold-operating /conf/influence/damp-heat-cyclic /conf/disturbances/dry-heat-storage /conf/disturbances/cold-storage }
+}
+
+behavior humidity-effect {
+  kind influence-response
+  stimulus humidity
+  response "Performance maintained up to 95 % condensing relative humidity (R 91-1, 6.16 Table 1 B)."
+  ref derives-from "urn:oiml:pub:r:91-1:2025#clause-6.16"
+  verified_by { /conf/influence/damp-heat-cyclic }
+}
+
+behavior vibration-effect {
+  kind influence-response
+  stimulus vibration
+  response "Performance maintained under random vibration 10–150 Hz, 7 m/s² (R 91-1, 6.16 Table 1 C)."
+  ref derives-from "urn:oiml:pub:r:91-1:2025#clause-6.16"
+  verified_by { /conf/influence/vibration-random }
+}
+
+behavior voltage-effect {
+  kind influence-response
+  stimulus voltage
+  response "Performance maintained across the rated supply/battery voltage intervals (R 91-1, 6.16 Table 1 D-H)."
+  ref derives-from "urn:oiml:pub:r:91-1:2025#clause-6.16"
+  verified_by { /conf/influence/dc-mains-voltage-variation /conf/influence/ac-mains-voltage-variation /conf/influence/internal-battery-low-voltage /conf/influence/road-vehicle-battery-voltage-variations }
+}
+
+behavior disturbance-reaction {
+  kind influence-response
+  stimulus electromagnetic
+  response "Reaction to disturbances (bursts, surges, ESD, RF fields, magnetic field, load dump, cranking): fault within the fault limit or checking facilities prevent the measurement (R 91-1, 6.18/6.9)."
+  ref derives-from "urn:oiml:pub:r:91-1:2025#clause-6.18"
+  verified_by { /conf/disturbances/bursts-ac-dc-mains /conf/disturbances/surges-ac-dc-mains /conf/disturbances/electrostatic-discharges /conf/disturbances/rf-electromagnetic-fields /conf/disturbances/ac-mains-power-frequency-magnetic-field /conf/disturbances/load-dump /conf/disturbances/battery-voltage-cranking }
+}
+
+behavior ego-adjustment-drift {
+  kind temporal
+  stimulus time
+  response "Validity of the ego-wheel adjustment factor (rolling radius) checked at intervals; moving measurements inhibited when the check is missing/failed (R 91-1, 6.15.3 Note 1)."
+  ref derives-from "urn:oiml:pub:r:91-1:2025#clause-6.15.3"
+  verified_by { /conf/field/ego-field-test }
+}
+
+behavior durability {
+  kind temporal
+  stimulus time
+  response "Metrological characteristics maintained over a period of use (R 91-1, 6.19)."
+  ref derives-from "urn:oiml:pub:r:91-1:2025#clause-6.19"
+}
+
+behavior redundancy-of-measurement {
+  kind static
+  stimulus speed
+  response "Redundant measurement capability (multiple detection points or independent means) so a single point failure cannot yield a wrong speed (R 91-1, 6.20/6.12)."
+  ref derives-from "urn:oiml:pub:r:91-1:2025#clause-6.20"
+  verified_by { /conf/category-fixed-distance/redundancy }
+}
+
+behavior self_test {
+  kind procedural
+  stimulus invoke
+  response "The instrument runs its checking facility — an independent frequency source simulating speed over the whole measurement chain from detection to display/storage; a detected error, defect or significant fault gives an error message, inhibits further measurements and drives the operational state to fault (R 91-1, 6.18.4)."
+  ref derives-from "urn:oiml:pub:r:91-1:2025#clause-7.5"
+}
+

package/oiml-r91/model/capabilities.prl

@@ -0,0 +1,88 @@
+capability speed-measurement {
+  label "Speed measurement (base — every speed meter)"
+  description "Measures and displays the speed of a distant vehicle within error limits (R 91-1, 3.1.1). Base capability of every SpeedMeter."
+  has_parameters { speed_interval_min speed_interval_max speed_resolution software_version operating_temp_min operating_temp_max storage_temp_min storage_temp_max }
+  satisfies_requirements { /req/metrological/measuring-intervals /req/metrological/indicated-speed /req/metrological/mpe-stationary /req/metrological/linearity-limit /req/technical/indication-rules /req/technical/modes /req/technical/software /req/technical/sealing-inscriptions }
+  verified_by_tests { /conf/examinations/documentation-inspection /conf/linearities/speed-linearity }
+}
+
+capability vehicle-identification {
+  label "Vehicle identification certainty"
+  description "Measured speed cannot be attributed to the wrong vehicle, incl. evidence image/file rules (R 91-1, 6.6)."
+  requires { speed-measurement }
+  has_parameters { distance_interval_min distance_interval_max angle_interval_min angle_interval_max max_simultaneous_vehicles }
+  satisfies_requirements { /req/metrological/vehicle-identification /req/metrological/distance-angle-indication /req/technical/evidence-file }
+  verified_by_tests { /conf/examinations/vehicle-identification }
+}
+
+capability doppler-radar {
+  label "Doppler-radar working principle"
+  description "Virtually instantaneous microwave Doppler measurement (R 91-1, 5.3, 6.10)."
+  requires { speed-measurement }
+  has_parameters { radar_frequency_band radar_power radar_frequency_drift beam_width_h beam_width_v side_lobe_level }
+  satisfies_requirements { /req/category-doppler-radar/frequency-spectrum /req/category-doppler-radar/spectrum-stability /req/category-doppler-radar/beam-width /req/category-doppler-radar/side-lobe }
+  verified_by_tests { /conf/category-doppler-radar/frequency-spectrum /conf/category-doppler-radar/beam-width /conf/category-doppler-radar/power-spectrum }
+}
+
+capability range-finding {
+  label "Range-finding (LIDAR) working principle"
+  description "Pulse time-of-flight measurement (R 91-1, 5.3, 6.11)."
+  requires { speed-measurement }
+  has_parameters { operating_wavelength pulse_characteristic beam_width_h beam_width_v viewfinder_magnification distance_interval_max }
+  satisfies_requirements { /req/category-range-finding/wavelength /req/category-range-finding/pulse-stability /req/category-range-finding/beam-width /req/category-range-finding/max-distance-viewfinder }
+  verified_by_tests { /conf/category-range-finding/wavelength /conf/category-range-finding/pulse-stability /conf/category-range-finding/beam-width }
+}
+
+capability fixed-distance {
+  label "Fixed-distance detection points"
+  description "Speed from detection-point pairs (loops/barriers) with redundancy (R 91-1, 5.3, 6.12)."
+  requires { speed-measurement }
+  has_parameters { detection_point_distance_min detection_point_distance_max }
+  satisfies_requirements { /req/category-fixed-distance/redundancy /req/category-fixed-distance/detection-point-distance /req/category-fixed-distance/sensor-monitoring }
+  verified_by_tests { /conf/category-fixed-distance/detection-point-distance /conf/category-fixed-distance/redundancy }
+}
+
+capability average-speed {
+  label "Average (section) speed measurement"
+  description "Average speed between two remote detection fields with time synchronisation (R 91-1, 5.3, 6.13)."
+  requires { fixed-distance }
+  has_parameters { section_distance_min time_sync_error }
+  satisfies_requirements { /req/category-average-speed/detection-field-size /req/category-average-speed/image-time-evidence /req/category-average-speed/time-synchronisation }
+  verified_by_tests { /conf/category-average-speed/time-synchronisation /conf/category-average-speed/detection-field-size }
+}
+
+capability image-based {
+  label "Image-based speed measurement"
+  description "Position tracking in video/image sequences (R 91-1, 5.3, 6.14)."
+  requires { vehicle-identification }
+  satisfies_requirements { /req/category-image-based/position-marking /req/category-image-based/image-quality /req/category-image-based/position-distances }
+  verified_by_tests { /conf/category-image-based/image-quality }
+}
+
+capability moving-mode {
+  label "Moving mode of use (with ego speed meter)"
+  description "Installed on a moving vehicle; simultaneous ego speed measurement (R 91-1, 5.1, 6.15)."
+  requires { speed-measurement }
+  has_parameters { ego_speed_resolution ego_speed mpe_moving mpe_ego }
+  satisfies_requirements { /req/category-moving/mpe-moving /req/category-moving/stationary-mode /req/category-moving/ego-speed /req/category-moving/ego-adjustment }
+  verified_by_tests { /conf/field/moving-field-test /conf/field/ego-field-test }
+}
+
+capability across-the-road {
+  label "Across-the-road measurement"
+  description "Measurement across the road; reference point + centre line indicated (R 91-1, 5.5, 6.8)."
+  requires { speed-measurement }
+  has_parameters { alignment_azimuth_interval alignment_elevation_interval alignment_side_distance_interval alignment_height_interval }
+  satisfies_requirements { /req/category-across-road/reference-marking /req/category-across-road/alignment-error /req/category-across-road/cosine-verification }
+  verified_by_tests { /conf/linearities/alignment-misalignment }
+}
+
+capability disturbances-immunity {
+  label "Disturbance immunity (electrical/electromagnetic)"
+  description "Reacts to electromagnetic disturbances per R 91-1, 6.18 (fault limit or checking facilities inhibit)."
+  requires { speed-measurement }
+  has_parameters { supply_voltage_dc battery_voltage_interval fault_limit }
+  satisfies_requirements { /req/metrological/influence-quantities /req/metrological/disturbances /req/metrological/checking-facilities }
+  verified_by_tests { /conf/disturbances/bursts-ac-dc-mains /conf/disturbances/surges-ac-dc-mains /conf/disturbances/electrostatic-discharges /conf/disturbances/rf-electromagnetic-fields /conf/disturbances/load-dump /conf/disturbances/battery-voltage-cranking }
+}
+

package/oiml-r91/model/characteristics.prl

@@ -0,0 +1,27 @@
+verdict speed_error {
+  symbol "Δv"
+  behavior speed-measurement
+  quantity { kind speed unit "km/h" }
+  derive "ocl{abs(v - v_ref)}"
+  inputs { v v_ref }
+  ref derives-from "urn:oiml:pub:r:91-3:2025#clause-explanatory-notes"
+}
+
+verdict speed_error_high_res {
+  symbol "Δv_hr"
+  behavior speed-measurement
+  quantity { kind speed unit "km/h" }
+  derive "ocl{abs(v_hr - v_ref)}"
+  inputs { v_hr v_ref }
+  ref derives-from "urn:oiml:pub:r:91-1:2025#clause-6.5"
+}
+
+verdict ego_speed_error {
+  symbol "Δv_ego"
+  behavior ego-speed-measurement
+  quantity { kind speed unit "km/h" }
+  derive "ocl{abs(v_ego - v_ref)}"
+  inputs { v_ego v_ref }
+  ref derives-from "urn:oiml:pub:r:91-1:2025#clause-6.15.3"
+}
+

package/oiml-r91/model/conditions.prl

@@ -0,0 +1,37 @@
+condition_set speed-meter-reference {
+  role reference
+  description "Reference conditions for linearity and type-evaluation measurements (R 91-2, 6.2; all influence quantities minimized). Temperature and humidity shall not vary by more than 5 °C and 30 % RH within the reference intervals during a test."
+  entries {
+    temperature { value "23" unit "degC" tolerance "5" }
+    relative_humidity { value "50" unit "%" tolerance "30" }
+    supply_voltage { value "nominal, per installation conditions" unit "V" }
+  }
+  ref derives-from "urn:oiml:pub:r:91-2:2025#clause-6.2"
+}
+
+condition_set speed-meter-rated {
+  role rated
+  description "Minimum rated operating conditions every speed meter must satisfy (R 91-1, 6.16 Table 1; manufacturer may specify wider, 6.17)."
+  entries {
+    temperature { value "-10 to +50" unit "degC" note "minimum; wider per manufacturer" }
+    relative_humidity { value "up to 95, condensing" unit "%" }
+    vibration_random { value "10-150 Hz, 7 m/s², 1 m²/s³, -3 dB/octave" }
+    dc_mains_voltage { value "as specified by manufacturer" unit "V" }
+    ac_mains_voltage { value "as specified by manufacturer" unit "V" }
+    ac_mains_frequency { value "as specified by manufacturer" unit "Hz" }
+    internal_battery_voltage { value "new battery down to lowest functional per manufacturer" }
+    vehicle_battery_12v { value "9 to 16" unit "V" }
+    vehicle_battery_24v { value "16 to 32" unit "V" }
+  }
+  ref derives-from "urn:oiml:pub:r:91-1:2025#clause-6.16"
+}
+
+condition_set speed-meter-limiting {
+  role limiting
+  description "Storage conditions the instrument must withstand without permanent shift (R 91-1, 6.16)."
+  entries {
+    storage_temperature { value "-25 to +70" unit "degC" }
+  }
+  ref derives-from "urn:oiml:pub:r:91-1:2025#clause-6.16"
+}
+

package/oiml-r91/model/instrument.prl

@@ -0,0 +1,147 @@
+instrument SpeedMeter {
+  extends MeasuringInstrumentModel
+  measurand {
+    kind speed
+    description "Speed of a distant vehicle, measured and displayed for traffic enforcement cases (R 91-1, 3.1.1)."
+    context { target_object "the remote (distant) road vehicle whose speed is measured — the measurand is a property of the vehicle, not of the instrument (R 91-1, 3.1.1)" identification_method "certain vehicle identification (R 91-1, 6.6): restriction of the monitored area, detection of vehicle positions indicated as distances/angles, assignment to a predefined trigger line including lane assignment, or markings on the image evidence (6.6 NOTE); image-evidence assignment verified per R 91-2, 4.8" }
+    source { doc "urn:oiml:pub:r:91-1:2025" clause "3.1.1" }
+  }
+  component ego_speed_meter { class SpeedMeter definition "Instrument measuring the speed of the vehicle in which the moving speed meter is installed (R 91-1, 3.2.2) — part of a moving speed meter (3.2.5 NOTE), with its own MPE (6.15.3), its own fault limit (6.18.1), its own field test (R 91-2, 7.7.2) and separate influence/disturbance runs (R 91-2, 7.7.3)." source { doc "urn:oiml:pub:r:91-1:2025" clause "3.2.2" } }
+  component detection_field { class DetectionField definition "Section on the road containing all possible locations of a detection point (R 91-1, 3.3.10; detection point 3.3.9, section distance 3.3.11). Fixed-distance and average-speed meters are DISTRIBUTED instruments: two or more detection fields, time-synchronised per 6.13 (a measuring system per VIML 0.12)." source { doc "urn:oiml:pub:r:91-1:2025" clause "3.3.10" } }
+  structure struct-moving-ego {
+    predicate consists_of
+    subject MovingSpeedMeter
+    target ego_speed_meter
+    propagation { ego-speed-measurement up disturbance-reaction down }
+    note "The ego speed meter keeps its OWN limits: MPE per 6.15.3 and fault limit ±0.5 km/h per 6.18.1 — the whole's moving MPE (6.15.1, class A/B) does NOT propagate down. Verified separately: /conf/field/ego-field-test (test_subject component ego_speed_meter)."
+    source { doc "urn:oiml:pub:r:91-1:2025" clause "3.2.5" }
+  }
+  structure struct-distributed-detection-fields {
+    predicate consists_of
+    subject SpeedMeter
+    target detection_field
+    applicability { working_principle: [fixed-distance, average-speed] }
+    propagation { time-synchronisation down redundancy-of-measurement up }
+    note "Distributed detection: an average-speed meter IS a fixed-distance meter whose closest detection fields are separated by more than 50 m (3.3.4 — the average-speed implies fixed-distance subsumption on the working_principle dimension); 6.12's requirements (redundancy, detection-point distance MPE ±0.5 %, sensor monitoring) inherit per 6.13."
+    source { doc "urn:oiml:pub:r:91-1:2025" clause "6.13" }
+  }
+  definition "Instrument that measures and displays the speed of a distant vehicle within specified error limits, used for traffic enforcement cases (R 91-1, 3.1.1)."
+  note "R 91-1, clause 5 assigns EVERY speed meter to categories along five orthogonal axes (below). A single instrument may hold several categories at once (e.g. stationary AND moving mode of use implemented). Categories are therefore classification DIMENSIONS, not subclasses."
+  ref derives-from "urn:oiml:pub:r:91-1:2025#clause-3.1.1"
+  variant StationarySpeedMeter { definition "Speed meter is not moving during the measurements (R 91-1, 5.1.a)." }
+  variant MovingSpeedMeter { definition "Speed meter is installed on a vehicle which is moving during the measurements (R 91-1, 5.1.b). Requires a simultaneous ego speed measurement (R 91-1, 6.15.3)." }
+  dimension mode_of_use {
+    label "Mode of use"
+    scope model
+    description "Whether the instrument moves during measurement (R 91-1, 5.1)."
+        reference { doc "urn:oiml:pub:r:91-1:2025" clause "5.1" }
+    values {
+          stationary { description "Speed meter is not moving during the measurements" }
+          moving { description "Speed meter is installed on a moving vehicle" }
+        }
+  }
+  dimension installation_principle {
+    label "Principle of installation"
+    scope family
+    description "Mounting approach (R 91-1, 5.2)."
+        reference { doc "urn:oiml:pub:r:91-1:2025" clause "5.2" }
+    values {
+          mobile { description "Can be moved between several positions" }
+          fixed { description "Fixed at one position" }
+          portable { description "Can be used from hand or tripod" }
+        }
+  }
+  dimension working_principle {
+    label "Working principle of speed measurement"
+    scope family
+    description "Measuring technology (R 91-1, 5.3) — drives the category-specific requirements (R 91-1, 6.10-6.14)."
+        reference { doc "urn:oiml:pub:r:91-1:2025" clause "5.3" }
+    values {
+          doppler-radar { description "Virtually instantaneous Doppler-radar measurement" term_ref doppler-radar-speed-meter }
+          range-finding { description "Virtually instantaneous range-finding (e.g. LIDAR)" term_ref range-finding-speed-meter }
+          fixed-distance { description "Detection-point pairs (inductive loops, laser/light barriers)" term_ref fixed-distance-speed-meter }
+          image-based { description "Position tracking in video/image sequences" term_ref image-based-speed-meter }
+          average-speed { description "Average speed between two remote positions (section speed)" term_ref average-speed-meter implies { fixed-distance } }
+        }
+  }
+  dimension triggering {
+    label "Triggering and camera"
+    scope family
+    description "Manual (camera recommended) or automatic (camera mandatory) measurements (R 91-1, 5.4)."
+        reference { doc "urn:oiml:pub:r:91-1:2025" clause "5.4" }
+    values {
+          manual { description "Manual measurements (camera recommended)" }
+          automatic { description "Automatic measurements (camera always required)" }
+        }
+  }
+  dimension cosine_compensation {
+    label "Cosine error compensation"
+    scope model
+    description "Road orientation of the measurement (R 91-1, 5.5) — determines alignment/cosine requirements (R 91-1, 6.8)."
+        reference { doc "urn:oiml:pub:r:91-1:2025" clause "5.5" }
+    values {
+          along-the-road { description "Measurement along the road direction" term_ref along-the-road-speed-meter }
+          across-the-road { description "Measurement across the road (reference point + centre line marked)" term_ref across-the-road-speed-meter }
+        }
+  }
+  dimension metrological_class {
+    label "Class of moving speed meter"
+    scope group
+    description "Class A or B of moving MPE (R 91-1, 6.15.1) — shown on the OIML certificate."
+        reference { doc "urn:oiml:pub:r:91-1:2025" clause "6.15.1" }
+    values {
+          A { description "Moving MPE ±3 km/h ≤100 km/h, ±3 % above" }
+          B { description "Moving MPE ±7 km/h ≤100 km/h, ±7 % above" }
+        }
+  }
+  dimension climatic_environment_class {
+    label "Climatic environment class"
+    scope family
+    description "Climatic environment classification per OIML D 11 (R 91-1, 6.17.1) — determines climatic test levels."
+        reference { doc "urn:oiml:pub:r:91-1:2025" clause "6.17.1" }
+    values {
+          H1 { description "Enclosed environmentally protected environment; local climate is controlled (6.17.1.a)" }
+          H2 { description "Enclosed environmentally protected environment; local climate is not controlled (6.17.1.b)" }
+          H3 { description "Open air in moderate temperature zones (6.17.1.c)" }
+        }
+  }
+  dimension mechanical_environment_class {
+    label "Mechanical environment class"
+    scope family
+    description "Mechanical environment classification per OIML D 11 (R 91-1, 6.17.2) — determines mechanical test levels."
+        reference { doc "urn:oiml:pub:r:91-1:2025" clause "6.17.2" }
+    values {
+          M2 { description "Static speed meters, including mobile speed meters (portable and handheld) (6.17.2.a)" }
+          M3 { description "Moving speed meters (6.17.2.b)" }
+        }
+  }
+  dimension electromagnetic_environment_class {
+    label "Electromagnetic environment class"
+    scope family
+    description "Electromagnetic environment classification per OIML D 11 (R 91-1, 6.17.3) — determines electromagnetic test levels."
+        reference { doc "urn:oiml:pub:r:91-1:2025" clause "6.17.3" }
+    values {
+          E2 { description "Power provided by an AC mains supply or a DC standalone supply (6.17.3.a)" }
+          E3 { description "Power provided by the battery of a vehicle (\"vehicle DC\") (6.17.3.b)" }
+        }
+  }
+  family {
+    note "R 91 defines no explicit \"family\" clause; criteria are derived from the category axes (5.1-5.5) and the manufacturer-stated quantities the type approval pins down (frequency spectrum, beam widths, alignment intervals, rated operating conditions). Moving MPE classes A/B are modelled as model GROUPS within a family (identical characteristics other than the certified moving-MPE class)."
+  }
+  family_criteria {
+    "same working principle of speed measurement (R 91-1, 5.3) and, for Doppler-radar, same frequency band"
+    "same measurement optics/antenna design (beam geometry per R 91-1, 6.10-6.11)"
+    "same detection/construction principle (sensor arrangement, camera/trigger design)"
+    "same set of rated operating conditions per R 91-1, 6.17 (climatic/mechanical/electromagnetic classes per OIML D 11)"
+    "same legally relevant software platform (OIML D 31)"
+  }
+  family_defaults {
+    dimensions { working_principle installation_principle triggering climatic_environment_class mechanical_environment_class electromagnetic_environment_class }
+    parameters { radar_frequency_band radar_power beam_width_h beam_width_v side_lobe_level operating_temp_min operating_temp_max storage_temp_min storage_temp_max }
+  }
+  model_group {
+    definition "Within one family, a model group shares all metrological characteristics EXCEPT the certified moving-MPE class (R 91-1, 6.15.1): an A-group and a B-group of otherwise identical models. Omit groups for stationary-only families."
+    group_by metrological_class
+    identical_characteristics { working_principle mode_of_use installation_principle triggering cosine_compensation }
+  }
+}

package/oiml-r91/model/state.prl

@@ -0,0 +1,22 @@
+state_machine SpeedMeterOperational {
+  kind operational
+  initial off
+  states {
+    off
+    warming
+    ready
+    measuring
+    fault
+  }
+  transition off -> warming action power_on
+  transition warming -> ready action warm_up_complete {
+    guard "the power-on self-check of the checking facilities has completed without a detected fault (R 91-1, 7.5 — the automatic self-check runs at power-on and at least once per day) — declarative; not evaluated on fire"
+  }
+  transition ready -> measuring action vehicle_detected
+  transition measuring -> ready action measurement_complete
+  transition [off, warming, ready, measuring] -> fault action fault_detected {
+    guard "a significant fault is detected and acted upon — the instrument gives an error message, inhibits further measurements and produces no evidence file until the fault is resolved (R 91-1, 6.18.4) — declarative; not evaluated on fire"
+  }
+  transition [warming, ready, measuring] -> off action power_off
+}
+

package/oiml-r91/model/twin.prl

@@ -0,0 +1,17 @@
+subject SpeedMeter {
+  is {
+    endpoint radar_api {
+      operation get_indication { kind query serves { indication } payload { quantity_kind speed unit km/h timestamp true } }
+      operation watch_state { kind subscribe serves { state environmental_context } payload { quantity_kind state unit dimensionless timestamp true } }
+      operation run_self_test { kind invoke does { self_test } payload { quantity_kind diagnostic_report unit dimensionless timestamp true } }
+      access { public { get_indication } registered { watch_state } authority { run_self_test } }
+      profile rest_json
+    }
+  }
+  has {
+    serve sample.indication via get_indication { fresh_within 5s }
+    serve sample.state via watch_state { fresh_within 1s }
+    serve sample.environmental_context via watch_state { fresh_within 1s }
+  }
+}
+

package/oiml-r91/package.primmel

@@ -0,0 +1,14 @@
+package {
+  id oiml-r91
+  kind rec
+  title "OIML R 91:2025 — R 91 package"
+  version "2025"
+  editions { 2025 1990 }
+  baseUrn "urn:oiml:pub:r:91:2025"
+  uses { iso-iec-17000 iso-iec-17065 iso-iec-17025 iso-iec-17067 oiml-cs oiml-smart-core oiml-smart-module-specimen-governance }
+  requires { core subject-chain-entities party-entities workflow-entities evaluation-skeleton iso-iec-17000 ca-terminology-17000 iso-iec-17025 lab-requirements-17025 ca-terminology-17025 iso-iec-17065 cb-requirements-17065 ca-terminology-17065 iso-iec-17067 scheme-content-requirements-17067 ca-terminology-17067 oiml-cs cs-process-requirements cs-certificate-requirements sample-selection-rules eut-continuity-contract test-execution-entities }
+  status preview
+  default_spelling eng-Latn
+  description "Traffic speed meters — metrological and technical requirements, test procedures, test report format, and type evaluation report format for speed enforcement instruments (preview edition 2025)."
+  source { collection "sources/r091/collection.yml" parts { 1 2 3 4 } }
+}