Skip to content

fix: mitigated_by check - #1014

Open
a-zw wants to merge 1 commit into
eclipse-score:mainfrom
etas-contrib:fix-mitigated-by-check
Open

a-zw wants to merge 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

- safety == ASIL_B
- type == aou_req
explanation: Valid safety analyses should link to at least one same-level or higher-safety requirement, or an Assumption of Use requirement.
safety == ASIL_B
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Status: No status

Development

Successfully merging this pull request may close these issues.

2 participants