The advanced reliability-engineering layer for ETDL (Event Tree Definition Language): statistical estimation, uncertainty propagation, evidence/observations, canonical failure ontology, and source-code failure discovery.
This is a separate repo from the core etdl compiler/CLI/parser by design: etdl-compiler depends only on the small, built-in etdl-reliability-core crate (in the core repo) — never on anything here — so a user who only wants to compile .etdl documents never pulls in statistical/analysis tooling they didn't ask for.
| Crate | Purpose |
|---|---|
etdl-reliability |
Statistical estimation (empirical/Wilson, Beta-Binomial Bayesian, exponential), sensitivity analysis, evidence/observations |
etdl-reliability-ontology |
Canonical failure taxonomy — stable identifiers, separate from reliability knowledge and evidence |
etdl-failure-discovery |
Static source-code analysis producing candidate failure modes mapped to the ontology |
- Ontology — what is this? (canonical IDs —
etdl-reliability-ontology) - Evidence — what happened? (observations —
etdl-reliability) - Reliability model — how likely is it? (estimates — built-in, in the core
etdlrepo'setdl-reliability-core) - Analysis — what does the model imply? (
etdl-reliability) - ETDL — how does the system behave? (
etdl-compiler)
A new observation never creates a new ontology identifier; discovery never silently modifies the ontology or produces authoritative probabilities — everything here feeds engineering review before it becomes part of a compiled model.
Full architecture: docs/architecture/reliability-layers.md and docs/reliability/README.md in the core repo.
Apache-2.0