@oimlsmart/primmel-packages 0.1.0

package/acme-md3xx/model/md350.prl

@@ -0,0 +1,317 @@
+# ─────────────────────────────────────────────────────────────────────
+# ACME MD-350 — the product model (TODO.v2/08's R 129 leg; TODO.roadmap/
+# 36; doctrine ch. 15 §15.2; the acme-lc500/acme-rs180 pattern). ***
+# FICTIONAL DEMO PRODUCT. *** A manufacturer authors their product model
+# exactly as any subject model — the full IS/HAS/DOES anatomy:
+#   IS   design parameters, the classification values stated on R 129's
+#        category axes (measurement principle, instrument category,
+#        power supply, object capability — R 129-2, Annex A, Table A.1),
+#        promises, the endpoint declaration, metadata, provenance (the
+#        type-evaluation certificate — the promises-as-verified
+#        provenance, §15.2);
+#   HAS  exhibited attributes (the per-axis indications, the reference
+#        dimensions, the calculated quantities), the characteristics the
+#        standard's tests compute, the operational state, the serve
+#        bindings;
+#   DOES the optical scanning behavior, the influence responses (speed,
+#        temperature, ambient light), the warm-up and the self-test
+#        (the checking facility, R 129-1, 5.6).
+#
+# The MD-350 is an optical, automatic, AC-mains conveyor dimensioner
+# for freight terminals: a light-section scanning frame over the
+# conveyor measures the length, width and height of the smallest
+# enclosing rectangular box of each object in relative movement
+# (R 129-1, 2.1.8 automatic; 2.1.10/2.1.11 V_max/V_min), computes the
+# dimensional volume and the dimensional weight (DW = DV / F,
+# R 129-1, 2.2.4/2.2.7 with the factor of 2.2.8), and serves all of it
+# over its twin endpoint.
+# Irregular-shaped objects are allowed (R 129-1, 5.3 — the instrument
+# is NOT marked rectangular-only).
+#
+# Quantity-typed design parameters carry their literal as the qualifier
+# string "<value> <unit>" — the design-time vocabulary a consumer's
+# abstract import validates against (§15.3 mode 1, computed by the
+# platform's product-coverage gate). The parameter ids are R 129's own
+# vocabulary (d, Min/Max per axis, V_min/V_max, F, T_min/T_max, U_nom):
+# "our x is your x" is the mapping's whole point.
+# ─────────────────────────────────────────────────────────────────────
+
+quantity_register si {
+  kind length { dimensions { L 1 } si_unit m description "Length of one axis of the object's smallest enclosing rectangular box." }
+  unit m { symbol "m" label "metre" kind length factor 1 }
+  unit cm { symbol "cm" label "centimetre" kind length factor 0.01 }
+  unit d { symbol "d" label "scale interval (d = 0.5 cm on the MD-350)" kind length factor 0.005 }
+  kind volume { dimensions { L 3 } si_unit "m³" description "Dimensional volume of the object's smallest enclosing rectangular box." }
+  unit cm3 { symbol "cm³" label "cubic centimetre" kind volume factor 0.000001 }
+  kind mass { dimensions { M 1 } si_unit kg description "Dimensional weight (DW = DV / F)." }
+  unit kg { symbol "kg" label "kilogram" kind mass factor 1 }
+  kind speed { dimensions { L 1 T -1 } si_unit "m/s" description "Speed of relative movement between object and instrument (the conveyor speed)." }
+  unit m/s { symbol "m/s" label "metre per second" kind speed factor 1 }
+  kind temperature { dimensions { Θ 1 } si_unit K description "Temperature." }
+  unit degC { symbol "°C" label "degree Celsius" kind temperature offset 273.15 }
+  kind voltage { dimensions { I -1 L 2 M 1 T -3 } si_unit V description "Electric voltage." }
+  unit V { symbol "V" label "volt" kind voltage factor 1 }
+  kind illuminance { si_unit lx description "Illuminance of the ambient light on the measuring area." }
+  unit lx { symbol "lx" label "lux" kind illuminance factor 1 }
+  kind volume-per-mass { dimensions { L 3 M -1 } si_unit "m³/kg" description "Conversion factor kind — dimensional volume per unit mass (DW = DV / F, R 129-1, 2.2.8)." }
+  unit cm3/kg { symbol "cm³/kg" label "cubic centimetre per kilogram" kind volume-per-mass factor 0.000001 }
+  kind dimensionless { si_unit "1" }
+  unit dimensionless { label "dimensionless" kind dimensionless }
+}
+
+attribute_definition indication_length {
+  symbol "L"
+  name "Indicated length"
+  definition "The indicated length of the object's smallest enclosing rectangular box (along the conveyor), rounded to the scale interval d — the served live reading (the product's answer to R 129-1, 2.2.3/5.2.1)."
+  quantity_kind length
+  unit cm
+  value_type QuantityValue
+  origin measured
+  scope sample
+  category metrological
+}
+
+attribute_definition indication_width {
+  symbol "W"
+  name "Indicated width"
+  definition "The indicated width of the object's smallest enclosing rectangular box (across the conveyor), rounded to the scale interval d — the served live reading (R 129-1, 2.2.3)."
+  quantity_kind length
+  unit cm
+  value_type QuantityValue
+  origin measured
+  scope sample
+  category metrological
+}
+
+attribute_definition indication_height {
+  symbol "H"
+  name "Indicated height"
+  definition "The indicated height of the object's smallest enclosing rectangular box (vertical), rounded to the scale interval d — the served live reading (R 129-1, 2.2.3)."
+  quantity_kind length
+  unit cm
+  value_type QuantityValue
+  origin measured
+  scope sample
+  category metrological
+}
+
+attribute_definition dim_volume {
+  symbol "DV"
+  name "Dimensional volume"
+  definition "The dimensional volume, derived from the indicated measured dimensions rounded to the applicable scale interval and in mathematical agreement with L × W × H (the product's answer to R 129-1, 2.2.4/4.1.6)."
+  quantity_kind volume
+  unit "cm3"
+  value_type QuantityValue
+  origin measured
+  scope sample
+  category metrological
+}
+
+attribute_definition dim_weight {
+  symbol "DW"
+  name "Dimensional weight"
+  definition "The dimensional weight, DW = DV / F with the marked conversion factor F (the product's answer to R 129-1, 2.2.7/4.1.6)."
+  quantity_kind mass
+  unit kg
+  value_type QuantityValue
+  origin measured
+  scope sample
+  category metrological
+}
+
+state_machine md_operational {
+  kind operational
+  initial off
+  states { off warming ready measuring fault }
+  transition off -> warming action power_on
+  transition warming -> ready action warmed
+  transition ready -> measuring action start_measurement
+  transition measuring -> ready action stop_measurement
+  transition [off, warming, ready, measuring] -> fault action fault_detected
+}
+
+behavior optical_scanning {
+  kind static
+  stimulus object-dimensions
+  response "The light-section measurement: laser-line triangulation across the measuring frame plus the beam-cutting object detection along the conveyor produce the cross-section samples from which the length, width and height of the smallest enclosing rectangular box are computed (the product's answer to R 129-1, 2.1.1; optical principle, R 129-2, Annex A, Table A.1)."
+}
+
+behavior speed_response {
+  kind dynamic
+  stimulus object-speed
+  response "The indication stays within the maximum permissible errors over the declared measuring-speed range V_min to V_max (0.1–1.5 m/s) — the along-track sampling resolution scales with the conveyor speed (the product's answer to R 129-2, Annex A, the speed-of-movement test)."
+}
+
+behavior temperature_response {
+  kind influence-response
+  stimulus temperature
+  response "The indication stays within the maximum permissible errors over the rated temperature range −10…+40 °C — the measuring-frame geometry compensation holds (the product's answer to R 129-1, 4.2.1(b))."
+}
+
+behavior ambient_light_response {
+  kind influence-response
+  stimulus ambient-light
+  response "The optical measuring chain stays within the maximum permissible errors under ambient light from 100 lx to 1500 lx (the product's answer to R 129-1, 4.4 and the R 129-2, A.4.1 ambient-light test)."
+}
+
+behavior warm_up {
+  kind temporal
+  stimulus time
+  response "As soon as the instrument indicates, prints, stores or transmits results after switch-on, the indications are within the mpe — verified at 0, 5, 15 and 30 min (the product's answer to R 129-1, 5.1.7)."
+}
+
+behavior self_test {
+  kind procedural
+  stimulus invoke
+  response "The checking facilities run: a detected significant fault makes the instrument inoperative automatically (the automatic-instrument reaction of R 129-1, 5.6.1) — the operational state machine drives to fault and measurement is refused."
+}
+
+subject MD350 {
+  is {
+    metadata {
+      name "MD-350 multi-dimensional measuring instrument model"
+      designation "MD-350 optical automatic conveyor dimensioner (light-section, irregular-allowed, AC mains)"
+    }
+    provenance {
+      manufacturer "ACME Logistics Systems GmbH (FICTIONAL — demo manufacturer)"
+      certificate "R129/2026-DE-26-042 (FICTIONAL — demo value)"
+      type_evaluation_report "ACME-TE-2026-114 (FICTIONAL — demo value)"
+      promises_as_verified "±1 d per axis over 5–250 × 5–120 × 5–180 cm, 0.1–1.5 m/s and −10…+40 °C (the demo certificate's content — the claims as verified, distinct from the claims as declared, §15.2)"
+    }
+    design_parameters {
+      d : "0.5 cm"
+      min_dimension : "5 cm"
+      max_length : "250 cm"
+      max_width : "120 cm"
+      max_height : "180 cm"
+      v_min : "0.1 m/s"
+      v_max : "1.5 m/s"
+      t_min : "-10 degC"
+      t_max : "40 degC"
+      u_nom : "230 V"
+      conv_factor : "5000 cm3/kg"
+    }
+    promises {
+      mpe_within_length {
+        target error_hold_length
+        level { value 1 unit d }
+        conditions ocl{self.temperature >= rated.t_min and self.temperature <= rated.t_max}
+        statement "The length axis error of indication stays within ±1.0 d (d = 0.5 cm) across the 5–250 cm range, for initial and subsequent verification (R 129-1, 4.1.2)."
+        verified_by { oiml-r129#/req/metrological/mpe }
+      }
+      mpe_within_width {
+        target error_hold_width
+        level { value 1 unit d }
+        conditions ocl{self.temperature >= rated.t_min and self.temperature <= rated.t_max}
+        statement "The width axis error of indication stays within ±1.0 d across the 5–120 cm range, for initial and subsequent verification (R 129-1, 4.1.2)."
+        verified_by { oiml-r129#/req/metrological/mpe }
+      }
+      mpe_within_height {
+        target error_hold_height
+        level { value 1 unit d }
+        conditions ocl{self.temperature >= rated.t_min and self.temperature <= rated.t_max}
+        statement "The height axis error of indication stays within ±1.0 d across the 5–180 cm range, for initial and subsequent verification (R 129-1, 4.1.2)."
+        verified_by { oiml-r129#/req/metrological/mpe }
+      }
+      volume_agrees {
+        target volume_consistency
+        statement "The served dimensional volume is derived from the indicated dimensions rounded to the scale interval and is in mathematical agreement with L × W × H; the dimensional weight applies the marked conversion factor (R 129-1, 4.1.6)."
+        verified_by { oiml-r129#/req/metrological/calculated-quantities }
+      }
+      speed_envelope {
+        target speed_response
+        level range { min 0.1 max 1.5 unit m/s }
+        statement "Measurements at any relative speed in the V_min…V_max range 0.1–1.5 m/s stay within the mpe (R 129-2, Annex A, the speed-of-movement test at both bounds)."
+        verified_by { oiml-r129#/req/object-limitations/speed-movement }
+      }
+      temp_envelope {
+        target temperature_response
+        level range { min -10 max 40 unit degC }
+        conditions "over the rated operating conditions (mains 230 V −15 %/+10 %, 85 % RH at the upper temperature limit)"
+        statement "The rated temperature envelope spans −10…+40 °C — the R 129-1, 4.2.1(b) default envelope."
+        verified_by { oiml-r129#/req/electronic/rated-operating-conditions }
+      }
+      light_immunity {
+        target ambient_light_response
+        level range { min 100 max 1500 unit lx }
+        statement "The optical chain stays within the mpe under ambient light from 100 lx to 1500 lx (R 129-1, 4.4; the R 129-2, A.4.1 test range)."
+        verified_by { oiml-r129#/req/electronic/light-acoustic-effects }
+      }
+      warm_up_within {
+        target warm_up
+        statement "From the first indication after switch-on the instrument operates within the mpe — verified at 0, 5, 15 and 30 min (R 129-1, 5.1.7)."
+        verified_by { oiml-r129#/req/technical/warm-up }
+      }
+      self_check_reacts {
+        target self_test
+        statement "A detected significant fault makes the instrument inoperative automatically — the automatic-instrument reaction (R 129-1, 5.6.1)."
+        verified_by { oiml-r129#/req/technical/checking-significant-faults }
+      }
+      fault_annunciation {
+        target self_test
+        statement "Under disturbances either no significant fault occurs (a fault ≤ d is allowed) or the fault is detected and acted upon — the state machine drives to fault and measurement is refused (R 129-1, 4.3.1)."
+        verified_by { oiml-r129#/req/electronic/disturbance-resistance }
+      }
+      irregular_objects {
+        target optical_scanning
+        statement "Irregular-shaped objects are measured as the smallest enclosing rectangular box — the instrument is not restricted to rectangular boxes and carries no such marking (R 129-1, 5.3/A.2)."
+        verified_by { oiml-r129#/req/object-limitations/object-shape }
+      }
+      surface_robustness {
+        target optical_scanning
+        statement "Objects from shiny white to matt black and of varying surface finish are measured within the marked limitations (R 129-1, A.3)."
+        verified_by { oiml-r129#/req/object-limitations/surface-reflectivity }
+      }
+      orientation_robustness {
+        target optical_scanning
+        statement "The measurement does not depend on a particular orientation or position of the object on the conveyor — results stay within the mpe across orientations (R 129-1, A.4)."
+        verified_by { oiml-r129#/req/object-limitations/orientation-position }
+      }
+    }
+    endpoint md350_api {
+      operation get_dimensions { kind query serves { indication_length indication_width indication_height } payload { quantity_kind length unit cm timestamp true } }
+      operation get_volume { kind query serves { dim_volume } payload { quantity_kind volume unit cm3 timestamp true } }
+      operation get_dim_weight { kind query serves { dim_weight } payload { quantity_kind mass unit kg 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_dimensions get_volume get_dim_weight } registered { watch_state } authority { run_self_test } }
+      profile rest_json
+    }
+  }
+  has {
+    attributes {
+      indication_length : length test_dependent
+      indication_width : length test_dependent
+      indication_height : length test_dependent
+      reference_length : length test_dependent
+      reference_width : length test_dependent
+      reference_height : length test_dependent
+      dim_volume : volume test_dependent
+      dim_weight : mass test_dependent
+      conveyor_speed : speed test_dependent
+    }
+    dimensions { measurement_principle : optical instrument_category : automatic power_supply : ac-mains object_capability : irregular-allowed }
+    characteristics {
+      error_hold_length e_l = ocl{self.indication_length - self.reference_length}
+      error_hold_width e_w = ocl{self.indication_width - self.reference_width}
+      error_hold_height e_h = ocl{self.indication_height - self.reference_height}
+      volume_consistency dv = ocl{self.dim_volume - self.indication_length * self.indication_width * self.indication_height}
+    }
+    state md_operational
+    serve sample.indication_length via get_dimensions { fresh_within 2s }
+    serve sample.indication_width via get_dimensions { fresh_within 2s }
+    serve sample.indication_height via get_dimensions { fresh_within 2s }
+    serve sample.dim_volume via get_volume { fresh_within 2s }
+    serve sample.dim_weight via get_dim_weight { fresh_within 2s }
+    serve sample.state via watch_state { fresh_within 1s }
+    serve sample.environmental_context via watch_state { fresh_within 1s }
+  }
+  does {
+    behavior optical_scanning
+    behavior speed_response
+    behavior temperature_response
+    behavior ambient_light_response
+    behavior warm_up
+    behavior self_test
+  }
+}