Skip to content

fix: graph check gap - #735

Draft
a-zw wants to merge 1 commit into
eclipse-score:mainfrom
etas-contrib:fix-graph-check-gap
Draft

fix: graph check gap#735
a-zw wants to merge 1 commit into
eclipse-score:mainfrom
etas-contrib:fix-graph-check-gap

Conversation

@a-zw

@a-zw a-zw commented Aug 20, 2026

Copy link
Copy Markdown
Contributor

📌 Description

Addresses a gap found in doc_tool__doc_as_code version 2

Resolves #760

🚨 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

Copy link
Copy Markdown
Contributor

License Check Results

🚀 The license check job ran with the Bazel command:

bazel run --lockfile_mode=error //src:license-check

Status: ⚠️ Needs Review

Click to expand output
[License Check Output]
Extracting Bazel installation...
Starting local Bazel server (8.6.0) and connecting to it...
INFO: Invocation ID: 57b6ace8-3037-4aa8-bad9-2610d750c79a
Computing main repo mapping: 
Loading: 
Loading: 0 packages loaded
Loading: 0 packages loaded
Loading: 0 packages loaded
    currently loading: src
WARNING: Target pattern parsing failed.
ERROR: Skipping '//src:license-check': no such target '//src:license-check': target 'license-check' not declared in package 'src' defined by /home/runner/work/docs-as-code/docs-as-code/src/BUILD
ERROR: no such target '//src:license-check': target 'license-check' not declared in package 'src' defined by /home/runner/work/docs-as-code/docs-as-code/src/BUILD
INFO: Elapsed time: 5.961s
INFO: 0 processes.
ERROR: Build did NOT complete successfully
ERROR: Build failed. Not running target

@github-actions

Copy link
Copy Markdown
Contributor

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

@a-zw

a-zw commented Aug 20, 2026

Copy link
Copy Markdown
Contributor Author

Lots and lots of errors like:

WARNING: feat_req__daal__log: Parent need feat__daal does not fulfill condition safety != QM. Explanation: A safety requirement cannot be satisfied by a QM element; the satisfying element must be at least as safe as the requirement. [score_metamodel]

Further analysis: Most of the warnings are about feat__daal (49) and feat__gen_ai (14). They both have requirements declared ASIL_B.

The remaining 4 errors are (slightly stripped):

feat_arc_sta__example_feature__sta: Parent need `feat_req__example_feature__example_req` does not fulfill condition `safety == QM`. Explanation: A QM architecture element cannot fulfil an ASIL requirement; the implemented requirement must be at least as safe as the architecture element.
comp_arc_sta__iav_primula__sv: Parent need `comp_req__iav_primula__provide_hello_message` does not fulfill condition `safety == QM`. Explanation: A QM architecture element cannot fulfil an ASIL requirement; the implemented requirement must be at least as safe as the architecture element.
feat_req__example_feature__example_req: Parent need `feat__mtef` does not fulfill condition `safety != QM`. Explanation: A safety requirement cannot be satisfied by a QM element; the satisfying element must be at least as safe as the requirement.
comp_req__iav_primula__provide_hello_message: Parent need `comp__iav_primula` does not fulfill condition `safety != QM`. Explanation: A safety requirement cannot be satisfied by a QM element; the satisfying element must be at least as safe as the requirement.

Are they genuine?

@MaximilianSoerenPollak MaximilianSoerenPollak mentioned this pull request Aug 26, 2026
5 tasks
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.

feat: asil checks

1 participant