Skip to content

Pastey crate Traceability using LOBSTER#39

Merged
aschemmel-tech merged 15 commits into
eclipse-score:mainfrom
bharatGoswami8:pastey_crate_traceability
Jun 16, 2026
Merged

Pastey crate Traceability using LOBSTER#39
aschemmel-tech merged 15 commits into
eclipse-score:mainfrom
bharatGoswami8:pastey_crate_traceability

Conversation

@bharatGoswami8

@bharatGoswami8 bharatGoswami8 commented Jun 1, 2026

Copy link
Copy Markdown
Contributor

Add Pastey Crate Traceability: Complete FMEA, Design Documentation, and Test Coverage

  • Build system updated (score_tooling, Sphinx integration)
  • Requirements management (system, feature, component levels)
  • Architectural and static design documentation with PlantUML diagrams
  • Failure Mode and Effects Analysis (FMEA) with Fault Tree Analysis (FTA)
  • Test cases with LOBSTER traceability comments
  • Dependable element definition with ASIL B integrity level

Test Results
//docs/pastey/docs:aou_test - PASSED
//docs/pastey/docs:pastey - PASSED
//docs/pastey/docs:pastey_dependability_analysis - PASSED
//docs/pastey/docs/component:pastey_component - PASSED
//docs/pastey/docs/requirement:*_test - PASSED
//docs/pastey/tests:pastey_test - PASSED (8 test cases)

Documentation Generation
Sphinx documentation builds successfully with PlantUML diagrams rendered
LOBSTER report generated with full traceability links
HTML and RST output verified

LOBSTER Report is attached here -
pastey_index_report.html

@bharatGoswami8 bharatGoswami8 force-pushed the pastey_crate_traceability branch from f8d2e64 to 15400f6 Compare June 1, 2026 06:35
@bharatGoswami8 bharatGoswami8 changed the title Added the basel registry and bazel version Pastey crate Traceability using LOBSTER Jun 1, 2026
@bharatGoswami8 bharatGoswami8 force-pushed the pastey_crate_traceability branch 12 times, most recently from 2472875 to 8355701 Compare June 4, 2026 06:47
@bharatGoswami8 bharatGoswami8 marked this pull request as ready for review June 4, 2026 09:00
@bharatGoswami8 bharatGoswami8 self-assigned this Jun 4, 2026
@bharatGoswami8

Copy link
Copy Markdown
Contributor Author

End-to-end traceability has been established using the LOBSTER tool within the score-crates repository.

Although unit test results are not currently displayed in the generated reports due to a known limitation in Rust test result parsing (eclipse-score/tooling#248 same issue created on lobster tool side as well).

Report is attached with PR description, we will enable the GitHub workflow for documentation upload/update with PR with a separate PR.

Comment thread docs/pastey/docs/safety_analysis/root_causes/compilation_errors_fta.puml Outdated
Comment thread docs/pastey/docs/safety_analysis/root_causes/invalid_syntax_position_fta.puml Outdated
Comment thread docs/pastey/docs/safety_analysis/failure_modes.trlc
Comment thread docs/pastey/docs/safety_analysis/root_causes/compilation_errors_fta.puml Outdated
Comment thread docs/pastey/docs/safety_analysis/root_causes/invalid_syntax_position_fta.puml Outdated
Comment thread docs/pastey/docs/safety_analysis/aou.trlc Outdated
Comment thread docs/pastey/tests/pastey_test.rs

@rpreddyhv rpreddyhv left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

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

👏 I appreciate the efforts put into the traceability of first SCORE crate. This becomes a reference for traceability of other such crates, though it is macro only crate.

I have few questions & suggestions. No critical findings from my side.

Comment thread MODULE.bazel.lock
Comment thread third_party/sphinx/BUILD
Comment thread docs/pastey/tests/pastey_test.rs
Comment thread docs/pastey/tests/pastey_test.rs
Comment thread docs/pastey/docs/BUILD
Comment thread docs/pastey/docs/safety_analysis/root_causes/compilation_errors_fta.puml Outdated
Comment thread docs/pastey/docs/safety_analysis/aou.trlc
@bharatGoswami8 bharatGoswami8 force-pushed the pastey_crate_traceability branch from 41ca8a4 to 19bdd7d Compare June 7, 2026 13:32
@bharatGoswami8 bharatGoswami8 requested a review from rpreddyhv June 7, 2026 13:33

@aschemmel-tech aschemmel-tech left a comment

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.

See inline comments

Comment thread docs/pastey/docs/design/architectural_design.rst Outdated
Comment thread docs/pastey/docs/design/architectural_design.rst Outdated
Comment thread docs/pastey/docs/safety_analysis/failure_modes.trlc Outdated
Comment thread docs/pastey/docs/safety_analysis/failure_modes.trlc Outdated
Comment thread docs/pastey/docs/safety_analysis/aou.trlc
Comment thread docs/pastey/tests/pastey_test.rs
Comment thread docs/pastey/tests/pastey_test.rs
Comment thread docs/pastey/docs/safety_analysis/failure_modes.trlc Outdated
@bharatGoswami8 bharatGoswami8 force-pushed the pastey_crate_traceability branch from ac5439e to b995b7e Compare June 15, 2026 10:25
* Addressed the review feedback
* Removed Not required AoU
* Modified design folder structure
@bharatGoswami8 bharatGoswami8 force-pushed the pastey_crate_traceability branch from b995b7e to 925a82b Compare June 15, 2026 10:27
@bharatGoswami8 bharatGoswami8 force-pushed the pastey_crate_traceability branch from 5288c13 to eaba310 Compare June 16, 2026 06:43

@aschemmel-tech aschemmel-tech left a comment

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.

my findings resolved

@aschemmel-tech aschemmel-tech merged commit ff312ac into eclipse-score:main Jun 16, 2026
3 checks passed
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.

4 participants