From 26219970f94764539e71dc506f6a7a5b619fc18b Mon Sep 17 00:00:00 2001 From: aschemmel-git Date: Wed, 4 Mar 2026 15:01:49 +0100 Subject: [PATCH 1/2] Add process requirements for AoU linking Resolves: #597 --- .../guidance/architecture_process_reqs.rst | 22 +++++++++++++++++-- .../guidance/requirements_process_reqs.rst | 15 +++++++++++++ 2 files changed, 35 insertions(+), 2 deletions(-) diff --git a/process/process_areas/architecture_design/guidance/architecture_process_reqs.rst b/process/process_areas/architecture_design/guidance/architecture_process_reqs.rst index eebe43a70a..8820b126db 100644 --- a/process/process_areas/architecture_design/guidance/architecture_process_reqs.rst +++ b/process/process_areas/architecture_design/guidance/architecture_process_reqs.rst @@ -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 @@ -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. + .. gd_req:: Architecture traceability :id: gd_req__arch_traceability :status: valid @@ -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) + .. gd_req:: Check of Architecture consistency Components in modules :id: gd_req__arch_consistency_model :status: valid diff --git a/process/process_areas/requirements_engineering/guidance/requirements_process_reqs.rst b/process/process_areas/requirements_engineering/guidance/requirements_process_reqs.rst index 2edadfebf2..6e7e954069 100644 --- a/process/process_areas/requirements_engineering/guidance/requirements_process_reqs.rst +++ b/process/process_areas/requirements_engineering/guidance/requirements_process_reqs.rst @@ -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). + .. gd_req:: Requirement Traceability :id: gd_req__req_traceability :status: valid From 3c90811efaa38bef827f78bc52f6d6dc99ac5651 Mon Sep 17 00:00:00 2001 From: aschemmel-git Date: Wed, 11 Mar 2026 10:45:56 +0100 Subject: [PATCH 2/2] Add process requirements for AoU linking - fixes Resolves: #597 --- .../_assets/score_building_blocks_meta_model.drawio.svg | 2 +- .../guidance/architecture_process_reqs.rst | 9 +++++---- .../guidance/requirements_process_reqs.rst | 2 +- 3 files changed, 7 insertions(+), 6 deletions(-) diff --git a/process/general_concepts/_assets/score_building_blocks_meta_model.drawio.svg b/process/general_concepts/_assets/score_building_blocks_meta_model.drawio.svg index 2e2d3a20da..6655290a55 100644 --- a/process/general_concepts/_assets/score_building_blocks_meta_model.drawio.svg +++ b/process/general_concepts/_assets/score_building_blocks_meta_model.drawio.svg @@ -1,4 +1,4 @@ -
1, *
1, *
belongs_to
belongs_to
includes
includes
Feature
Feature
uses
uses
Component
Component
Delivery Container
Delivery Container
Feature
Requirements
Feature...
fulfills
fulfills
includes
includes
belongs_to
belongs_to
Feature
Architecture
Feature...
satifies
satifies
Component
Requirements
Component...
1,*
1,*
belongs_to
belongs_to
consists of
consists of
includes
includes
Unit
Unit
1, *
1, *
belongs_to
belongs_to
Source Code
Source Code
Stakeholder
 Requirements
Stakeholder...
satifies
satifies
implements
implements
Platform
Platform
1, *
1, *
consists of
consists of
has
has
1, *
1, *
Objectives
Objectives
1
1
1, *
1, *
fulfills
fulfills
uses
uses
Component
Architecture
Component...
satifies
satifies

belongs_to
belongs_to
Detailed
Design
Detailed...
satifies
satifies
implements
implements
consists of
consists of
implements
implements
1
1
*
*
Dependable Element
Dependable Element
includes
includes
1,*
1,*
*
*
1, *
1, *
Feature Safety/
Security Analysis
Feature Safety/...
Assumption of use
Assumption of use
- own AoU
-other AoU
- own AoU...
Platform Integration 
Tests
Platform Integration...
Feature
Integration Tests
Feature...
verifies
verifies
violates
violates
mitigated_by
mitigated_by
verifies
verifies
Component
Integration Tests
Component...
Component Safety /
Security Analysis
Component Safety /...
violates
violates
mitigated_by
mitigated_by
mitigated_by
mitigated_by
mitigated_by
mitigated_by
verifies
verifies
Unit Test
Unit Test
verifies
verifies
verifies
verifies
1
1
1,*
1,*
mitigated_by
mitigated_by
Platform Safety/
Security Analysis
Platform Safety/...
mitigated_by
mitigated_by
violates
violates
fulfils
fulfils
Logical Arc. Interface
Logical Arc. Interface
Legend
Legend
UML
(sphinx needs)
UML...
implicit
implicit
mandatory
mandatory
optional
optional
includes
includes
belongs_to
belongs_to
Dependable Element
View
Dependable Element...
Tool generated
Target not specified
Tool gener...
Line Color
Line Color
Line Style
Line Style
implements
implements
1
1
1, *
1, *
*
*
1
1
fulfills - but not the feature's own AoU
fulfills - but not the feature's own AoU
fulfills - but not the component's own AoU
fulfills - but not the component's own AoU
verifies
verifies
verifies
verifies
Text is not SVG - cannot display
+
1, *
1, *
belongs_to
belongs_to
includes
includes
Feature
Feature
uses
uses
Component
Component
Delivery Container
Delivery Container
Feature
Requirements
Feature...
fulfills
fulfills
includes
includes
belongs_to
belongs_to
Feature
Architecture
Feature...
satifies
satifies
Component
Requirements
Component...
1,*
1,*
belongs_to
belongs_to
consists of
consists of
includes
includes
Unit
Unit
1, *
1, *
belongs_to
belongs_to
Source Code
Source Code
Stakeholder
 Requirements
