@oimlsmart/primmel-packages 0.1.0

package/oiml-r91/specification/formulas.prl

@@ -0,0 +1,10 @@
+calculation lookupMPE {
+  name "lookupMPE"
+  type table_lookup
+  label "Maximum Permissible Error for speed meters"
+  description "Looks up the MPE for a given speed per R 91-1 (6.4 stationary, 6.5 linearity, 6.15.1 moving per class, 6.15.3 ego). Absolute tiers return factor × multiplier (OCL call sites pass 1.0); relative tiers return factor × speed."
+  params { speed context_or_class multiplier }
+  lookup { key context_or_class variable speed multiplier multiplier }
+  profile profiles.mpe_tiers
+}
+

package/oiml-r91/specification/requirements/class-specific.prl

@@ -0,0 +1,308 @@
+requirement_class /req/category-across-road {
+  title "Across-the-road speed meters (R 91-1, 6.8)"
+  name "Across-the-road requirements"
+  subject "SpeedMeter"
+  applicability {
+    cosine_compensation: [across-the-road]
+  }
+}
+
+requirement /req/category-across-road/reference-marking {
+  name "Reference point and centre line"
+  statement "The reference point and the location/direction of the centre line shall be evident or clearly indicated on the housing; manual states whether cosine compensation is parameter- and/or measurement-based (R 91-1, 6.8)."
+  report_row across-the-road-requirements
+  verification { method inspection }
+  ref derives-from "urn:oiml:pub:r:91-1:2025#clause-6.8"
+}
+
+requirement /req/category-across-road/alignment-error {
+  name "Misalignment error limit"
+  statement "Within the specified alignment parameter intervals (azimuth, elevation, side distance, height), the error attributable to misalignment shall not exceed ±0.5 % (R 91-1, 6.8)."
+  binds_to { model.parameters.alignment_azimuth_interval model.parameters.alignment_elevation_interval model.parameters.alignment_side_distance_interval model.parameters.alignment_height_interval sample.test_context.speed_error }
+  limit {
+    expression "ocl{abs(speed_error) / reference_speed <= 0.005}"
+    uses { speed_error reference_speed }
+  }
+  report_row across-the-road-requirements
+  verification { method testing }
+  ref derives-from "urn:oiml:pub:r:91-1:2025#clause-6.8"
+}
+
+requirement /req/category-across-road/cosine-verification {
+  name "Cosine parameter verification"
+  statement "For parameter-based cosine compensation, the manufacturer shall describe a procedure to retrospectively verify the parameters used in each measurement (R 91-1, 6.8)."
+  report_row across-the-road-requirements
+  verification { method inspection }
+  ref derives-from "urn:oiml:pub:r:91-1:2025#clause-6.8"
+}
+
+requirement_class /req/category-doppler-radar {
+  title "Doppler-radar based speed meters (R 91-1, 6.10)"
+  name "Doppler-radar requirements"
+  subject "SpeedMeter"
+  applicability {
+    working_principle: [doppler-radar]
+  }
+}
+
+requirement /req/category-doppler-radar/frequency-spectrum {
+  name "Frequency spectrum within band"
+  statement "The frequency spectrum of the emitted microwave radiation shall be within the specified frequency band (R 91-1, 6.10)."
+  binds_to { family.parameters.radar_frequency_band }
+  report_row doppler-radar-requirements
+  verification { method testing }
+  ref derives-from "urn:oiml:pub:r:91-1:2025#clause-6.10"
+}
+
+requirement /req/category-doppler-radar/spectrum-stability {
+  name "Spectrum stability (2-year drift)"
+  statement "Frequency peaks shall not drift more than ±0.2 % within 2 years (R 91-1, 6.10)."
+  binds_to { family.parameters.radar_frequency_drift }
+  limit {
+    expression "ocl{abs(radar_frequency_drift) <= 0.2}"
+    uses { radar_frequency_drift }
+  }
+  report_row doppler-radar-requirements
+  verification { method testing }
+  ref derives-from "urn:oiml:pub:r:91-1:2025#clause-6.10"
+}
+
+requirement /req/category-doppler-radar/beam-width {
+  name "Beam width within rated values"
+  statement "Horizontal and vertical beam widths shall be within ±10 % of rated values (R 91-1, 6.10)."
+  binds_to { family.parameters.beam_width_h family.parameters.beam_width_v }
+  report_row doppler-radar-requirements
+  verification { method testing }
+  ref derives-from "urn:oiml:pub:r:91-1:2025#clause-6.10"
+}
+
+requirement /req/category-doppler-radar/side-lobe {
+  name "Side lobe limit"
+  statement "A secondary microwave beam (side lobe) shall not exceed −20 dB relative to the main beam and shall not be used for measurement (R 91-1, 6.10)."
+  binds_to { family.parameters.side_lobe_level }
+  limit {
+    expression "ocl{side_lobe_level <= -20}"
+    uses { side_lobe_level }
+  }
+  report_row doppler-radar-requirements
+  verification { method testing }
+  ref derives-from "urn:oiml:pub:r:91-1:2025#clause-6.10"
+}
+
+requirement_class /req/category-range-finding {
+  title "Range-finding based speed meters (R 91-1, 6.11)"
+  name "Range-finding requirements"
+  subject "SpeedMeter"
+  applicability {
+    working_principle: [range-finding]
+  }
+}
+
+requirement /req/category-range-finding/wavelength {
+  name "Operating wavelength"
+  statement "The manufacturer shall define the operating wavelength of the device (R 91-1, 6.11)."
+  binds_to { family.parameters.operating_wavelength }
+  report_row range-finding-requirements
+  verification { method testing }
+  ref derives-from "urn:oiml:pub:r:91-1:2025#clause-6.11"
+}
+
+requirement /req/category-range-finding/pulse-stability {
+  name "Pulse characteristic stability"
+  statement "The specified pulse characteristic (repetition rate, intervals, modulation, sweep) shall be used to test the stability of the device (R 91-1, 6.11)."
+  binds_to { family.parameters.pulse_characteristic }
+  report_row range-finding-requirements
+  verification { method testing }
+  ref derives-from "urn:oiml:pub:r:91-1:2025#clause-6.11"
+}
+
+requirement /req/category-range-finding/beam-width {
+  name "Beam width within TA values"
+  statement "Single-beam width shall be within ±10 % of the type-approval-determined value; scanning FOI within ±5°, radiance profile within ±10 % envelope, uniformity ≥ specified (R 91-1, 6.11)."
+  binds_to { family.parameters.beam_width_h family.parameters.beam_width_v }
+  report_row range-finding-requirements
+  verification { method testing }
+  ref derives-from "urn:oiml:pub:r:91-1:2025#clause-6.11"
+}
+
+requirement /req/category-range-finding/max-distance-viewfinder {
+  name "Maximum distance and viewfinder"
+  statement "Maximum specified distance ≤ distance where beam width exceeds 1.5 m; viewfinder with ≥ 2× magnification mandatory for distances over 600 m (R 91-1, 6.11)."
+  binds_to { model.parameters.distance_interval_max model.parameters.viewfinder_magnification }
+  limit {
+    expression "ocl{if distance_interval_max > 600 then viewfinder_magnification >= 2 else true endif}"
+    uses { distance_interval_max viewfinder_magnification }
+  }
+  report_row range-finding-requirements
+  verification { method inspection }
+  ref derives-from "urn:oiml:pub:r:91-1:2025#clause-6.11"
+}
+
+requirement_class /req/category-fixed-distance {
+  title "Fixed-distance speed meters (R 91-1, 6.12)"
+  name "Fixed-distance requirements"
+  subject "SpeedMeter"
+  applicability {
+    working_principle: [fixed-distance]
+  }
+}
+
+requirement /req/category-fixed-distance/redundancy {
+  name "Redundant speed measurement"
+  statement "Redundant speed measurements by three or more detection points, or other appropriate means with two points (R 91-1, 6.12)."
+  report_row fixed-distance-requirements
+  verification { method inspection }
+  ref derives-from "urn:oiml:pub:r:91-1:2025#clause-6.12"
+}
+
+requirement /req/category-fixed-distance/detection-point-distance {
+  name "Detection point distance MPE"
+  statement "The distance between detection points shall have an MPE of ±0.5 %, including drift (R 91-1, 6.12)."
+  binds_to { model.parameters.detection_point_distance_min model.parameters.detection_point_distance_max }
+  report_row fixed-distance-requirements
+  verification { method testing }
+  ref derives-from "urn:oiml:pub:r:91-1:2025#clause-6.12"
+}
+
+requirement /req/category-fixed-distance/sensor-monitoring {
+  name "Sensor signal monitoring"
+  statement "Sensor signals at the detection points shall be continuously monitored (R 91-1, 6.12)."
+  report_row fixed-distance-requirements
+  verification { method testing }
+  ref derives-from "urn:oiml:pub:r:91-1:2025#clause-6.12"
+}
+
+requirement_class /req/category-average-speed {
+  title "Average speed meters (R 91-1, 6.13)"
+  name "Average speed requirements"
+  subject "SpeedMeter"
+  applicability {
+    working_principle: [average-speed]
+  }
+}
+
+requirement /req/category-average-speed/detection-field-size {
+  name "Detection field size"
+  statement "The detection field size shall not exceed 0.5 % of the minimum section distance (R 91-1, 6.13); the maximum size is determined even at varying speeds (R 91-2, 7.3.c)."
+  binds_to { model.parameters.detection_field_size model.parameters.section_distance_min }
+  limit {
+    expression "ocl{detection_field_size <= 0.005 * section_distance_min}"
+    uses { detection_field_size section_distance_min }
+  }
+  report_row average-speed-requirements
+  verification { method testing }
+  ref derives-from "urn:oiml:pub:r:91-1:2025#clause-6.13"
+}
+
+requirement /req/category-average-speed/image-time-evidence {
+  name "Image evidence and time stamp at all fields"
+  statement "Image evidence and time stamp shall be recorded at all detection fields (R 91-1, 6.13)."
+  report_row average-speed-requirements
+  verification { method inspection }
+  ref derives-from "urn:oiml:pub:r:91-1:2025#clause-6.13"
+}
+
+requirement /req/category-average-speed/time-synchronisation {
+  name "Time synchronisation MPE"
+  statement "Time synchronisation between detection fields shall be maintained durably with continuous checking; measurement inhibited on failure; time MPE 0.3 % (R 91-1, 6.13)."
+  binds_to { sample.test_context.time_sync_error }
+  limit {
+    expression "ocl{abs(time_sync_error) <= 0.3}"
+    uses { time_sync_error }
+  }
+  report_row average-speed-requirements
+  verification { method testing }
+  ref derives-from "urn:oiml:pub:r:91-1:2025#clause-6.13"
+}
+
+requirement_class /req/category-image-based {
+  title "Image-based speed meters (R 91-1, 6.14)"
+  name "Image-based requirements"
+  subject "SpeedMeter"
+  applicability {
+    working_principle: [image-based]
+  }
+}
+
+requirement /req/category-image-based/position-marking {
+  name "Vehicle position marking"
+  statement "The positions of the measured vehicle shall be marked or described in the video/image evidences (R 91-1, 6.14)."
+  report_row image-based-requirements
+  verification { method inspection }
+  ref derives-from "urn:oiml:pub:r:91-1:2025#clause-6.14"
+}
+
+requirement /req/category-image-based/image-quality {
+  name "Image quality gating"
+  statement "No measurements shall be produced if the image quality is not sufficient to guarantee adherence to the listed MPE (R 91-1, 6.14)."
+  report_row image-based-requirements
+  verification { method testing }
+  ref derives-from "urn:oiml:pub:r:91-1:2025#clause-6.14"
+}
+
+requirement /req/category-image-based/position-distances {
+  name "Position distances specification"
+  statement "The vehicle positions (and their distances) used to determine speed shall be specified by the manufacturer (R 91-1, 6.14)."
+  report_row image-based-requirements
+  verification { method inspection }
+  ref derives-from "urn:oiml:pub:r:91-1:2025#clause-6.14"
+}
+
+requirement_class /req/category-moving {
+  title "Moving speed meters (R 91-1, 6.15)"
+  name "Moving requirements"
+  subject "SpeedMeter"
+  applicability {
+    mode_of_use: [moving]
+  }
+}
+
+requirement /req/category-moving/mpe-moving {
+  name "MPE for moving measurements (class A/B)"
+  statement "Class A: ±3 km/h ≤100 km/h, ±3 % above. Class B: ±7 km/h ≤100 km/h, ±7 % above. The OIML certificate shall indicate the class (R 91-1, 6.15.1)."
+  binds_to { group.classification.metrological_class group.parameters.mpe_moving sample.test_context.speed_error }
+  limit {
+    expression "ocl{abs(speed_error) <= lookupMPE(reference_speed, metrological_class, 1.0)}"
+    relative_to reference_speed
+    uses { speed_error reference_speed metrological_class }
+  }
+  report_row mpe-moving
+  verification { method testing }
+  ref derives-from "urn:oiml:pub:r:91-1:2025#clause-6.15.1"
+}
+
+requirement /req/category-moving/stationary-mode {
+  name "Stationary mode availability"
+  statement "Moving speed meters shall be usable in stationary mode for metrological control with stationary limits (R 91-1, 6.15.2); automatic mode switching or measurement inhibition required."
+  report_row stationary-mode
+  verification { method inspection }
+  ref derives-from "urn:oiml:pub:r:91-1:2025#clause-6.15.2"
+}
+
+requirement /req/category-moving/ego-speed {
+  name "Ego speed meter MPE"
+  statement "Ego speed measured simultaneously (resolution ≥ 0.1 km/h evidence file; 0.01 km/h test interface). Ego MPE: ±1 km/h ≤100 km/h, ±1 % above, identical for classes A and B (R 91-1, 6.15.3). Relative units bind to the absolute value of the reference ego speed (R 91-1, 3.5.2 NOTE)."
+  binds_to { group.parameters.mpe_ego sample.test_context.ego_speed sample.test_context.reference_ego_speed }
+  limit {
+    relative_to reference_speed
+    quantity { kind speed unit "km/h" }
+    accepts {
+      verdict ego_speed_error
+      op lte
+      limit "ocl{lookupMPE(reference_ego_speed, 'ego', 1.0)}"
+    }
+    uses { ego_speed_error reference_ego_speed }
+  }
+  report_row ego-speed-meter
+  verification { method testing }
+  ref derives-from "urn:oiml:pub:r:91-1:2025#clause-6.15.3"
+}
+
+requirement /req/category-moving/ego-adjustment {
+  name "Ego adjustment factor validity"
+  statement "The ego-wheel adjustment factor (rolling radius) shall be checked at regular intervals; moving measurements are inhibited when the check is missing or failed (R 91-1, 6.15.3 Note 1)."
+  report_row ego-speed-meter
+  verification { method testing }
+  ref derives-from "urn:oiml:pub:r:91-1:2025#clause-6.15.3"
+}
+

package/oiml-r91/specification/requirements/metrological.prl

@@ -0,0 +1,176 @@
+requirement_class /req/metrological {
+  title "Metrological requirements (R 91-1, clause 6)"
+  name "Metrological requirements"
+  description "Measuring intervals, indication, error limits, identification, influence and disturbance behavior."
+  subject "SpeedMeter"
+}
+
+requirement /req/metrological/measuring-intervals {
+  name "Measuring intervals"
+  statement "The specified speed measuring interval shall cover at least 20 km/h to 180 km/h. If further measurands are involved (distance, angle), their intervals shall be specified. No indication outside the intervals (R 91-1, 6.1)."
+  binds_to { model.parameters.speed_interval_min model.parameters.speed_interval_max }
+  limit {
+    expression "ocl{speed_interval_min <= 20 and speed_interval_max >= 180}"
+    uses { speed_interval_min speed_interval_max }
+  }
+  report_row measuring-intervals
+  verification { method definitional }
+  ref derives-from "urn:oiml:pub:r:91-1:2025#clause-6.1"
+}
+
+requirement /req/metrological/indicated-speed {
+  name "Indicated speed value"
+  statement "Speed values shall be indicated as integers in km/h; all indications show the same result; |integer − high-resolution| < 1 km/h; driving direction clearly indicated (R 91-1, 6.2)."
+  binds_to { model.parameters.speed_resolution }
+  limit {
+    expression "ocl{abs(indicated_speed - high_res_speed) < 1}"
+    uses { indicated_speed high_res_speed }
+  }
+  report_row indicated-speed-value
+  verification { method testing }
+  ref derives-from "urn:oiml:pub:r:91-1:2025#clause-6.2"
+}
+
+requirement /req/metrological/relevant-speed-values {
+  name "Metrologically relevant speed values"
+  statement "Integer value governs field/simulation tests; high-resolution value governs linearity/influence/disturbance tests; high-resolution ego value governs ego tests (R 91-1, 6.3). Reference speed used unrounded."
+  report_row relevant-speed-value
+  verification { method definitional }
+  ref derives-from "urn:oiml:pub:r:91-1:2025#clause-6.3"
+}
+
+requirement /req/metrological/mpe-stationary {
+  name "MPE for stationary measurements"
+  statement "±3 km/h at speeds up to and including 100 km/h, and ±3 % above, within rated operating conditions in all metrological controls (R 91-1, 6.4). Relative units bind to the absolute value of the reference (R 91-1, 3.5.2 NOTE)."
+  binds_to { group.parameters.mpe_stationary sample.test_context.speed_error }
+  limit {
+    relative_to reference_speed
+    quantity { kind speed unit "km/h" }
+    accepts {
+      verdict speed_error
+      op lte
+      limit "ocl{lookupMPE(reference_speed, 'stationary', 1.0)}"
+    }
+    uses { speed_error reference_speed }
+  }
+  report_row mpe-stationary
+  verification { method testing }
+  ref derives-from "urn:oiml:pub:r:91-1:2025#clause-6.4"
+}
+
+requirement /req/metrological/linearity-limit {
+  name "Linearity error limit for stationary measurements"
+  statement "±1 km/h up to and including 100 km/h, ±1 % above, with influence quantities minimized or one isolated factor examined; the high-resolution speed value is used to calculate the measurement error (R 91-1, 6.5). Relative units bind to the absolute value of the reference (R 91-1, 3.5.2 NOTE)."
+  binds_to { group.parameters.linearity_error_limit sample.test_context.speed_error_high_res }
+  limit {
+    relative_to reference_speed
+    quantity { kind speed unit "km/h" }
+    accepts {
+      verdict speed_error_high_res
+      op lte
+      limit "ocl{lookupMPE(reference_speed, 'linearity', 1.0)}"
+    }
+    uses { speed_error_high_res reference_speed }
+  }
+  report_row linearity-error-limit
+  verification { method testing }
+  ref derives-from "urn:oiml:pub:r:91-1:2025#clause-6.5"
+}
+
+requirement /req/metrological/vehicle-identification {
+  name "Certainty of vehicle identification"
+  statement "Measured speed cannot be attributed to the wrong vehicle. Image evidence (if recorded) of the vehicle and surroundings is added to the evidence file at a specified moment. No evidence file is produced when the vehicle was outside the certain-identification detection field (R 91-1, 6.6)."
+  binds_to { model.parameters.distance_interval_max model.parameters.angle_interval_max }
+  report_row vehicle-identification
+  verification { method testing }
+  ref derives-from "urn:oiml:pub:r:91-1:2025#clause-6.6"
+}
+
+requirement /req/metrological/distance-angle-indication {
+  name "Indicated distance and angle values"
+  statement "Distance values indicated in metres with resolution ≥ 0.1 m; angle values in degrees with resolution ≥ 0.1°; manual specifies the reference moment (R 91-1, 6.7)."
+  report_row distance-angle-values
+  applicability {
+    working_principle: [range-finding, image-based, average-speed]
+  }
+  verification { method inspection }
+  ref derives-from "urn:oiml:pub:r:91-1:2025#clause-6.7"
+}
+
+requirement /req/metrological/influence-quantities {
+  name "Measurement error under influence quantities"
+  statement "MPEs for stationary and moving measurements hold regardless of vehicle shape, traffic density, road conditions, environment or other influence quantities (R 91-1, 6.9)."
+  binds_to { group.parameters.mpe_stationary }
+  report_row influence-quantities-error
+  verification { method testing }
+  ref derives-from "urn:oiml:pub:r:91-1:2025#clause-6.9"
+}
+
+requirement /req/metrological/checking-facilities {
+  name "Checking facilities"
+  statement "The speed meter shall incorporate checking facilities which prevent measurements if necessary (R 91-1, 6.9, 6.13)."
+  report_row checking-facilities
+  verification { method testing }
+  ref derives-from "urn:oiml:pub:r:91-1:2025#clause-6.9"
+}
+
+requirement /req/metrological/operating-conditions-minimum {
+  name "Minimum rated operating conditions"
+  statement "Errors shall not exceed the MPEs under the Table 1 minimum rated operating conditions (temperature −10…+50 °C, humidity ≤95 % cond., random vibration, supply/battery voltages); storage −25…+70 °C (R 91-1, 6.16)."
+  binds_to { family.parameters.operating_temp_min family.parameters.operating_temp_max family.parameters.storage_temp_min family.parameters.storage_temp_max }
+  limit {
+    expression "ocl{operating_temp_min <= -10 and operating_temp_max >= 50 and storage_temp_min <= -25 and storage_temp_max >= 70}"
+    uses { operating_temp_min operating_temp_max storage_temp_min storage_temp_max }
+  }
+  report_row roc-minimum
+  verification { method testing }
+  ref derives-from "urn:oiml:pub:r:91-1:2025#clause-6.16"
+}
+
+requirement /req/metrological/operating-conditions-declared {
+  name "Rated operating conditions declaration"
+  statement "The manufacturer shall state rated operating conditions per R 91-1, 6.17: speed interval + direction; identification distance/angle/vehicle count; climatic, mechanical and electromagnetic classes per OIML D 11; power supply reference values (R 91-1, 6.17)."
+  binds_to { model.classification.mode_of_use model.classification.cosine_compensation }
+  report_row rated-operating-conditions
+  verification { method inspection }
+  ref derives-from "urn:oiml:pub:r:91-1:2025#clause-6.17"
+}
+
+requirement /req/metrological/disturbances {
+  name "Disturbances — fault limit and reaction"
+  statement "During disturbances the fault shall not exceed the fault limit value, or the instrument's checking facilities shall prevent the measurement; on cessation it shall recover correct operation (R 91-1, 6.18). Acceptable significant faults (6.18.2: mutually independent simultaneous causes, or faults implying no evidence file is produced — documented in the test report); events treated as significant faults (6.18.3: malfunction that might assign a speed to the wrong vehicle; disturbance corrupting a stored evidence file); reaction alternative (6.18.4: no significant fault, or fault detected with no result displayed and no evidence file produced)."
+  binds_to { group.parameters.fault_limit }
+  limit {
+    expression "ocl{abs(fault) <= group.parameters.fault_limit}"
+    notes "Fault limit values per R 91-1, 6.18.1: ±1 km/h (stationary, and moving in stationary mode); ±0.5 km/h (ego speed meters) — valued per group via the fault_limit attribute; high-resolution speed value used per 6.18.1."
+    uses { observable:fault group.parameters.fault_limit }
+  }
+  report_row disturbances
+  verification { method testing }
+  ref derives-from "urn:oiml:pub:r:91-1:2025#clause-6.18"
+}
+
+requirement /req/metrological/durability {
+  name "Durability"
+  statement "The speed meter shall maintain its metrological characteristics over a period of use (R 91-1, 6.19)."
+  report_row durability
+  verification { method testing }
+  ref derives-from "urn:oiml:pub:r:91-1:2025#clause-6.19"
+}
+
+requirement /req/metrological/redundancy {
+  name "Redundancy of the measuring process"
+  statement "The measuring process shall be redundant such that failure of a single element cannot produce an erroneous speed value (R 91-1, 6.20)."
+  report_row redundancy
+  verification { method inspection }
+  ref derives-from "urn:oiml:pub:r:91-1:2025#clause-6.20"
+}
+
+requirement /req/metrological/compliance-presumption {
+  name "Presumption of compliance"
+  statement "Speed meters are presumed NOT to comply with the requirements 6.1 to 6.20 if they fail any one of the tests specified in Part 2 (R 91-1, 6.21)."
+  report_row presumption-of-compliance
+  verification { method definitional }
+  ref derives-from "urn:oiml:pub:r:91-1:2025#clause-6.21"
+}
+

package/oiml-r91/specification/requirements/technical.prl

@@ -0,0 +1,173 @@
+requirement_class /req/technical {
+  title "Technical requirements (R 91-1, clause 7)"
+  name "Technical requirements"
+  description "Protection, indications, modes, evidence file, interface, software, inscriptions, manual, sealing."
+  subject "SpeedMeter"
+}
+
+requirement /req/technical/metrological-protection {
+  name "High level metrological protection"
+  statement "Metrologically relevant functions and data shall be protected against intentional or unintentional interference (R 91-1, 7.1)."
+  report_row metrological-protection
+  verification { method inspection }
+  ref derives-from "urn:oiml:pub:r:91-1:2025#clause-7.1"
+}
+
+requirement /req/technical/indication-rules {
+  name "Indications and controls"
+  statement "Indications and controls shall be unambiguous and not confusable with the speed value (R 91-1, 6.2, 7.2)."
+  binds_to { model.parameters.speed_resolution }
+  report_row indication-of-results
+  verification { method inspection }
+  ref derives-from "urn:oiml:pub:r:91-1:2025#clause-7.2"
+}
+
+requirement /req/technical/result-manual {
+  name "Availability of the result of a manual measurement"
+  statement "Speed meters performing manual measurements shall indicate the measured speed accompanied by at least the local time of measurement with a resolution of at least one second. If no evidence files are stored, the indication shall remain visible and any further measurements shall be inhibited until the indication is cleared explicitly by an action of the operator (R 91-1, 7.2.1)."
+  report_row manual-measurement-result
+  applicability {
+    triggering: [manual]
+  }
+  verification { method inspection }
+  ref derives-from "urn:oiml:pub:r:91-1:2025#clause-7.2.1"
+}
+
+requirement /req/technical/result-automatic {
+  name "Availability of the result of an automatic measurement"
+  statement "Speed meters performing automatic measurements shall record and store evidence files for later processing and use (R 91-1, 7.2.2)."
+  report_row automatic-measurement-result
+  applicability {
+    triggering: [automatic]
+  }
+  verification { method inspection }
+  ref derives-from "urn:oiml:pub:r:91-1:2025#clause-7.2.2"
+}
+
+requirement /req/technical/evidence-storage {
+  name "Storing evidence files"
+  statement "Speed meters that store evidence files shall provide secure and medium-term storage (e.g. for three months) of data for further use in legal proceedings. Evidence files shall be stored automatically after the measurement, accompanied by all relevant information necessary for future legally relevant use. Software protection shall secure integrity and authenticity; the private key shall not be readable except by the cryptographic routines (R 91-1, 7.4)."
+  report_row storing-evidence-files
+  verification { method inspection }
+  ref derives-from "urn:oiml:pub:r:91-1:2025#clause-7.4"
+}
+
+requirement /req/technical/checking-facilities {
+  name "Checking facilities (self-check)"
+  statement "Self-checking shall be carried out each time the speed meter is switched on, and at least once per day when performing automatic measurements. Manual measurement: type N non-automatic checking facility (OIML D 11, 3.19.2); automatic: type I intermittent automatic checking facility (D 11, 3.19.1.2). The check shall cover the whole measurement chain from detection to display/storage, with an independent frequency source; on detected error, defect or significant fault the speed meter shall give an error message and inhibit further measurements (R 91-1, 7.5)."
+  binds_to { sample.test_context.self_check_error }
+  limit {
+    expression "ocl{abs(self_check_error) <= 0.01 * abs(simulated_speed)}"
+    notes "Self-check MPE is ±1 % for ALL simulated speed values, i.e. also below 100 km/h (R 91-1, 7.5) — R 91's only pure-relative, tierless error limit."
+    uses { self_check_error simulated_speed }
+  }
+  report_row checking-facilities
+  verification { method testing }
+  ref derives-from "urn:oiml:pub:r:91-1:2025#clause-7.5"
+}
+
+requirement /req/technical/alignment-confirmation {
+  name "Alignment parameters of mobile speed meters"
+  statement "If a mobile speed meter has metrologically relevant alignment parameters, the user shall be requested to confirm their values after each start-up and before speed enforcement is possible. It shall be possible to check the correct alignment during and after the measurement (R 91-1, 7.6)."
+  report_row alignment-parameters
+  applicability {
+    installation_principle: [mobile]
+  }
+  verification { method inspection }
+  ref derives-from "urn:oiml:pub:r:91-1:2025#clause-7.6"
+}
+
+requirement /req/technical/aiming-device {
+  name "Aiming device"
+  statement "Any aiming device shall be of robust construction such that its orientation is maintained under disturbances. The manufacturer shall describe a procedure in the manual to verify the orientation of any aiming device (R 91-1, 7.7)."
+  report_row aiming-device
+  verification { method inspection }
+  ref derives-from "urn:oiml:pub:r:91-1:2025#clause-7.7"
+}
+
+requirement /req/technical/modes {
+  name "Modes of operation"
+  statement "Standby, enforcement and test modes shall be distinct; the enforcement mode is the preferred mode for metrological control (R 91-1, 7.8.1). The test mode shall be protected against unintended use; test results shall be identical to enforcement-mode results and all differences shall be documented (R 91-1, 7.8.2)."
+  report_row modes
+  verification { method inspection }
+  ref derives-from "urn:oiml:pub:r:91-1:2025#clause-7.8"
+}
+
+requirement /req/technical/evidence-file {
+  name "Evidence file"
+  statement "An electronic evidence file shall be produced for every enforcement measurement (R 91-1, 6.6, 7.2.2). At least the items of 7.3 a–l SHOULD be recorded in it (speed value(s), ego speed (moving), driving direction, date/time, site/alignment parameters, instrument identification, image evidence where applicable); national regulations can prescribe a different list (7.3 NOTE). The file shall be secured to ensure integrity, security and authenticity (7.3)."
+  binds_to { sample.test_context.indicated_speed sample.test_context.ego_speed }
+  report_row evidence-file
+  verification { method inspection }
+  ref derives-from "urn:oiml:pub:r:91-1:2025#clause-7.3"
+}
+
+requirement /req/technical/test-interface {
+  name "Test interface"
+  statement "A software or hardware test interface shall allow reading measurement signals/data and inserting test signals (R 91-1, 7.9; high-resolution and ego values at full resolution, 6.15.3)."
+  report_row test-interface
+  verification { method inspection }
+  ref derives-from "urn:oiml:pub:r:91-1:2025#clause-7.9"
+}
+
+requirement /req/technical/software {
+  name "Software identification and protection (OIML D 31)"
+  statement "Legally relevant software shall be identified per OIML D 31, 6.2.1 and protected against intervention/misuse per D 31, 6.2.3-6.2.4 (R 91-1, 7.10)."
+  binds_to { model.parameters.software_version }
+  report_row software
+  verification { method inspection }
+  ref derives-from "urn:oiml:pub:r:91-1:2025#clause-7.10"
+}
+
+requirement /req/technical/sealing-inscriptions {
+  name "Sealing and descriptive markings"
+  statement "Sealing means per R 91-1, 7.13 and inscriptions per 7.11 shall be provided; verification marks per 7.14."
+  binds_to { model.identity.manufacturer model.identity.model_designation }
+  report_row sealing
+  verification { method inspection }
+  ref derives-from "urn:oiml:pub:r:91-1:2025#clause-7.13"
+}
+
+requirement /req/technical/manual {
+  name "Operating manual"
+  statement "A manual shall specify operation, alignment procedures, cosine-parameter verification (6.8), ego-speed maintenance (6.15.3) and permitted vehicle changes (R 91-1, 7.12)."
+  report_row manual
+  verification { method inspection }
+  ref derives-from "urn:oiml:pub:r:91-1:2025#clause-7.12"
+}
+
+requirement_class /req/controls {
+  title "Metrological controls (R 91-1, clause 8)"
+  name "Metrological controls"
+  description "Type approval, initial verification, subsequent verification, in-service inspection (R 91-1, 8.1-8.4)."
+  subject "SpeedMeter"
+}
+
+requirement /req/controls/type-approval {
+  name "Type approval — documentation, units, inspection, tests"
+  statement "Type approval requires documentation per 8.1.1, submission of units per 8.1.2, visual inspection per 8.1.3 and the type evaluation test programme per 8.1.4 (R 91-1, 8.1). The 8.1.4 programme maps onto the conformance groups: (a) metrological field test → /conf/field; (b) metrological laboratory tests by traffic simulation (optional) → /conf/field dynamic-performance + acceleration-test; (c) influence factor and disturbance tests → /conf/influence + /conf/disturbances; (d) category-specific tests → /conf/category-*; (e) durability tests or other estimation methods → /conf/examinations/durability-assessment; (f) software tests → /conf/software."
+  verification { method definitional }
+  ref derives-from "urn:oiml:pub:r:91-1:2025#clause-8.1"
+}
+
+requirement /req/controls/initial-verification {
+  name "Initial verification"
+  statement "Initial verification covers visual inspection, tests and assessment of conformity, then marking and securing (R 91-1, 8.2)."
+  verification { method definitional }
+  ref derives-from "urn:oiml:pub:r:91-1:2025#clause-8.2"
+}
+
+requirement /req/controls/subsequent-verification {
+  name "Subsequent verification"
+  statement "Subsequent verification covers tests per R 91-1, 8.3."
+  verification { method definitional }
+  ref derives-from "urn:oiml:pub:r:91-1:2025#clause-8.3"
+}
+
+requirement /req/controls/in-service-inspection {
+  name "In-service inspection"
+  statement "In-service inspection covers tests per R 91-1, 8.4."
+  verification { method definitional }
+  ref derives-from "urn:oiml:pub:r:91-1:2025#clause-8.4"
+}
+