Package-level declarations
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/drive-unit/build/docs/com.example.stig.systems.drive-unit--model-check-results.json.
Element and its environment
The drive unit receives brake_request over CAN through brakeRequest and produces stoppedMotion through its motor-control electronics and connected wheel motors. The output describes physical motion, not a feedback message.
flowchart LR
control["robotControlUnit<br/>«SystemElement»"]
subgraph drive["driveUnit<br/>«SystemElement»"]
direction LR
brakeRequest["brakeRequest<br/>«Message»"]
stoppedMotion["stoppedMotion<br/>«Event»"]
brakeRequest --> stoppedMotion
end
motion["Physical environment<br/>Robot at rest before contact"]
control -->|CAN brake_request| brakeRequest
stoppedMotion --> motionContent copied to clipboard