Stakeholder...
satifies
satifies
implements
implements
Platform
Platform
1, *
1, *
consists of
consists of
has
has
1, *
1, *
Objectives
Objectives
1
1
1, *
1, *
fulfills
fulfills
uses
uses
Component
Architecture
Component...
satifies
satifies

belongs_to
belongs_to
Detailed
Design
Detailed...
satifies
satifies
implements
implements
consists of
consists of
implements
implements
1
1
*
*
Dependable Element
Dependable Element
includes
includes
1,*
1,*
*
*
1, *
1, *
Feature Safety/
Security Analysis
Feature Safety/...
Assumption of use
Assumption of use
- own AoU
-other AoU
- own AoU...
Platform Integration 
Tests
Platform Integration...
Feature
Integration Tests
Feature...
verifies
verifies
violates
violates
mitigated_by
mitigated_by
verifies
verifies
Component
Integration Tests
Component...
Component Safety /
Security Analysis
Component Safety /...
violates
violates
mitigated_by
mitigated_by
mitigated_by
mitigated_by
mitigated_by
mitigated_by
verifies
verifies
Unit Test
Unit Test
verifies
verifies
verifies
verifies
1
1
1,*
1,*
mitigated_by
mitigated_by
Platform Safety/
Security Analysis
Platform Safety/...
mitigated_by
mitigated_by
violates
violates
fulfils
fulfils
Logical Arc. Interface
Logical Arc. Interface
Legend
Legend
UML
(sphinx needs)
UML...
implicit
implicit
mandatory
mandatory
optional
optional
includes
includes
belongs_to
belongs_to
Dependable Element
View
Dependable Element...
Tool generated
Target not specified
Tool gener...
Line Color
Line Color
Line Style
Line Style
implements
implements
1
1
1, *
1, *
*
*
1
1
fulfills - but not the own AoU
fulfills - but not the own AoU
fulfills - but not the own AoU
fulfills - but not the own AoU
verifies
verifies
verifies
verifies
covers - but not the own AoU
covers - but not the own AoU
Text is not SVG - cannot display
diff --git a/process/process_areas/architecture_design/guidance/architecture_process_reqs.rst b/process/process_areas/architecture_design/guidance/architecture_process_reqs.rst index 8820b126db..59eaf3008e 100644 --- a/process/process_areas/architecture_design/guidance/architecture_process_reqs.rst +++ b/process/process_areas/architecture_design/guidance/architecture_process_reqs.rst @@ -168,7 +168,7 @@ Traceability to Requirements and AoU :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 a requirement. + Each architectural view (feature/comp_arc_sta, feature/comp_arc_dyn) and interface (logic/real_arc_int) shall be linked to a requirement. .. gd_req:: Architecture attribute: fulfils (AoU) :id: gd_req__arch_attr_fulfils_aou @@ -177,7 +177,7 @@ Traceability to Requirements and AoU :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. + Each architectural static view (feature/comp_arc_sta) shall be linked to AoUs if the element (feature/comp) fulfills these. .. gd_req:: Architecture traceability :id: gd_req__arch_traceability @@ -265,8 +265,9 @@ Checks for Architectural Design :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) + It shall be checked that architectural static view (feature/comp_arc_sta) 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, + another equivalent distinguishing is that the "own" AoU are in the same repository whereas the "other" are in another repository). .. gd_req:: Check of Architecture consistency Components in modules :id: gd_req__arch_consistency_model diff --git a/process/process_areas/requirements_engineering/guidance/requirements_process_reqs.rst b/process/process_areas/requirements_engineering/guidance/requirements_process_reqs.rst index 6e7e954069..63b137fcf5 100644 --- a/process/process_areas/requirements_engineering/guidance/requirements_process_reqs.rst +++ b/process/process_areas/requirements_engineering/guidance/requirements_process_reqs.rst @@ -199,7 +199,7 @@ Process Requirement Linkage :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. + Requirements shall be linked to AoU via the attribute covers, if they already cover these. * AoU <- feature requirements * AoU <- component requirements