eclipse-score

Here are 2 public repositories matching this topic...

pulseengine / playground-eclipse-score

Eclipse S-CORE typed-traceability playground — 2985 sphinx-needs artifacts converted to rivet typed YAML, with falsification oracle and starter variant model. Not affiliated with the Eclipse Foundation.

traceability safety-critical mbse requirements-engineering iso-26262 rivet sphinx-needs falsification eclipse-score asil-b

Updated May 24, 2026
Python

pulseengine / example-kvs

Star

Eclipse-score persistency::kvs through the full pulseengine stack — rivet typed artifacts + spar AADL + WIT contract + witness MC/DC harness + sigil release manifest + artifact-driven verification gate. Not affiliated with Eclipse Foundation.

wit aadl safety-critical spar mbse iso-26262 rivet wasm-component pulseengine eclipse-score

Updated May 25, 2026
Rust

Improve this page

Add a description, image, and links to the eclipse-score topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the eclipse-score topic, visit your repo's landing page and select "manage topics."

Learn more

Provide feedback

Saved searches

Use saved searches to filter your results more quickly