Package-level declarations
Requirements Check Results
| 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 | 1 total · 1 moderate | 1 total · 1 moderate |
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 | 11 total · 11 high | 11 total · 11 high |
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 activities/fusion_activity/build/docs/com.example.stig.activities.fusion_activity--model-check-results.json.
Defines five black-box requirements for perception output:
publish a fused list from fresh inputs aligned within 50 ms;
estimate position, relative velocity, confidence, and time to collision;
exclude observations older than 100 ms and report degradation;
continue in degraded mode with an agreeing pair of sensors;
prevent high-confidence output unless two observations satisfy position and velocity gates.
The requirements derive from allocated AEB requirements and allocate implementation responsibility to the four direct child units declared in Context.