Package-level declarations
Static decomposition
The collision guard node is the application's only modeled child; other application nodes are outside the example and have no specified design here.
flowchart LR
subgraph application["robotApplication<br/>«Cluster»"]
direction LR
guard["collisionGuardNode<br/>«Component»"]
otherNodes["Other application nodes<br/>Not part of example"]
end
style otherNodes stroke-dasharray: 5 5Content copied to clipboard
Child context: collisionGuardNode.
Functions and interactions
The application exposes the collision guard node's input_stream subscription and brake_request publisher at its own boundary, with no additional node behavior modeled.
flowchart LR
subgraph application["robotApplication<br/>«Cluster»"]
direction LR
inputStream["inputStream<br/>«Subscriber»"]
subgraph guard["collisionGuardNode<br/>«Component»"]
direction LR
guardInput["inputStream<br/>«Subscriber»"]
guardOutput["brakeRequest<br/>«Publisher»"]
guardInput --> guardOutput
end
brakeRequest["brakeRequest<br/>«Publisher»"]
inputStream -->|input_stream| guardInput
guardOutput -->|brake_request| brakeRequest
endContent copied to clipboard
Design Check Results
All severities: 0 total / 0 without filed issue · Critical: 0 total / 0 without filed issue · High: 0 total / 0 without filed issue · Moderate: 0 total / 0 without filed issue · Low: 0 total / 0 without filed issue
| Rule | Findings | Findings without filed issue |
|---|---|---|
HIGH descriptionDefinedInDesignPackage Design entity has no required description | 0 | 0 |
HIGH designChildrenBoundary Design contradicts the element's bottom-level declaration | 0 | 0 |
HIGH designChildrenParent Design lists a child with a different parent | 0 | 0 |
MODERATE designClassInstance Design class has no instance property in its file | 0 | 0 |
MODERATE designClassPascalCase Design class name violates PascalCase | 0 | 0 |
MODERATE designClassesTopLevel Design class is nested inside another declaration | 0 | 0 |
HIGH designElementDefined Design has no subject element | 0 | 0 |
MODERATE designObjectCamelCase Design instance name violates camelCase | 0 | 0 |
MODERATE forbiddenWordsInDesign Design entity contains forbidden wording | 0 | 0 |
HIGH nameDefinedInDesignPackage Design entity has no required name | 0 | 0 |
HIGH nonDesignEntityInDesignPackage Entity uses the wrong viewpoint package (Design) | 0 | 0 |
HIGH safetyMeasureAsilDefined Safety measure has no ASIL | 0 | 0 |
HIGH safetyMeasureMustLiveInDesign Safety measure lacks a containing design | 0 | 0 |
HIGH safetyMechanismAsilDefined Safety mechanism has no ASIL | 0 | 0 |
HIGH INFO safetyMechanismAsilExceedsElement Safety mechanism exceeds its element's ASIL | 0 | 0 |
More complete diagnostic records and evidence are available locally on the build machine (not published), at repository-relative path clusters/robot-application/build/docs/com.example.stig.clusters.robot-application--model-check-results.json.