Package-level declarations
One ASIL C safety requirement refines the computer’s obligation at the ROS 2 topic boundary and allocates the braking decision to the collision guard node.
Requirements 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 descriptionDefinedInRequirementsPackage Requirements entity has no required description | 0 | 0 |
HIGH designChildAllocation Parent requirements omit allocation to a design child | 0 | 0 |
MODERATE forbiddenWordsInRequirement Requirements entity contains forbidden wording | 0 | 0 |
HIGH nameDefinedInRequirementsPackage Requirements entity has no required name | 0 | 0 |
HIGH nonRequirementsEntityInRequirementsPackage Entity uses the wrong viewpoint package (Requirements) | 0 | 0 |
HIGH orphanRequirement Derived requirement cites no parent requirement | 0 | 0 |
HIGH requirementAllocatedToChildOfSubject Requirement allocates outside its subject's design children | 0 | 0 |
HIGH requirementAllocatedToDefined Requirement allocates to no child element | 0 | 0 |
HIGH requirementAllocation Requirement has no subject element | 0 | 0 |
HIGH requirementAllocationCoverage Requirements omit an allocated obligation | 0 | 0 |
HIGH requirementAsilDefined Requirement has no ASIL | 0 | 0 |
HIGH requirementAsilDerivation Derived requirement falls below a parent requirement's ASIL | 0 | 0 |
HIGH INFO requirementAsilLeqSubject Requirement exceeds its subject element's ASIL | 0 | 0 |
INFO requirementAsilOverclassification Derived requirement exceeds every parent requirement's ASIL | 0 | 0 |
MODERATE requirementBottomLevelNoAllocation Bottom-level requirement allocates to child elements | 0 | 0 |
HIGH requirementContainerElementDefined Requirements specification has no subject element | 0 | 0 |
HIGH requirementContainerSubject Requirement names a different subject from its specification | 0 | 0 |
HIGH requirementDerivedFromAllocationConsistency Requirement derives from a parent that does not allocate to its subject | 0 | 0 |
HIGH requirementMustLiveInRequirementContainer Requirement lacks a containing requirements specification | 0 | 0 |
MODERATE requirementNormativeModal Requirement omits a recognized normative modal | 0 | 0 |
MODERATE requirementTopLevelNoParent Top-level requirement cites a parent requirement | 0 | 0 |
HIGH requirementVerificationCriteriaDefined Requirement has no verification criteria | 0 | 0 |
MODERATE requirementsClassInstance Requirements class has no instance property in its file | 0 | 0 |
MODERATE requirementsClassPascalCase Requirements class name violates PascalCase | 0 | 0 |
MODERATE requirementsClassesTopLevel Requirements class is nested inside another declaration | 0 | 0 |
MODERATE requirementsObjectCamelCase Requirements instance name violates camelCase | 0 | 0 |
MODERATE subjectBeforeVerbInRequirement Requirement omits its subject before the normative modal | 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.