Package-level declarations
This package contains generated flow and complexity views.
The missed-stop failure brings together contributions from obstacle observation and braking actuation. The stopping envelope and independent sensing remain open design gaps.
Analysis Check Results
All severities: 3 total / 0 without filed issue · Critical: 0 total / 0 without filed issue · High: 3 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 |
|---|---|---|
MODERATE analysisClassInstance Analysis class has no instance property in its file | 0 | 0 |
MODERATE analysisClassPascalCase Analysis class name violates PascalCase | 0 | 0 |
MODERATE analysisClassesTopLevel Analysis class is nested inside another declaration | 0 | 0 |
HIGH analysisElementDefined Analysis has no subject element | 0 | 0 |
MODERATE analysisObjectCamelCase Analysis instance name violates camelCase | 0 | 0 |
HIGH analysisQmAssessment Analysis omits the assessment for its QM exemption | 0 | 0 |
HIGH descriptionDefinedInAnalysisPackage Analysis entity has no required description | 0 | 0 |
HIGH failureArgument Failure records a positive evaluation without an argument | 0 | 0 |
HIGH INFO failureAsilBound Failure exceeds its interface point's ASIL | 0 | 0 |
HIGH failureAsilDefined Failure has no ASIL | 0 | 0 |
HIGH INFO failureAsilPropagation Failure exceeds every propagation target's ASIL | 0 | 0 |
HIGH failureChildPropagationCoverage Failure lacks a contributing child failure | 0 | 0 |
MODERATE failureDescriptionElement Failure description omits its element name at the start | 0 | 0 |
MODERATE failureDescriptionInterface Failure description omits its interface name after the element name | 0 | 0 |
HIGH failureEvaluation Failure lacks a sufficient or residual evaluation | 1 total · 1 high | 0 |
HIGH MODERATE failureIndependentReference Failure cites an invalid independent failure | 0 | 0 |
HIGH failureMultiplePointIndependent Multiple-point failure cites no independent failure | 0 | 0 |
HIGH failureMultiplicityDefined Failure has no multiplicity | 0 | 0 |
HIGH failureMultiplicityPropagation Single-point failure propagates to a failure with incompatible multiplicity | 0 | 0 |
HIGH failureMustLiveInInterfacePointAnalysis Failure lacks a containing interface-point analysis | 0 | 0 |
MODERATE failureNameSeverityMatch Failure name contradicts its severity | 0 | 0 |
HIGH failurePropagationDefined Failure declares no required propagation target | 0 | 0 |
HIGH failurePropagationParentElement Failure propagates outside its eligible analysis parent | 0 | 0 |
MODERATE failurePropagationToBottomLevel Failure propagates to a bottom-level failure | 0 | 0 |
HIGH failurePropagationUsedInConsistency Failure propagates outside its declared interface dependencies | 0 | 0 |
HIGH failureQmSeverity QM failure reaches S10 severity | 0 | 0 |
HIGH failureS10SafetyMeasures Failure lacks a safety measure or valid independent failure | 1 total · 1 high | 0 |
HIGH failureSeverityDefined Failure has no severity | 0 | 0 |
HIGH INFO failureSeverityPropagation Failure exceeds every propagation target's severity | 0 | 0 |
HIGH failureSeverityValue Failure has an invalid severity value | 0 | 0 |
MODERATE failureTopLevelNoPropagation Top-level failure declares propagation targets | 0 | 0 |
MODERATE forbiddenWordsInAnalysis Analysis entity contains forbidden wording | 0 | 0 |
HIGH interfacePointAnalysisChildContributionCoverage Interface-point analysis lacks a contributing child analysis | 0 | 0 |
MODERATE interfacePointAnalysisContributionToBottomLevel Interface-point analysis contributes to a bottom-level interface | 0 | 0 |
HIGH interfacePointAnalysisCoverage Analysis omits an interface point | 0 | 0 |
HIGH interfacePointAnalysisMustLiveInElementAnalysis Interface-point analysis lacks a containing element analysis | 0 | 0 |
MODERATE interfacePointAnalysisName Analysis declaration violates the Analysis naming convention | 0 | 0 |
HIGH interfacePointAnalysisQmAssessment Interface-point analysis omits the assessment for its QM exemption | 0 | 0 |
HIGH interfacePointAnalysisScopeAssessment Interface-point analysis omits the assessment for its safety-scope exclusion | 0 | 0 |
HIGH interfacePointAnalysisSubject Interface-point analysis references another element's interface | 0 | 0 |
MODERATE interfacePointAnalysisTopLevelNoUsedIn Top-level interface-point analysis declares parent dependencies | 0 | 0 |
HIGH interfacePointAnalysisUsedInNotEmpty Interface-point analysis declares no required parent dependency | 0 | 0 |
HIGH interfacePointAnalysisUsedInParentElement Interface-point analysis links outside its eligible analysis parent | 0 | 0 |
HIGH INFO interfacePointAsilUsedIn Interface-point analysis has no parent dependency with sufficient ASIL | 0 | 0 |
HIGH interfacePointS10Failure Interface-point analysis contains no required S10 failure | 1 total · 1 high | 0 |
HIGH nameDefinedInAnalysisPackage Analysis entity has no required name | 0 | 0 |
HIGH nonAnalysisEntityInAnalysisPackage Entity uses the wrong viewpoint package (Analysis) | 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.