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 @@ -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::
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -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]

Expand All @@ -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

Original file line number Diff line number Diff line change
Expand Up @@ -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]

Expand Down Expand Up @@ -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]
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -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]
Expand All @@ -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]
Expand Down Expand Up @@ -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]
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -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],
Expand All @@ -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],
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -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],
Expand All @@ -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],
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -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]

Expand Down Expand Up @@ -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]

Expand Down
31 changes: 20 additions & 11 deletions process/process_areas/verification/verification_workproducts.rst
Original file line number Diff line number Diff line change
Expand Up @@ -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],
Expand All @@ -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"

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

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

Not sure how this can be done ...


- 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
Expand Down Expand Up @@ -104,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],
Expand All @@ -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 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)
- 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

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

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

Not sure, how an automation can check if an DFA, FMEA and so on is "performed"?

@pahmann pahmann Sep 24, 2026 •

Copy link
Copy Markdown
Member Author

Choose a reason for hiding this comment

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

The DFA are work products these have to be collected based on their needs id and added to the report.
The report as such anyway also has to be audited for completeness.

- 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

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

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

Only a summary with link of the results ?

: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.
Expand Down
Loading