Package-level declarations
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 systems/robot-control-unit/build/docs/com.example.stig.systems.robot-control-unit--model-check-results.json.
Static decomposition
The control unit contains the modeled robot computer and its directly attached camera, which is described as a peripheral rather than a separate model element.
flowchart LR
subgraph control["robotControlUnit<br/>«SystemElement»"]
direction LR
camera["Attached camera<br/>Described peripheral"]
computer["robotComputer<br/>«Subsystem»"]
endContent copied to clipboard
Child context: robotComputer.
Functions and interactions
The camera converts the physical obstacle scene into the computer's input_stream, and the computer's logical brake_request becomes the control unit's CAN output, whose frame encoding remains unspecified.
flowchart LR
subgraph control["robotControlUnit<br/>«SystemElement»"]
direction LR
obstacleInPath["obstacleInPath<br/>«Event»"]
camera["Attached camera<br/>Described peripheral"]
subgraph computer["robotComputer<br/>«Subsystem»"]
direction LR
computerInput["inputStream<br/>«Event»"]
computerOutput["brakeRequest<br/>«Event»"]
computerInput --> computerOutput
end
brakeRequest["brakeRequest<br/>«Message»"]
obstacleInPath --> camera
camera -->|input_stream| computerInput
computerOutput -->|CAN brake_request| brakeRequest
endContent copied to clipboard