Package-level declarations
Element and its environment
The control unit observes the physical scene through obstacleInPath and sends brake_request to the drive unit over CAN.
flowchart LR
scene["Physical environment<br/>Obstacle ahead"]
subgraph control["robotControlUnit<br/>«SystemElement»"]
direction LR
obstacleInPath["obstacleInPath<br/>«Event»"]
brakeRequest["brakeRequest<br/>«Message»"]
obstacleInPath --> brakeRequest
end
drive["driveUnit<br/>«SystemElement»"]
scene --> obstacleInPath
brakeRequest -->|CAN brake_request| driveContent copied to clipboard
Context 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 configuredElementIdMatchesContext Configured element id matches context | 0 | 0 |
MODERATE contextClassInstance Context class has no instance property in its file | 0 | 0 |
MODERATE contextClassPascalCase Context class name violates PascalCase | 0 | 0 |
MODERATE contextClassesTopLevel Context class is nested inside another declaration | 0 | 0 |
MODERATE contextObjectCamelCase Context instance name violates camelCase | 0 | 0 |
HIGH descriptionDefinedInContextPackage Context entity has no required description | 0 | 0 |
HIGH INFO elementAllocatedAsilBound Element allocates an ASIL above its own ASIL | 0 | 0 |
HIGH elementAsilDefined Element has no ASIL | 0 | 0 |
HIGH elementInParentDesign Element names a parent whose design omits it | 0 | 0 |
HIGH elementParentDefined Element has no required parent | 0 | 0 |
MODERATE elementTopLevelNoParent Top-level element declares a parent | 0 | 0 |
MODERATE forbiddenWordsInContext Context entity contains forbidden wording | 0 | 0 |
HIGH interfaceEntityAsilDefined Context entity has no required ASIL | 0 | 0 |
HIGH INFO interfacePointAsilBound Provided interface point exceeds its element's ASIL limit | 0 | 0 |
HIGH interfacePointParentAsilBound Interface point exceeds its enclosing interface point's ASIL | 0 | 0 |
HIGH nameDefinedInContextPackage Context entity has no required name | 0 | 0 |
HIGH nonContextEntityInContextPackage Entity uses the wrong viewpoint package (Context) | 0 | 0 |
HIGH portMemberUse Port member use references a member outside its service interface | 0 | 0 |
HIGH portMemberUseAsilBound Port member use exceeds its referenced member's ASIL | 0 | 0 |
HIGH requiredMethodDefinitionAsilBound Required method exceeds its definition's ASIL | 0 | 0 |
HIGH unresolvedInterfaceMember Service member has no resolved interface definition | 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.