From 780c85d0e4150a7053e2b946e982d9d49c3b75ad Mon Sep 17 00:00:00 2001 From: Philipp Ahmann Date: Thu, 24 Sep 2026 14:57:56 +0000 Subject: [PATCH 1/2] Improve verification report based on module template Signed-off-by: Philipp Ahmann --- .../verification_workproducts.rst | 25 +++++++++++++------ 1 file changed, 17 insertions(+), 8 deletions(-) diff --git a/process/process_areas/verification/verification_workproducts.rst b/process/process_areas/verification/verification_workproducts.rst index 8d2cc2a18e..d72660bf0b 100644 --- a/process/process_areas/verification/verification_workproducts.rst +++ b/process/process_areas/verification/verification_workproducts.rst @@ -68,7 +68,10 @@ Platform - List of requirements (stakeholder and feature) and architecture tested by which test (can be several levels), passed/failed and completeness verdict, including normal operation and failure reactions - - The list of requirements may also contain other verification methods like "Analysis" + + - The list of requirements may also contain other verification methods like "Analysis" + + - Reports from manual Inspection Checklist (applies to ASIL related artifacts) on requirements - Formal evidence about the performed DFA - Formal evidence about the performed Safety Analyses - Test result per test case from @@ -118,22 +121,28 @@ Module Verification Report contains: - - List of requirements (and architecture/detailed design tags) tested by which test - (can be several levels), passed/failed and completeness verdict, including normal - operation and failure reactions - - The list of requirements may also contain other verification methods like "Analysis" + - List of requirements, architecture, and detailed design, their test coverage + including assumptions of use satisfied by the component, tested by which test + (can be several levels and types), passed/failed and completeness verdict, including normal + operation and failure reactions. + + - The list of requirements may also contain other verification methods like "Analysis" + + - Reports from manual Inspection Checklist (applies to ASIL related artifacts) on requirements, architecture, and implementation - Structural Coverage (C0 and C1, from unit testing on host) per unit - Static Code Analysis (including compiler warnings, automated checking of coding guidelines and additional checks) - - Formal evidence about the performed DFA - - Formal evidence about the performed Safety Analyses + - DFA Report containing the list of performed Dependent Failure Analysis with identified mitigations + - FMEA Report containing the list of performed Failure Mode and Effects Analysis on component and feature level + - Safety Analysis Report containing the list of the performed component Safety Analysis with identified mitigations - Software component qualification verification report - Test result per test case from :need:`wp__verification_sw_unit_test` and :need:`wp__verification_comp_int_test` with status passed/failed/not_run - Test log per test case from :need:`wp__verification_sw_unit_test` and :need:`wp__verification_comp_int_test` - with status passed/failed/not_run including a link to the matching retained execution log artifacts for the specific release version + with status passed/failed/not_run including a link to the matching retained execution + log artifacts for the specific release version It also serves as SW Component Qualification Verification Report for pre-existing Open Source Projects developed and maintained outside of the project to which this process is applied to. From 5c60c8c1d9820862f7b6f35d88aaa44ab07ee87e Mon Sep 17 00:00:00 2001 From: Philipp Ahmann Date: Thu, 24 Sep 2026 15:59:26 +0000 Subject: [PATCH 2/2] Implement review findings Signed-off-by: Philipp Ahmann --- .../verification/platform_verification_report.rst | 2 +- .../implementation/implementation_workflow.rst | 3 +-- .../quality_management/quality_workflow.rst | 6 +++--- .../release_management/release_workflow.rst | 6 +++--- .../safety_analysis/safety_analysis_workflow.rst | 4 ++-- .../security_analysis_workflow.rst | 4 ++-- .../verification/verification_workflows.rst | 4 ++-- .../verification/verification_workproducts.rst | 14 +++++++------- 8 files changed, 21 insertions(+), 22 deletions(-) diff --git a/process/folder_templates/platform/docs/verification/platform_verification_report.rst b/process/folder_templates/platform/docs/verification/platform_verification_report.rst index e563866b61..ce51b7c078 100644 --- a/process/folder_templates/platform/docs/verification/platform_verification_report.rst +++ b/process/folder_templates/platform/docs/verification/platform_verification_report.rst @@ -23,7 +23,7 @@ Platform Verification Report :version: 1 :safety: ASIL_B :security: YES - :realizes: wp__verification_platform_ver_report[version==1] + :realizes: wp__verification_platform_ver_report[version==2] :tags: template .. attention:: diff --git a/process/process_areas/implementation/implementation_workflow.rst b/process/process_areas/implementation/implementation_workflow.rst index 464f2cff53..dd066d732a 100644 --- a/process/process_areas/implementation/implementation_workflow.rst +++ b/process/process_areas/implementation/implementation_workflow.rst @@ -61,7 +61,7 @@ For a detailed explanation of workflows and their role within the process model, :responsible: rl__committer[version==1] :approved_by: rl__committer[version==1] :input: wp__sw_implementation[version==1], wp__sw_development_plan[version==1] - :output: wp__issue_track_system[version==1], wp__sw_implementation_inspection[version==1], wp__verification_module_ver_report[version==1] + :output: wp__issue_track_system[version==1], wp__sw_implementation_inspection[version==1], wp__verification_module_ver_report[version==2] :contains: gd_chklst__impl_inspection_checklist[version==1] :has: doc_concept__imp_concept[version==1], doc_getstrt__imp_getstrt[version==1] @@ -80,4 +80,3 @@ RAS(IC) for Implementation: :sort: status :columns: id as "Activity";responsible as "Responsible";approved_by as "Approver";supported_by as "Supporter" :colwidths: 30,30,30,30 - diff --git a/process/process_areas/quality_management/quality_workflow.rst b/process/process_areas/quality_management/quality_workflow.rst index 6171554302..e2b211b5b0 100644 --- a/process/process_areas/quality_management/quality_workflow.rst +++ b/process/process_areas/quality_management/quality_workflow.rst @@ -74,7 +74,7 @@ For a detailed explanation of workflows and their role within the process model, :approved_by: rl__project_lead[version==1] :supported_by: rl__committer[version==1] :input: wp__qms_plan[version==1], wp__process_description[version==1] - :output: wp__verification_platform_ver_report[version==1] + :output: wp__verification_platform_ver_report[version==2] :contains: gd_guidl__qlm_plan_definitions[version==1], gd_chklst__review_checklist[version==1], gd_guidl__wp_review[version==1] :has: doc_concept__quality_process[version==1], doc_getstrt__quality_process[version==1] @@ -106,8 +106,8 @@ For a detailed explanation of workflows and their role within the process model, wp__module_sw_release_note[version==1], wp__process_impr_report[version==1], wp__qms_report[version==1], - wp__verification_platform_ver_report[version==1], - wp__verification_module_ver_report[version==1], + wp__verification_platform_ver_report[version==2], + wp__verification_module_ver_report[version==2], wp__training_path[version==1] :output: wp__issue_track_system[version==1] :contains: gd_guidl__qlm_plan_definitions[version==1], gd_chklst__review_checklist[version==1], gd_req__quality_report[version==1] diff --git a/process/process_areas/release_management/release_workflow.rst b/process/process_areas/release_management/release_workflow.rst index de168a754e..d435dd9177 100644 --- a/process/process_areas/release_management/release_workflow.rst +++ b/process/process_areas/release_management/release_workflow.rst @@ -25,7 +25,7 @@ For a detailed explanation of workflows and their role within the process model, :version: 1 :responsible: rl__committer[version==1] :approved_by: rl__project_lead[version==1] - :input: wp__module_safety_package[version==1], wp__module_sw_release_plan[version==1], wp__verification_module_ver_report[version==1] + :input: wp__module_safety_package[version==1], wp__module_sw_release_plan[version==1], wp__verification_module_ver_report[version==2] :output: wp__module_sw_release_note[version==1] :contains: gd_temp__rel_mod_rel_note[version==1], gd_guidl__rel_management[version==1] :has: doc_concept__rel_process[version==1], doc_getstrt__release_process[version==1] @@ -39,7 +39,7 @@ For a detailed explanation of workflows and their role within the process model, :version: 1 :responsible: rl__project_lead[version==1] :approved_by: rl__project_lead[version==1] - :input: wp__platform_safety_package[version==1], wp__platform_sw_release_plan[version==1], wp__verification_platform_ver_report[version==1] + :input: wp__platform_safety_package[version==1], wp__platform_sw_release_plan[version==1], wp__verification_platform_ver_report[version==2] :output: wp__platform_sw_release_note[version==1] :contains: gd_temp__rel_plat_rel_note[version==1], gd_guidl__rel_management[version==1] :has: doc_concept__rel_process[version==1], doc_getstrt__release_process[version==1] @@ -80,7 +80,7 @@ For a detailed explanation of workflows and their role within the process model, :version: 1 :responsible: rl__project_lead[version==1] :approved_by: rl__project_lead[version==1] - :input: wp__platform_safety_package[version==1], wp__platform_sw_release_plan[version==1], wp__verification_platform_ver_report[version==1] + :input: wp__platform_safety_package[version==1], wp__platform_sw_release_plan[version==1], wp__verification_platform_ver_report[version==2] :output: wp__platform_handbook[version==1] :contains: gd_guidl__rel_handbook[version==1] :has: doc_concept__rel_process[version==1], doc_getstrt__release_process[version==1] diff --git a/process/process_areas/safety_analysis/safety_analysis_workflow.rst b/process/process_areas/safety_analysis/safety_analysis_workflow.rst index 401ce6cda6..b499b657f5 100644 --- a/process/process_areas/safety_analysis/safety_analysis_workflow.rst +++ b/process/process_areas/safety_analysis/safety_analysis_workflow.rst @@ -86,7 +86,7 @@ Safety Analysis is used as a umbrella term for the methods FMEA (Failure Modes a wp__feature_dfa[version==1], wp__sw_component_fmea[version==1], wp__sw_component_dfa[version==1] - :output: wp__verification_platform_ver_report[version==1], wp__issue_track_system[version==1], wp__verification_module_ver_report[version==1] + :output: wp__verification_platform_ver_report[version==2], wp__issue_track_system[version==1], wp__verification_module_ver_report[version==2] :contains: gd_guidl__dfa_failure_initiators[version==1], gd_temp__feat_saf_dfa[version==1], gd_temp__comp_saf_dfa[version==1], @@ -110,7 +110,7 @@ Safety Analysis is used as a umbrella term for the methods FMEA (Failure Modes a wp__feature_dfa[version==1], wp__sw_component_fmea[version==1], wp__sw_component_dfa[version==1] - :output: wp__verification_platform_ver_report[version==1], wp__verification_module_ver_report[version==1] + :output: wp__verification_platform_ver_report[version==2], wp__verification_module_ver_report[version==2] :contains: gd_guidl__dfa_failure_initiators[version==1], gd_temp__feat_saf_dfa[version==1], gd_temp__comp_saf_dfa[version==1], diff --git a/process/process_areas/security_analysis/security_analysis_workflow.rst b/process/process_areas/security_analysis/security_analysis_workflow.rst index 7d4fccf926..6cd0882863 100644 --- a/process/process_areas/security_analysis/security_analysis_workflow.rst +++ b/process/process_areas/security_analysis/security_analysis_workflow.rst @@ -85,7 +85,7 @@ Security analysis is used as an umbrella term. :approved_by: rl__security_manager[version==1] :supported_by: rl__contributor[version==1], rl__committer[version==1], rl__safety_manager[version==1] :input: wp__platform_security_analysis[version==1], wp__feature_security_analysis[version==1], wp__sw_component_security_analysis[version==1] - :output: wp__verification_platform_ver_report[version==1], wp__issue_track_system[version==1], wp__verification_module_ver_report[version==1] + :output: wp__verification_platform_ver_report[version==2], wp__issue_track_system[version==1], wp__verification_module_ver_report[version==2] :contains: gd_guidl__sec_ana_threat_scenarios[version==1], gd_temp__feat_threat_scenario[version==1], gd_temp__comp_threat_scenario[version==1], @@ -105,7 +105,7 @@ Security analysis is used as an umbrella term. :approved_by: rl__security_manager[version==1] :supported_by: rl__contributor[version==1], rl__committer[version==1], rl__safety_manager[version==1] :input: wp__platform_security_analysis[version==1], wp__feature_security_analysis[version==1], wp__sw_component_security_analysis[version==1] - :output: wp__verification_platform_ver_report[version==1], wp__verification_module_ver_report[version==1] + :output: wp__verification_platform_ver_report[version==2], wp__verification_module_ver_report[version==2] :contains: gd_guidl__sec_ana_threat_scenarios[version==1], gd_temp__feat_threat_scenario[version==1], gd_temp__comp_threat_scenario[version==1], diff --git a/process/process_areas/verification/verification_workflows.rst b/process/process_areas/verification/verification_workflows.rst index 797cff51df..864c3088c8 100644 --- a/process/process_areas/verification/verification_workflows.rst +++ b/process/process_areas/verification/verification_workflows.rst @@ -243,7 +243,7 @@ For a detailed explanation of workflows and their role within the process model, wp__requirements_inspect[version==1], wp__verification_comp_int_test[version==1], wp__verification_sw_unit_test[version==1] - :output: wp__verification_module_ver_report[version==1] + :output: wp__verification_module_ver_report[version==2] :contains: gd_temp__mod_ver_report[version==1] :has: doc_concept__verification_process[version==1], doc_getstrt__verification_process[version==1] @@ -284,7 +284,7 @@ For a detailed explanation of workflows and their role within the process model, wp__requirements_inspect[version==1], wp__verification_feat_int_test[version==1], wp__verification_platform_int_test[version==1] - :output: wp__verification_platform_ver_report[version==1] + :output: wp__verification_platform_ver_report[version==2] :contains: gd_temp__platform_ver_report[version==1] :has: doc_concept__verification_process[version==1], doc_getstrt__verification_process[version==1] diff --git a/process/process_areas/verification/verification_workproducts.rst b/process/process_areas/verification/verification_workproducts.rst index d72660bf0b..86cc6a18f7 100644 --- a/process/process_areas/verification/verification_workproducts.rst +++ b/process/process_areas/verification/verification_workproducts.rst @@ -54,7 +54,7 @@ Platform .. workproduct:: Platform Verification Report :id: wp__verification_platform_ver_report :status: valid - :version: 1 + :version: 2 :tags: doc_lifecycle_model_2 :complies: std_wp__iso26262__software_1053[version==1], std_wp__iso26262__support_953[version==1], @@ -71,7 +71,7 @@ Platform - The list of requirements may also contain other verification methods like "Analysis" - - Reports from manual Inspection Checklist (applies to ASIL related artifacts) on requirements + - Reports from manual Requirements Inspection Checklist (applies to ASIL related artifacts) - Formal evidence about the performed DFA - Formal evidence about the performed Safety Analyses - Test result per test case from @@ -107,7 +107,7 @@ Module .. workproduct:: Module Verification Report :id: wp__verification_module_ver_report :status: valid - :version: 1 + :version: 2 :tags: doc_lifecycle_model_2 :complies: std_wp__iso26262__software_952[version==1], std_wp__iso26262__software_1053[version==1], @@ -128,7 +128,7 @@ Module - The list of requirements may also contain other verification methods like "Analysis" - - Reports from manual Inspection Checklist (applies to ASIL related artifacts) on requirements, architecture, and implementation + - Reports from manual Requirements, Architecture, and Implementation Inspection Checklists (applies to ASIL related artifacts) - Structural Coverage (C0 and C1, from unit testing on host) per unit - Static Code Analysis (including compiler warnings, automated checking of coding guidelines and additional checks) @@ -138,11 +138,11 @@ Module - Software component qualification verification report - Test result per test case from :need:`wp__verification_sw_unit_test` and :need:`wp__verification_comp_int_test` - with status passed/failed/not_run + with status passed/failed/not_run as a summary - Test log per test case from :need:`wp__verification_sw_unit_test` and :need:`wp__verification_comp_int_test` - with status passed/failed/not_run including a link to the matching retained execution - log artifacts for the specific release version + with status passed/failed/not_run as a link to the matching retained execution + log artifacts for the specific release version (only linkis, not a full log in the report). It also serves as SW Component Qualification Verification Report for pre-existing Open Source Projects developed and maintained outside of the project to which this process is applied to.