Skip to content

Improve verification report based on module template - #794

Open
pahmann wants to merge 2 commits into
eclipse-score:mainfrom
etas-contrib:pahmann/mod-ver-rep-update
Open

pahmann wants to merge 2 commits into
eclipse-score:mainfrom
etas-contrib:pahmann/mod-ver-rep-update

Conversation

@pahmann

@pahmann pahmann commented Sep 24, 2026

Copy link
Copy Markdown
Member

Within the module template more artifacts are considered than in the work product description. Especially checklist have to be added as artifact. Also FMEA was not listed so far, but should also be part of the reports.

Signed-off-by: Philipp Ahmann <philipp.ahmann@de.bosch.com>
@github-actions

Copy link
Copy Markdown

The created documentation from the pull request is available at: docu-html

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.

Should version increased to version 2 ?

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.

Increase to version 2?

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 ...


- The list of requirements may also contain other verification methods like "Analysis"

- Reports from manual Inspection Checklist (applies to ASIL related artifacts) on requirements

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.

Name it requirement inspection list ?


- 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

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.

"checklist" -> "checklists"

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.

- 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

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.

The report should include the test log per test case ? Then it will become very long. Or is here a link to the test logs here available with only a summary of the results of any tests.

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 report will include a link to the archive which includes the logs. I will add this.

- 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 ?

Signed-off-by: Philipp Ahmann <philipp.ahmann@de.bosch.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants