@oimlsmart/primmel-packages 0.1.0

package/oiml-r91/execution/forms/report-tests/06-03-software-hardware-support.prl

@@ -0,0 +1,24 @@
+form r91-3/report-6-3 {
+  name "6.3 Support of hardware features [mandatory]"
+  description "R 91-3 test report, section 6.3 — the software-examination record (Support of hardware features, procedure per OIML R 91-2, 8.3.3): the D 31 hardware-support items (detection of significant defects; durability protection; time stamps) — the 30-item OIML D 31:2023 software matrix of the report"
+  data_class FormInstance#data
+  header r91-3/header-a
+  conformance_process /conf/software/software-examination
+  section "R 91-3, p. 75"
+  requirements { /req/technical/software }
+  ref report-format "urn:oiml:pub:r:91-3:2025#clause-6-3-support-of-hardware-features-mandatory-oiml-r-91-2-8-3-3"
+  ref report-format "urn:oiml:pub:r:91-3:2025#clause-6-3-support-of-hardware-features-mandatory-oiml-r-91-2-8-3-3/table-1"
+  ref test-procedure "urn:oiml:pub:r:91-2:2025#clause-8.3.3"
+  report_rows { field matrix item_key item_no }
+  field matrix : array {
+    label "Software-examination matrix (OIML D 31:2023)"
+    description "the D 31 hardware-support items (detection of significant defects; durability protection; time stamps)"
+    required true
+    subform_ref software-matrix-row { }
+  }
+  field remarks : text {
+    
+  }
+  pass_fail { criteria "Every applicable OIML D 31:2023 matrix item of R 91-2, 8.3.3 records Pass." pass_if "ocl{matrix->forAll(r | r.passed)}" }
+}
+

package/oiml-r91/execution/forms/report-tests/06-04-software-separation.prl

@@ -0,0 +1,25 @@
+form r91-3/report-6-4 {
+  name "6.4 Specification and separation of legally relevant parts and specification of interfaces [optional]"
+  description "R 91-3 test report, section 6.4 — the software-examination record (Specification and separation of legally relevant parts and specification of interfaces, procedure per OIML R 91-2, 8.3.4): the D 31 separation/interface items (separation of components and software parts; shared indication; storage of data; protective interfaces; identification and traceability; hardware/software environment) — the 30-item OIML D 31:2023 software matrix of the report"
+  data_class FormInstance#data
+  header r91-3/header-a
+  conformance_process /conf/software/software-examination
+  section "R 91-3, pp. 76-77"
+  requirements { /req/technical/software }
+  ref report-format "urn:oiml:pub:r:91-3:2025#clause-6-4-specification-and-separation-of-legally-relevant-parts-and-specification-of-interfaces-optional-oiml-r-91-2-8-3-1"
+  ref report-format "urn:oiml:pub:r:91-3:2025#clause-6-4-specification-and-separation-of-legally-relevant-parts-and-specification-of-interfaces-optional-oiml-r-91-2-8-3-1/table-1"
+  ref report-format "urn:oiml:pub:r:91-3:2025#clause-6-4-specification-and-separation-of-legally-relevant-parts-and-specification-of-interfaces-optional-oiml-r-91-2-8-3-1/table-2"
+  ref test-procedure "urn:oiml:pub:r:91-2:2025#clause-8.3.4"
+  report_rows { field matrix item_key item_no }
+  field matrix : array {
+    label "Software-examination matrix (OIML D 31:2023)"
+    description "the D 31 separation/interface items (separation of components and software parts; shared indication; storage of data; protective interfaces; identification and traceability; hardware/software environment)"
+    required true
+    subform_ref software-matrix-row { }
+  }
+  field remarks : text {
+    
+  }
+  pass_fail { criteria "Every applicable OIML D 31:2023 matrix item of R 91-2, 8.3.4 records Pass." pass_if "ocl{matrix->forAll(r | r.passed)}" }
+}
+

package/oiml-r91/execution/forms/report-tests/06-05-software-maintenance.prl

@@ -0,0 +1,24 @@
+form r91-3/report-6-5 {
+  name "6.5 Maintenance and re-configuration [optional]"
+  description "R 91-3 test report, section 6.5 — the software-examination record (Maintenance and re-configuration, procedure per OIML R 91-2, 8.3.5): the D 31 maintenance items (verified update; traced update) — the 30-item OIML D 31:2023 software matrix of the report"
+  data_class FormInstance#data
+  header r91-3/header-a
+  conformance_process /conf/software/software-examination
+  section "R 91-3, p. 78"
+  requirements { /req/technical/software }
+  ref report-format "urn:oiml:pub:r:91-3:2025#clause-6-5-maintenance-and-re-configuration-optional-oiml-r-91-2-8-3-1"
+  ref report-format "urn:oiml:pub:r:91-3:2025#clause-6-5-maintenance-and-re-configuration-optional-oiml-r-91-2-8-3-1/table-1"
+  ref test-procedure "urn:oiml:pub:r:91-2:2025#clause-8.3.5"
+  report_rows { field matrix item_key item_no }
+  field matrix : array {
+    label "Software-examination matrix (OIML D 31:2023)"
+    description "the D 31 maintenance items (verified update; traced update)"
+    required true
+    subform_ref software-matrix-row { }
+  }
+  field remarks : text {
+    
+  }
+  pass_fail { criteria "Every applicable OIML D 31:2023 matrix item of R 91-2, 8.3.5 records Pass." pass_if "ocl{matrix->forAll(r | r.passed)}" }
+}
+

package/oiml-r91/execution/forms/report-tests/07-general-remarks.prl

@@ -0,0 +1,11 @@
+form r91-3/report-general-remarks {
+  name "General remarks"
+  description "R 91-3 test report, closing page — additional remarks on the whole test report"
+  data_class FormInstance#data
+  section "R 91-3, p. 79"
+  ref report-format "urn:oiml:pub:r:91-3:2025#clause-general-remarks"
+  field additional_remarks : text {
+    label "Additional remarks"
+  }
+}
+

package/oiml-r91/execution/forms/shared/header-a.prl

@@ -0,0 +1,63 @@
+form r91-3/header-a {
+  name "Test form page header"
+  description "The heading block of every R 91-3 test form page — Application no. / Type designation / Observer — with the environmental-conditions box (Temp., Rel. h., Date, Time at start/end) filled according to the Explanatory notes (continued) example; the name(s) or symbol(s) of the unit(s) used to express test results are specified on each form (R 91-3, Explanatory notes (continued))."
+  data_class FormInstance#data
+  section "R 91-3, p. 8"
+  ref report-format "urn:oiml:pub:r:91-3:2025#clause-explanatory-notes-continued"
+  ref report-format "urn:oiml:pub:r:91-3:2025#clause-explanatory-notes-continued/table-1"
+  field application_no : string {
+    label "Application no."
+    required true
+    bind application.application_number
+  }
+  field instrument_type_designation : string {
+    label "Type designation"
+    description "Type designation of the speed meter under test (named instrument_type_designation — the C47 artifact/evidence firewall: the enforcement-evidence-file artifact carries its own type_designation contract field)"
+    required true
+    bind model.model_designation
+  }
+  field observer : string {
+    label "Observer"
+    required true
+  }
+  field temperature_start : number {
+    label "Temp. at start"
+    unit "degC"
+    required true
+    measurement_method direct
+  }
+  field temperature_end : number {
+    label "Temp. at end"
+    unit "degC"
+    required true
+    measurement_method direct
+  }
+  field humidity_start : number {
+    label "Rel. h. at start"
+    unit "%"
+    measurement_method direct
+  }
+  field humidity_end : number {
+    label "Rel. h. at end"
+    unit "%"
+    measurement_method direct
+  }
+  field date_start : string {
+    label "Date at start (yyyy-mm-dd)"
+    required true
+    measurement_method direct
+  }
+  field date_end : string {
+    label "Date at end (yyyy-mm-dd)"
+    measurement_method direct
+  }
+  field time_start : string {
+    label "Time at start (hh:mm:ss)"
+    measurement_method direct
+  }
+  field time_end : string {
+    label "Time at end (hh:mm:ss)"
+    measurement_method direct
+  }
+}
+

package/oiml-r91/execution/subforms/software-matrix-row.prl

@@ -0,0 +1,30 @@
+subform software-matrix-row {
+  type object
+  description "One row of the R 91-3 software-examination matrix (# | Requirement | OIML D 31:2023 | Pass | Fail | Remark) — one D 31 examination item with its verdict"
+  field item_no : integer {
+    label "#"
+    required true
+  }
+  field requirement_text : string {
+    label "Requirement"
+    required true
+  }
+  field d31_ref : string {
+    label "OIML D 31:2023"
+    required true
+  }
+  field passed : boolean {
+    label "Pass"
+    required true
+    measurement_method evaluated
+  }
+  field failed : boolean {
+    label "Fail"
+    required true
+    measurement_method evaluated
+  }
+  field remark : text {
+    label "Remark"
+  }
+}
+

package/oiml-r91/execution/subforms/speed-measurement-row.prl

@@ -0,0 +1,38 @@
+subform speed-measurement-row {
+  type object
+  description "One results-table row of an R 91-3 test form (Measurement No. | v [km/h] | vref [km/h] | Δv [km/h] | MPE [km/h] | Pass | Fail) — the recorded evidence of one simulated/measured speed point; the error and limit columns are the laboratory's recorded values (the governing error-limit math is the conformance test's)"
+  field measurement_no : integer {
+    label "Measurement No."
+    required true
+  }
+  field indicated_speed : number {
+    label "v [km/h]"
+    unit "km/h"
+    required true
+    measurement_method direct
+  }
+  field reference_speed : number {
+    label "vref [km/h]"
+    unit "km/h"
+    required true
+    measurement_method direct
+  }
+  field speed_error : number {
+    label "Δv [km/h]"
+    unit "km/h"
+    measurement_method direct
+  }
+  field mpe : number {
+    label "MPE [km/h]"
+    unit "km/h"
+    measurement_method direct
+  }
+  field row_passed : boolean {
+    label "Row result"
+    required true
+    measurement_method evaluated
+    true_label "Pass"
+    false_label "Fail"
+  }
+}
+

package/oiml-r91/layers.prl

@@ -0,0 +1,46 @@
+# Layer composition (TODO.refactor/17) — GENERATED, do not edit.
+# This package consumes the following layer files verbatim (include lines
+# below); primmel-ts expands include directives before parsing. Rec files
+# that OVERLAY a layer file ship the composed result and are not included.
+#   include "../oiml-smart-core/entities/comments.prl"
+#   include "../oiml-smart-core/entities/cs-operations.prl"
+#   include "../oiml-smart-core/entities/cs-participants.prl"
+#   include "../oiml-smart-core/entities/engagement.prl"
+#   include "../oiml-smart-core/entities/module-b.prl"
+#   include "../oiml-smart-core/entities/operated-schemes.prl"
+#   include "../oiml-smart-core/entities/parties.prl"
+#   include "../oiml-smart-core/entities/payment-records.prl"
+#   include "../oiml-smart-module-specimen-governance/entities/test-execution.prl"
+#   include "../oiml-smart-core/entities/verification.prl"
+#   include "../iso-iec-17065/specification/requirements/body.prl"
+#   include "../oiml-cs/specification/requirements/cs.prl"
+#   include "../iso-iec-17025/specification/requirements/lab.prl"
+#   include "../iso-iec-17067/specification/requirements/scheme-content.prl"
+#   include "../oiml-smart-core/specification/competence-kinds.prl"
+#   include "../oiml-smart-core/specification/predicates.prl"
+#   include "../oiml-smart-core/specification/constraints.prl"
+#   include "../oiml-cs/specification/discrepancies.prl"
+#   include "../oiml-smart-core/specification/invariants.prl"
+#   include "../oiml-smart-core/evaluation/state-machines.prl"
+#   include "../oiml-smart-core/evaluation/roles.prl"
+include "../oiml-smart-core/entities/comments.prl"
+include "../oiml-smart-core/entities/cs-operations.prl"
+include "../oiml-smart-core/entities/cs-participants.prl"
+include "../oiml-smart-core/entities/engagement.prl"
+include "../oiml-smart-core/entities/module-b.prl"
+include "../oiml-smart-core/entities/operated-schemes.prl"
+include "../oiml-smart-core/entities/parties.prl"
+include "../oiml-smart-core/entities/payment-records.prl"
+include "../oiml-smart-module-specimen-governance/entities/test-execution.prl"
+include "../oiml-smart-core/entities/verification.prl"
+include "../iso-iec-17065/specification/requirements/body.prl"
+include "../oiml-cs/specification/requirements/cs.prl"
+include "../iso-iec-17025/specification/requirements/lab.prl"
+include "../iso-iec-17067/specification/requirements/scheme-content.prl"
+include "../oiml-smart-core/specification/competence-kinds.prl"
+include "../oiml-smart-core/specification/predicates.prl"
+include "../oiml-smart-core/specification/constraints.prl"
+include "../oiml-cs/specification/discrepancies.prl"
+include "../oiml-smart-core/specification/invariants.prl"
+include "../oiml-smart-core/evaluation/state-machines.prl"
+include "../oiml-smart-core/evaluation/roles.prl"

package/oiml-r91/model/artifacts.prl

@@ -0,0 +1,29 @@
+artifact_definition enforcement-evidence-file {
+  name "Enforcement evidence file"
+  description "The electronic evidence file a speed meter produces for every enforcement measurement (R 91-1, 6.6, 7.2.2). Content per R 91-1, 7.3 items a–l: date/time and location of measurement, unique measurement identification, measured speed with driving direction, speed limit (stationary), type designation, serial number, photo/video evidence, vehicle-identification aids, instrument configuration (site/alignment parameters), ego speed (moving), and the moving/stationary indication. The file is secured to ensure integrity, security and authenticity (7.3); national regulations can prescribe a different list (7.3 NOTE)."
+  content_contract {
+    fields {
+      measurement_timestamp : datetime "Date and time of measurement (7.3 a)."
+      measurement_location : string "Location of measurement — the site (7.3 b)."
+      measurement_id : string "Unique identification of the measurement, e.g. current sequence number (7.3 c)."
+      measured_speed : speed "Speed of the measured vehicle, resolution 1 km/h (7.3 d)."
+      driving_direction : string "Indication of the driving direction of the measured vehicle (7.3 d)."
+      speed_limit : speed optional "Speed limit — stationary speed meters only (7.3 e)."
+      type_designation : string "Type designation of the speed meter (7.3 f)."
+      instrument_serial_number : string "Serial number of the speed meter (7.3 g)."
+      image_evidence : media optional "One or several photos or video files of the measured vehicle and its surroundings, where applicable (7.3 h; recorded at a specified moment, 6.6)."
+      vehicle_identification_aids : structure optional "Additional information relevant for vehicle identification — lane indicator, crosshair, marker — when the meter can cover several vehicles (7.3 i, 6.6)."
+      site_alignment_parameters : structure "Configuration of the speed meter — site and alignment parameters (7.3 j; alignment per 6.8)."
+      recorded_ego_speed : speed optional "Measured ego speed, resolution at least 0.1 km/h — moving measurements only (7.3 k, 6.15.3)."
+      measurement_mode : string optional "Indication whether the measurement was moving or stationary — moving speed meters allowing stationary enforcement measurements (7.3 l)."
+    }
+    structure "One record per enforcement measurement; image evidence embedded or referenced; the file is secured for integrity, security and authenticity (7.3)."
+    media {
+      image_evidence { kinds { jpeg png mp4 } role "Photo or video of the measured vehicle and its surroundings at a specified moment (7.3 h, 6.6)" }
+    }
+  }
+  produced_when per_measurement
+  retention "Secure and medium-term storage for further use in legal proceedings, e.g. three months (R 91-1, 7.4); authenticity/integrity checked on display, private key never readable (7.4)."
+  ref derives-from "urn:oiml:pub:r:91-1:2025#clause-6.6, 7.2.2, 7.3"
+}
+