Package-level declarations
Element and its environment
The delivery robot senses an obstacle in its physical environment through obstacleInPath and produces stoppedMotion before contact; these are physical interactions, not messages.
flowchart LR
scene["Physical environment<br/>Obstacle ahead"]
subgraph robot["deliveryRobot<br/>«Item»"]
direction LR
obstacleInPath["obstacleInPath<br/>«Event»"]
stoppedMotion["stoppedMotion<br/>«Event»"]
obstacleInPath --> stoppedMotion
end
motion["Physical environment<br/>Robot at rest before contact"]
scene --> obstacleInPath
stoppedMotion --> motionContent 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 items/delivery-robot/build/docs/com.example.stig.items.delivery-robot--model-check-results.json.