Verification Report

Persistency Verification Report		status: valid security: NO safety: ASIL_B
tags: persistency version: 1 realizes: wp__verification_module_ver_report
doc__persistency_verification_report		Generic Document

This verification report is based on the verification plan. It covers all the components of the above stated module.

Verification Report contains:

1. Verification Coverage

1.1. on Requirements

• Lists of component requirements (incl. AoU satisfied by the component) tested by which test case, passed/failed and completeness verdict (this shall be generated by tools and accompanied by progress charts to be usable also for project steering)

• For external component Assumptions of Use: coverage by platform safety manual or feature/components incl. test case, passed/failed and completeness verdict

• This is split in a list of QM requirements tested and a separate list of tests for ASIL rated requirements.

• List of component requirements (ASIL rated) linked to inspection checklist and verdict (derived from PR export)

1.2. on Architecture

• List of component architecture tags tested by which test case, passed/failed and completeness verdict (this shall be generated by tools and accompanied by progress charts to be usable also for project steering)

• This is split in a list of QM components tested and a separate list of tests for ASIL rated components.

• List of component architecture tags (ASIL rated) linked to inspection checklist and verdict (derived from PR export)

1.3. on Detailed Design

• List of detailed design tags tested by which test case, passed/failed and completeness verdict (this shall be generated by tools and accompanied by progress charts to be usable also for project steering)

• This is split in a list of QM components tested and a separate list of tests for ASIL rated components.

• List of detailed design tags (ASIL rated) linked to inspection checklist and verdict (derived from PR export)

• The lists may also contain other verification methods like “Analysis” - process tbd

2. DFA Report

• KVS DFA (doc__kvs_dfa) documents that DFA is performed on feature level Persistency DFA (doc__persistency_dfa)

• Persistency Safety Analysis... (doc__persistency_safety_analysis_fdr) performed

List of performed feature DFA analyses

ID	Mitigation	Sufficient	Status
feat_saf_dfa__persistency__execution_blocking	aou_req__persistency__appl_exec	yes	valid

DFA is performed. All mitigations are sufficient to reduce the risk to an acceptable level. The AoU is documented in the safety manual.

3. Safety Analysis Report

• KVS FMEA (doc__kvs_fmea) documents that FMEA is performed on feature level Persistency FMEA (doc__persistency_fmea)

• Persistency Safety Analysis... (doc__persistency_safety_analysis_fdr) performed

List of performed feature FMEA analyses

ID	Mitigation	Sufficient	Status
feat_saf_fmea__persistency__message_nreived	aou_req__persistency__error_handling	yes	valid
feat_saf_fmea__persistency__late_message	aou_req__persistency__error_handling	yes	valid
feat_saf_fmea__persistency__corrupted_message	aou_req__persistency__error_handling	yes	valid
feat_saf_fmea__persistency__not_sent	aou_req__persistency__error_handling	yes	valid
feat_saf_fmea__persistency__err_handl	aou_req__persistency__error_handling	yes	valid

FMEA is performed. All mitigations are sufficient to reduce the risk to an acceptable level. The AoU’s are documented in the safety manual.

4. Unit Verification Coverage

4.1. Structural Coverage

• List of the units with C0(line) and C1(branch) coverage absolute and percentage (this shall be generated by tools and accompanied by progress charts to be usable also for project steering)

• List includes a column for the safety rating of each unit.

4.2. Static Code Analysis

• List of the units with compiler warning numbers and coding rule violation numbers (this shall be generated by tools and accompanied by progress charts to be usable also for project steering)

• List includes a column for the safety rating of each unit.

4.3. Manual Code Inspection

• List of components (ASIL rated) linked to inspection checklist and verdict (derived from PR export)

5. Software component qualification verification report

• Contains the needed verification results if for some components a qualification of pre-developed SW is performed.

6. Test results

• Test result per test case with status passed/failed/not_run

7. Test logs

• Test log per test case with status passed/failed/not_run

Note1: The verification report is valid for the module version tagged together with the report

Note2: All the above lists are generated automatically