Skip to content

fix: mitigated_by check - #1014

Merged
a-zw merged 1 commit into
eclipse-score:mainfrom
etas-contrib:fix-mitigated-by-check
Nov 4, 2026
Merged

a-zw merged 1 commit into
eclipse-score:mainfrom
etas-contrib:fix-mitigated-by-check

Conversation

@a-zw

@a-zw a-zw commented Nov 3, 2026

Copy link
Copy Markdown
Contributor

📌 Description

The check interpreted the requirement incorrectly.

🚨 Impact Analysis

  • This change does not violate any tool requirements and is covered by existing tool requirements
  • This change does not violate any design decisions
  • Otherwise I have created a ticket for new tool qualification

✅ Checklist

  • Added/updated documentation for new or changed features
  • Added/updated tests to cover the changes
  • Followed project coding standards and guidelines

@github-actions

github-actions Bot commented Nov 3, 2026

Copy link
Copy Markdown
Contributor

Documentation preview for this pull request is available at:
pr-1014: https://eclipse-score.github.io/docs-as-code/pr-1014/

Copilot AI left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

🟡 Changes recommended

The changed mitigation rule lacks regression tests against the actual metamodel for QM versus ASIL_B Assumption of Use mitigation and platform DFA cases, leaving key behavior changes undetected.

1 open issue
What changed in this PR

This PR corrects the metamodel’s informational mitigated_by check for valid safety analyses.

Changes:

  • Requires an ASIL_B mitigation target, removing the exemption for Assumption of Use requirements.
  • Includes platform DFA in the check and updates its explanation.
  • Refreshes the generated HTML fixture’s metamodel line count.
File Description
src/​tests/​docs_bzl/​scenarios/​reference_integration/​_expected/​docs/​modules/​modern_module/​components/​unlinked_component/​generated_metamodel/​index.html Updates the expected source line count from 1334 to 1332.
src/​extensions/​score_metamodel/​metamodel.yaml Corrects the mitigation condition and extends coverage to platform DFA.

Review effort: Balanced

@a-zw

a-zw commented Nov 4, 2026

Copy link
Copy Markdown
Contributor Author

Compatibility tests failing (logging and reference_integration) are not failing due to mitigated_by, so they are unrelated to this PR.

@a-zw
a-zw merged commit f64dc6f into eclipse-score:main Nov 4, 2026
27 of 32 checks passed
@a-zw
a-zw deleted the fix-mitigated-by-check branch November 4, 2026 10:24
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Development

Successfully merging this pull request may close these issues.

3 participants