Package-level declarations
The missed-stop failure propagates from the drive unit to the robot item. Braking execution measures and their verification remain open.
This package contains generated flow and complexity views.
Analysis Check Results
All severities: 3 total / 1 without filed issue · Critical: 0 total / 0 without filed issue · High: 3 total / 1 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 | 1 total · 1 high |
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 systems/drive-unit/build/docs/com.example.stig.systems.drive-unit--model-check-results.json.