Skip to content

Add process requirements for AoU linking#599

Merged
masc2023 merged 2 commits intomainfrom
aschemmel-tech-fulfil-aou
Mar 13, 2026
Merged

Add process requirements for AoU linking#599
masc2023 merged 2 commits intomainfrom
aschemmel-tech-fulfil-aou

Conversation

@aschemmel-tech
Copy link
Contributor

Resolves: #597

@github-actions
Copy link

github-actions bot commented Mar 4, 2026

The created documentation from the pull request is available at: docu-html

@aschemmel-tech aschemmel-tech marked this pull request as ready for review March 4, 2026 14:08
@aschemmel-tech
Copy link
Contributor Author

Requested infrastructure team review if the requirements are understood and can be implemented

Comment on lines +268 to +269
It shall be checked that architecture elements are not linked to its own AoU
("own" means the AoU linked as "mitigated_by" to the Safety/Security Analysis linked via "violates" to the element)
Copy link
Contributor

Choose a reason for hiding this comment

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

Can you make an example here I don't quiet get what is allowed and what isn't.

Copy link
Contributor

Choose a reason for hiding this comment

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

I think that's currently not possible from the meta model. See https://eclipse-score.github.io/process_description/pr-599/general_concepts/score_building_blocks_concept.html

There is no link from component to AoU. Therefore this check can't be done, because the AuO does not known, to which component or feature it belongs to.

Copy link
Contributor Author

Choose a reason for hiding this comment

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

I was referring to this part of the metamodel:

Image so I thought the information should be available. But maybe we could differentiate by the deployment in module's repositories?

Copy link
Contributor

@RolandJentschETAS RolandJentschETAS Mar 11, 2026

Choose a reason for hiding this comment

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

The point is that you say "It shall be checked that architecture elements are not linked to its own AoU". But the arrow is only from the Feature Architecture. So the picture is completely fine for me, but the text is to wide. The feature architecture is only one of the "Architectural elements". See https://eclipse-score.github.io/process_description/pr-599/process_areas/architecture_design/guidance/architecture_process_reqs.html#gd_req__arch_build_blocks. Depending what is your goal, you have to either adopt the the text or the picture or both. But currently the picture and the text does not fit together. Or other way round the test is not described in the right way.

Copy link
Contributor Author

Choose a reason for hiding this comment

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

corrected

Comment on lines +202 to +208
Requirements shall be linked to AoU via the attribute satisfies, if they already satisfy these.

* AoU <- feature requirements
* AoU <- component requirements

Note: "Already" illustrates the understanding that AoU come from used (external) components
which appear later in the development (after deciding an architecture).
Copy link
Contributor

Choose a reason for hiding this comment

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

This isn't depicted in the picture here
Is this something new?

Copy link
Contributor

Choose a reason for hiding this comment

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

Is the "mitigated_by" link is meaned ? Instead of "satisfies" ?

Copy link
Contributor Author

Choose a reason for hiding this comment

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

Yes, this would be something new. I had no good idea to show this in the picture. We could also have a new link name because it is not showing the derivation of a requirement.

Copy link
Contributor

Choose a reason for hiding this comment

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

Can you not simply also change the meta model picture ?

Copy link
Contributor Author

Choose a reason for hiding this comment

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

done

:complies: std_req__iso26262__support_6425, std_req__aspice_40__SWE-2-BP4
:satisfies: wf__cr_mt_featarch, wf__cr_mt_comparch

Each architectural element shall be linked to AoUs if it fulfills these.
Copy link
Contributor

Choose a reason for hiding this comment

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

That contradicts the meta model and the other requirements.
See https://eclipse-score.github.io/process_description/pr-599/process_areas/architecture_design/guidance/architecture_process_reqs.html#gd_req__arch_build_blocks

and
https://eclipse-score.github.io/process_description/pr-599/process_areas/architecture_design/guidance/architecture_process_reqs.html#gd_req__arch_build_blocks

The meta model shows only links from component architecture or feature architecture, but not from component, module, features, interface and interface op. See picture and list of architecture elements.

Copy link
Contributor

@RolandJentschETAS RolandJentschETAS Mar 5, 2026

Choose a reason for hiding this comment

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

Additionally a link from Feature to component or Feature AoU would lead to cyclic dependency of repositories, which is not implementable.

Copy link
Contributor Author

@aschemmel-tech aschemmel-tech Mar 11, 2026

Choose a reason for hiding this comment

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

Copy link
Contributor Author

Choose a reason for hiding this comment

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

There should not be a cyclic dependency, because the module only needs to fulfill the AoUs of another module it needs so the link direction as shown in https://eclipse-score.github.io/process_description/main/_images/score_traceability_model_wp_overview.drawio.svg (to "(external) Component assumtion of use" should be possible.

Comment on lines +268 to +269
It shall be checked that architecture elements are not linked to its own AoU
("own" means the AoU linked as "mitigated_by" to the Safety/Security Analysis linked via "violates" to the element)
Copy link
Contributor

Choose a reason for hiding this comment

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

I think that's currently not possible from the meta model. See https://eclipse-score.github.io/process_description/pr-599/general_concepts/score_building_blocks_concept.html

There is no link from component to AoU. Therefore this check can't be done, because the AuO does not known, to which component or feature it belongs to.

@aschemmel-tech aschemmel-tech force-pushed the aschemmel-tech-fulfil-aou branch from f15383a to 5b008ca Compare March 12, 2026 15:05
Copy link
Contributor

@RolandJentschETAS RolandJentschETAS left a comment

Choose a reason for hiding this comment

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

Lats point was not changed

@aschemmel-tech aschemmel-tech force-pushed the aschemmel-tech-fulfil-aou branch from 5b008ca to 3c90811 Compare March 12, 2026 16:28
@masc2023 masc2023 merged commit 3aa91ef into main Mar 13, 2026
5 checks passed
@masc2023 masc2023 deleted the aschemmel-tech-fulfil-aou branch March 13, 2026 06:23
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Improvement: AoU linkage

4 participants