Skip to content
Open
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Original file line number Diff line number Diff line change
Expand Up @@ -158,8 +158,8 @@ Attributes of Architectural Elements
* valid
* invalid

Traceability to Requirements
----------------------------
Traceability to Requirements and AoU
------------------------------------

.. gd_req:: Architecture attribute: fulfils
:id: gd_req__arch_attr_fulfils
Expand All @@ -170,6 +170,15 @@ Traceability to Requirements

Each architectural element shall be linked to a requirement.

.. gd_req:: Architecture attribute: fulfils (AoU)
:id: gd_req__arch_attr_fulfils_aou
:status: valid
:tags: manual_prio_1, attribute, mandatory
: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.


.. gd_req:: Architecture traceability
:id: gd_req__arch_traceability
:status: valid
Expand Down Expand Up @@ -250,6 +259,15 @@ Checks for Architectural Design
* Functional requirements <-> static / dynamic architectural elements (feat_arc_sta, feat_arc_dyn)
* Interface requirements <-> interface architectural elements (logic_arc_int, logic_arc_int_op)

.. gd_req:: Check of Architecture linkage to AoU
:id: gd_req__arch_linkage_aou
:status: valid
:tags: prio_2_automation, attribute, check
:satisfies: wf__cr_mt_featarch, wf__cr_mt_comparch

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)
Comment on lines +268 to +269
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.


.. gd_req:: Check of Architecture consistency Components in modules
:id: gd_req__arch_consistency_model
:status: valid
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -192,6 +192,21 @@ Process Requirement Linkage
* workflow or stakeholder requirements <- process requirements
* process requirements or stakeholder requirements <- tool requirements

.. gd_req:: Requirement Linkage to AoU
:id: gd_req__req_linkage_aou
:status: valid
:tags: manual_prio_1, attribute
:complies: std_req__iso26262__support_6432, std_req__aspice_40__SWE-1-BP5
:satisfies: wf__req_feat_req, wf__req_comp_req

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).
Comment on lines +202 to +208
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" ?


.. gd_req:: Requirement Traceability
:id: gd_req__req_traceability
:status: valid
Expand Down
Loading