Constraints¶
SysML constraint def declarations in src/.
memo::architecture::functional::constraints¶
| Name | SysML kind | Description | Source |
|---|---|---|---|
LockoutIntervalConstraint |
constraint def |
Constraint that checks lockout interval constraint. | architecture/functional/constraints/memo_constraints.sysml |
MaxResponseTimeConstraint |
constraint def |
Constraint that checks max response time constraint. | architecture/functional/constraints/memo_constraints.sysml |
memo::core::common¶
| Name | SysML kind | Description | Source |
|---|---|---|---|
MemoConstraint |
constraint def |
General constraint foundation. Executable consistency rules and reusable quantitative constraints are both native constraint defs. | core/common/memo_common.sysml |
memo::core::consistency_rules¶
| Name | SysML kind | Description | Source |
|---|---|---|---|
MemoConsistencyRule |
constraint def |
Common supertype of every executable MEMO rule. It carries no members of its own: a rule's metadata is declared on the rule, and a shared member here would be shadowed by every rule that sets it.… | core/consistency_rules/consistency_rules.sysml |
memo::rules::closure¶
| Name | SysML kind | Description | Source |
|---|---|---|---|
AssetThreatLinkRule |
constraint def |
Constraint that checks asset threat link rule. | rules/closure/closure_rules.sysml |
BoundsDetectionConfirmedRule |
constraint def |
Automatic boundary detection proposes; a reviewer disposes. An unconfirmed machine guess must never reach a design review looking like an engineering decision. | rules/closure/closure_rules.sysml |
ControlInvokesFunctionRule |
constraint def |
Interactive UI is where use error happens (IEC 62366-1), so a control that reaches no system function is either dead UI or unmodelled UI. The interactive-form restriction lives in the predicate because it spans several enum values. | rules/closure/closure_rules.sysml |
EvidenceProductionRule |
constraint def |
Constraint that checks evidence production rule. | rules/closure/closure_rules.sysml |
HazardMitigationRule |
constraint def |
Constraint that checks hazard mitigation rule. | rules/closure/closure_rules.sysml |
HazardSeverityRule |
constraint def |
Constraint that checks hazard severity rule. | rules/closure/closure_rules.sysml |
InitialRiskMatrixRule |
constraint def |
Constraint that checks initial risk matrix rule. | rules/closure/closure_rules.sysml |
LogicalFunctionAllocationRule |
constraint def |
Constraint that checks logical function allocation rule. | rules/closure/closure_rules.sysml |
LogicalInterfaceDirectionRule |
constraint def |
Constraint that checks logical interface direction rule. | rules/closure/closure_rules.sysml |
RiskControlVerificationRule |
constraint def |
Constraint that checks risk control verification rule. | rules/closure/closure_rules.sysml |
SafetyClassCVerificationRule |
constraint def |
Constraint that checks safety class cverification rule. | rules/closure/closure_rules.sysml |
ScreenCaptureProvenanceRule |
constraint def |
A screenshot with no build behind it is undated design intent, not evidence of what the device does. | rules/closure/closure_rules.sysml |
SwComponentReqRule |
constraint def |
Constraint that checks sw component req rule. | rules/closure/closure_rules.sysml |
SwComponentSafetyClassRule |
constraint def |
Constraint that checks sw component safety class rule. | rules/closure/closure_rules.sysml |
SwReqTraceRule |
constraint def |
Constraint that checks sw req trace rule. | rules/closure/closure_rules.sysml |
SysReqTraceRule |
constraint def |
Constraint that checks sys req trace rule. | rules/closure/closure_rules.sysml |
ThreatMitigationRule |
constraint def |
Constraint that checks threat mitigation rule. | rules/closure/closure_rules.sysml |
UiElementDesignRecordRule |
constraint def |
The load-bearing traceability rule. A UI element that is not chrome must reach a design record — a requirement it satisfies, or an action it triggers. Chrome must be DECLARED decoration; an element left unclassified fails rather than passing as scenery. |
rules/closure/closure_rules.sysml |
VerificationCaseMethodRule |
constraint def |
Constraint that checks verification case method rule. | rules/closure/closure_rules.sysml |
VerificationCaseTargetRule |
constraint def |
Constraint that checks verification case target rule. | rules/closure/closure_rules.sysml |
memo::rules::crosslayer¶
| Name | SysML kind | Description | Source |
|---|---|---|---|
ReqToArchTraceRule |
constraint def |
Constraint that checks req to arch trace rule. | rules/crosslayer/cross_layer_rules.sysml |
RiskToReqTraceRule |
constraint def |
Constraint that checks risk to req trace rule. | rules/crosslayer/cross_layer_rules.sysml |
memo::rules::ontology¶
| Name | SysML kind | Description | Source |
|---|---|---|---|
AllocatedToSourceKindRule |
constraint def |
Constraint that checks allocated to source kind rule. | rules/ontology/ontology_invariants.sysml |
AllocatedToTargetKindRule |
constraint def |
Constraint that checks allocated to target kind rule. | rules/ontology/ontology_invariants.sysml |
AlternateScenarioHasBaseRule |
constraint def |
Constraint that checks alternate scenario has base rule. | rules/ontology/ontology_invariants.sysml |
BindsToInterfaceEndKindRule |
constraint def |
Constraint that checks binds to interface end kind rule. | rules/ontology/ontology_invariants.sysml |
ComponentExchangeSourceEndpointKindRule |
constraint def |
CR-ONT-002's replacement. ComponentExchange's endpoints are ref features, not links, and the builder projects them as element-ID STRINGS in the attribute map (a §13.3 string pseudo-reference) — so they cannot be reached with sourcesOf/targetsOf.… |
rules/ontology/ontology_invariants.sysml |
ComponentExchangeTargetEndpointKindRule |
constraint def |
Constraint that checks component exchange target endpoint kind rule. | rules/ontology/ontology_invariants.sysml |
ComponentFunctionAllocatedRule |
constraint def |
What makes ComponentFunction a definition of its own rather than an enum member on SystemFunction. An enum value cannot change a multiplicity, and "answerable to exactly one component" is the whole content of the concept. | rules/ontology/ontology_invariants.sysml |
ComposesChildKindRule |
constraint def |
Constraint that checks composes child kind rule. | rules/ontology/ontology_invariants.sysml |
ComposesParentKindRule |
constraint def |
Constraint that checks composes parent kind rule. | rules/ontology/ontology_invariants.sysml |
ContainmentAcyclicRule |
constraint def |
Constraint that checks containment acyclic rule. | rules/ontology/ontology_invariants.sysml |
CriticalTaskValidatedRule |
constraint def |
Constraint that checks critical task validated rule. | rules/ontology/ontology_invariants.sysml |
CrossesTrustBoundaryEndKindRule |
constraint def |
Constraint that checks crosses trust boundary end kind rule. | rules/ontology/ontology_invariants.sysml |
EnablesEnablerKindRule |
constraint def |
Constraint that checks enables enabler kind rule. | rules/ontology/ontology_invariants.sysml |
ExchangeHasFlowRule |
constraint def |
Track A3. The flow is the edge; the exchange part carries the budget and assurance attributes. The two halves are bound by a SHARED NAME — the flow usage is named with its exchange — and this is what makes that binding a checked fact rather than a convention someone can quietl… | rules/ontology/ontology_invariants.sysml |
FunctionDecomposesIntoFunctionsRule |
constraint def |
Constraint that checks function decomposes into functions rule. | rules/ontology/ontology_invariants.sysml |
NestedPartConnectedRule |
constraint def |
Constraint that checks nested part connected rule. | rules/ontology/ontology_invariants.sysml |
PatientContactCharacterizedRule |
constraint def |
Constraint that checks patient contact characterized rule. | rules/ontology/ontology_invariants.sysml |
PerformsPerformerKindRule |
constraint def |
Constraint that checks performs performer kind rule. | rules/ontology/ontology_invariants.sysml |
PrecedesEndKindRule |
constraint def |
Constraint that checks precedes end kind rule. | rules/ontology/ontology_invariants.sysml |
RuntimeTracesToModuleRule |
constraint def |
Constraint that checks runtime traces to module rule. | rules/ontology/ontology_invariants.sysml |
SafetyCriticalFunctionVerifiedRule |
constraint def |
Constraint that checks safety critical function verified rule. | rules/ontology/ontology_invariants.sysml |
SatisfiedBySourceKindRule |
constraint def |
These rules carry the constraints that connection def end TYPES used to carry in memo_core_relationships.… |
rules/ontology/ontology_invariants.sysml |
SatisfiedByTargetKindRule |
constraint def |
Constraint that checks satisfied by target kind rule. | rules/ontology/ontology_invariants.sysml |
UseErrorTracesToHazardRule |
constraint def |
Constraint that checks use error traces to hazard rule. | rules/ontology/ontology_invariants.sysml |
VerifiedByTargetKindRule |
constraint def |
Constraint that checks verified by target kind rule. | rules/ontology/ontology_invariants.sysml |
memo::rules::quantitative¶
| Name | SysML kind | Description | Source |
|---|---|---|---|
HazardMaxControlsRule |
constraint def |
Constraint that checks hazard max controls rule. | rules/quantitative/quantitative_rules.sysml |
SwComponentMaxInterfacesRule |
constraint def |
Constraint that checks sw component max interfaces rule. | rules/quantitative/quantitative_rules.sysml |