@memoarchitect/ontology 0.8.22 → 0.10.9

package/examples/gpca-pump/memo.package.yaml

@@ -0,0 +1,3 @@
+name: gpca-pump
+entrypoint: model/catalog/project.sysml
+include: [model]

package/examples/gpca-pump/methodology/gpca_profiles.sysml

@@ -31,8 +31,10 @@ package memo_examples_gpca_pump_methodology_gpca_profiles {
     private import memo_core_enumerations::*;
     private import memo_rules_closure::*;
 
+    private import memo_core_common::*;
+    private import memo_core_common::MemoIdentity;
     part gpcaMethodDefinition : MethodologyDefinition {
-        attribute :>> id = "METH-GPCA-001";
+        @MemoIdentity { :>> providedId = "METH-GPCA-001"; }
         attribute :>> name = "GPCAPrototypeMethodology";
         attribute :>> version = "0.6.5";
         attribute :>> domain = "medical device modeling";

package/examples/gpca-pump/model/catalog/gpca_analysis.sysml

@@ -4,9 +4,11 @@ package memo_examples_gpca_pump_gpca_analysis {
     private import memo_assurance_safety_risk_analysis::*;
     private import memo_core_enumerations::*;
 
+    private import memo_core_common::*;
+    private import memo_core_common::MemoIdentity;
     // ── FMEA (IEC 60812) ────────────────────────────────────────
     part fmeaDelivery : FMEAWorksheet {
-        attribute :>> id = "FMEA-001";
+        @MemoIdentity { :>> providedId = "FMEA-001"; }
         attribute :>> name = "DrugDeliveryFMEA";
         attribute :>> analysisScope = "Fluid path, pump mechanism, delivery sensors, and patient pendant";
         attribute :>> standardReference = "IEC 60812";
@@ -15,7 +17,7 @@ package memo_examples_gpca_pump_gpca_analysis {
         attribute :>> reviewer = "Safety review board";
     }
     part fmMotorRunaway : FailureMode {
-        attribute :>> id = "FM-001";
+        @MemoIdentity { :>> providedId = "FM-001"; }
         attribute :>> name = "PumpMotorRunaway";
         attribute :>> failureModeKind = FailureModeKind::unintendedFunction;
         attribute :>> effect = "Excess drug delivered to the patient beyond the prescribed rate.";
@@ -28,7 +30,7 @@ package memo_examples_gpca_pump_gpca_analysis {
         attribute :>> description = "Motor steps faster than commanded, delivering more drug than prescribed.";
     }
     part fmAirSensorSilent : FailureMode {
-        attribute :>> id = "FM-002";
+        @MemoIdentity { :>> providedId = "FM-002"; }
         attribute :>> name = "AirSensorFailsSilent";
         attribute :>> failureModeKind = FailureModeKind::lossOfFunction;
         attribute :>> effect = "Air embolism reaches the patient undetected.";
@@ -41,7 +43,7 @@ package memo_examples_gpca_pump_gpca_analysis {
         attribute :>> description = "Air-in-line sensor reports 'no air' regardless of actual line state.";
     }
     part fmOcclusionDrift : FailureMode {
-        attribute :>> id = "FM-003";
+        @MemoIdentity { :>> providedId = "FM-003"; }
         attribute :>> name = "OcclusionSensorDrift";
         attribute :>> failureModeKind = FailureModeKind::degradedFunction;
         attribute :>> effect = "Occluded line is detected late or not at all, interrupting therapy.";
@@ -54,7 +56,7 @@ package memo_examples_gpca_pump_gpca_analysis {
         attribute :>> description = "Pressure sensor drifts so occlusions are detected late or not at all.";
     }
     part fmStuckBolusButton : FailureMode {
-        attribute :>> id = "FM-004";
+        @MemoIdentity { :>> providedId = "FM-004"; }
         attribute :>> name = "BolusButtonStuckClosed";
         attribute :>> failureModeKind = FailureModeKind::unintendedFunction;
         attribute :>> effect = "Repeated unrequested boluses are delivered.";
@@ -67,7 +69,7 @@ package memo_examples_gpca_pump_gpca_analysis {
         attribute :>> description = "Pendant switch shorted, continuously asserting bolus requests.";
     }
     part fmBatteryEarlyDepletion : FailureMode {
-        attribute :>> id = "FM-005";
+        @MemoIdentity { :>> providedId = "FM-005"; }
         attribute :>> name = "BatteryDepletesEarly";
         attribute :>> failureModeKind = FailureModeKind::prematureFunction;
         attribute :>> effect = "Pump loses power during transport, stopping therapy.";
@@ -80,7 +82,7 @@ package memo_examples_gpca_pump_gpca_analysis {
         attribute :>> description = "Aged battery sustains less than the specified backup duration during transport.";
     }
     part feOverdose : FailureEffect {
-        attribute :>> id = "FE-001";
+        @MemoIdentity { :>> providedId = "FE-001"; }
         attribute :>> name = "ExcessDrugDelivered";
         attribute :>> effectLevel = FailureEffectLevelKind::endEffect;
         attribute :>> effectOnPatient = "opioid overdose, respiratory depression";
@@ -89,7 +91,7 @@ package memo_examples_gpca_pump_gpca_analysis {
         attribute :>> severity = SeverityKind::catastrophic;
     }
     part feAirDelivered : FailureEffect {
-        attribute :>> id = "FE-002";
+        @MemoIdentity { :>> providedId = "FE-002"; }
         attribute :>> name = "AirReachesPatientLine";
         attribute :>> effectLevel = FailureEffectLevelKind::endEffect;
         attribute :>> effectOnPatient = "risk of vascular air embolism";
@@ -98,7 +100,7 @@ package memo_examples_gpca_pump_gpca_analysis {
         attribute :>> severity = SeverityKind::catastrophic;
     }
     part feTherapyInterrupted : FailureEffect {
-        attribute :>> id = "FE-003";
+        @MemoIdentity { :>> providedId = "FE-003"; }
         attribute :>> name = "TherapyInterruptedUnnoticed";
         attribute :>> effectLevel = FailureEffectLevelKind::endEffect;
         attribute :>> effectOnPatient = "untreated pain; possible post-occlusion bolus";
@@ -107,7 +109,7 @@ package memo_examples_gpca_pump_gpca_analysis {
         attribute :>> severity = SeverityKind::serious;
     }
     part fcMotorDriverFault : FailureCause {
-        attribute :>> id = "FCA-001";
+        @MemoIdentity { :>> providedId = "FCA-001"; }
         attribute :>> name = "MotorDriverElectronicsFault";
         attribute :>> causeCategory = FailureCauseCategoryKind::design;
         attribute :>> causeDescription = "Driver stage latch-up or firmware step-rate computation fault";
@@ -115,7 +117,7 @@ package memo_examples_gpca_pump_gpca_analysis {
         attribute :>> preventionMethod = "independent flow cross-check; watchdog";
     }
     part fcTransducerAging : FailureCause {
-        attribute :>> id = "FCA-002";
+        @MemoIdentity { :>> providedId = "FCA-002"; }
         attribute :>> name = "UltrasonicTransducerAging";
         attribute :>> causeCategory = FailureCauseCategoryKind::wear;
         attribute :>> causeDescription = "Air sensor transducer sensitivity degrades with age";
@@ -123,7 +125,7 @@ package memo_examples_gpca_pump_gpca_analysis {
         attribute :>> preventionMethod = "POST sensor plausibility check; periodic maintenance";
     }
     part fcPendantAbuse : FailureCause {
-        attribute :>> id = "FCA-003";
+        @MemoIdentity { :>> providedId = "FCA-003"; }
         attribute :>> name = "PendantCableAbuse";
         attribute :>> causeCategory = FailureCauseCategoryKind::misuse;
         attribute :>> causeDescription = "Cable crushed in bed rail shorts the switch line";
@@ -131,28 +133,28 @@ package memo_examples_gpca_pump_gpca_analysis {
         attribute :>> preventionMethod = "stuck-input detection (REQ-X-09); strain-relieved cable";
     }
     part dmFlowCrossCheck : DetectionMethod {
-        attribute :>> id = "DM-001";
+        @MemoIdentity { :>> providedId = "DM-001"; }
         attribute :>> name = "CommandedVsMeasuredFlowComparison";
         attribute :>> methodKind = DetectionMethodKind::monitoring;
         attribute :>> detectionPoint = "every execution step during ACTIVE therapy";
         attribute :>> confidence = DetectionKind::high;
     }
     part dmPostSensorCheck : DetectionMethod {
-        attribute :>> id = "DM-002";
+        @MemoIdentity { :>> providedId = "DM-002"; }
         attribute :>> name = "POSTSensorPlausibilityCheck";
         attribute :>> methodKind = DetectionMethodKind::selfDiagnostic;
         attribute :>> detectionPoint = "power-on and periodic in-service test";
         attribute :>> confidence = DetectionKind::moderate;
     }
     part dmStuckInputMonitor : DetectionMethod {
-        attribute :>> id = "DM-003";
+        @MemoIdentity { :>> providedId = "DM-003"; }
         attribute :>> name = "StuckInputMonitor";
         attribute :>> methodKind = DetectionMethodKind::monitoring;
         attribute :>> detectionPoint = "bolus input asserted beyond 60 s";
         attribute :>> confidence = DetectionKind::high;
     }
     part fmeaActionAirSensor : FMEAAction {
-        attribute :>> id = "FMA-001";
+        @MemoIdentity { :>> providedId = "FMA-001"; }
         attribute :>> name = "AddRedundantAirDetectionWindow";
         attribute :>> actionKind = FMEAActionKind::designChange;
         attribute :>> responsible = "hardware lead";
@@ -163,7 +165,7 @@ package memo_examples_gpca_pump_gpca_analysis {
 
     // ── Fault tree (overdose top event) ─────────────────────────
     part ftaOverdose : FaultTree {
-        attribute :>> id = "FTA-001";
+        @MemoIdentity { :>> providedId = "FTA-001"; }
         attribute :>> name = "OverdoseFaultTree";
         attribute :>> standardReference = "IEC 61025";
         attribute :>> analysisScope = "Drug over-delivery during ACTIVE therapy";
@@ -172,13 +174,13 @@ package memo_examples_gpca_pump_gpca_analysis {
         attribute :>> revisionDate = "2026-07-03";
     }
     part fteOverdoseTop : FaultTreeNode {
-        attribute :>> id = "FTE-001";
+        @MemoIdentity { :>> providedId = "FTE-001"; }
         attribute :>> name = "ExcessDrugDeliveredTopEvent";
         attribute :>> eventKind = FaultTreeEventKind::topEvent;
         attribute :>> description = "Delivered volume exceeds prescribed limits";
     }
     part fteMotorRunaway : FaultTreeNode {
-        attribute :>> id = "FTE-002";
+        @MemoIdentity { :>> providedId = "FTE-002"; }
         attribute :>> name = "MotorRunawayBasicEvent";
         attribute :>> eventKind = FaultTreeEventKind::basicEvent;
         attribute :>> failureRate = 0.000001;
@@ -186,7 +188,7 @@ package memo_examples_gpca_pump_gpca_analysis {
         attribute :>> description = "Pump motor delivers faster than commanded (FM-001)";
     }
     part fteCrossCheckFails : FaultTreeNode {
-        attribute :>> id = "FTE-003";
+        @MemoIdentity { :>> providedId = "FTE-003"; }
         attribute :>> name = "FlowCrossCheckUnavailable";
         attribute :>> eventKind = FaultTreeEventKind::basicEvent;
         attribute :>> failureRate = 0.00001;
@@ -194,7 +196,7 @@ package memo_examples_gpca_pump_gpca_analysis {
         attribute :>> description = "Independent flow sensor or comparison logic fails (FM-003 family)";
     }
     part fteLockoutFault : FaultTreeNode {
-        attribute :>> id = "FTE-004";
+        @MemoIdentity { :>> providedId = "FTE-004"; }
         attribute :>> name = "LockoutEnforcementFault";
         attribute :>> eventKind = FaultTreeEventKind::basicEvent;
         attribute :>> failureRate = 0.0000001;
@@ -202,7 +204,7 @@ package memo_examples_gpca_pump_gpca_analysis {
         attribute :>> description = "Infusion manager authorizes bolus despite active lockout";
     }
     part fteStuckButtonUndetected : FaultTreeNode {
-        attribute :>> id = "FTE-005";
+        @MemoIdentity { :>> providedId = "FTE-005"; }
         attribute :>> name = "StuckBolusButtonUndetected";
         attribute :>> eventKind = FaultTreeEventKind::basicEvent;
         attribute :>> failureRate = 0.000001;
@@ -210,29 +212,29 @@ package memo_examples_gpca_pump_gpca_analysis {
         attribute :>> description = "Pendant stuck closed and stuck-input monitor fails (FM-004)";
     }
     part ftgOverdoseOr : FaultTreeNode {
-        attribute :>> id = "FTG-001";
+        @MemoIdentity { :>> providedId = "FTG-001"; }
         attribute :>> name = "OverdelivryPathOrGate";
         attribute :>> gateKind = FaultTreeGateKind::orGate;
     }
     part ftgMotorAnd : FaultTreeNode {
-        attribute :>> id = "FTG-002";
+        @MemoIdentity { :>> providedId = "FTG-002"; }
         attribute :>> name = "MotorRunawayAndCrossCheckGate";
         attribute :>> gateKind = FaultTreeGateKind::andGate;
     }
     part ftgBolusAnd : FaultTreeNode {
-        attribute :>> id = "FTG-003";
+        @MemoIdentity { :>> providedId = "FTG-003"; }
         attribute :>> name = "UnauthorizedBolusAndGate";
         attribute :>> gateKind = FaultTreeGateKind::andGate;
     }
     part mcsMotorPath : MinimalCutSet {
-        attribute :>> id = "MCS-001";
+        @MemoIdentity { :>> providedId = "MCS-001"; }
         attribute :>> name = "MotorRunawayWithLostCrossCheck";
         attribute :>> cutSetOrder = 2;
         attribute :>> involvedEvents = "FTE-002, FTE-003";
         attribute :>> significance = "dominant contributor; controlled by RC-008 independence";
     }
     part mcsBolusPath : MinimalCutSet {
-        attribute :>> id = "MCS-002";
+        @MemoIdentity { :>> providedId = "MCS-002"; }
         attribute :>> name = "StuckButtonWithLockoutFault";
         attribute :>> cutSetOrder = 2;
         attribute :>> involvedEvents = "FTE-004, FTE-005";