Formal specification of the Event Tree Definition Language (ETDL) v1.0.0 — a declarative design-time DSL for reliability-aware event-driven business processes, modeling event trees (IEC 62502) and fault trees (IEC 61025) over AsyncAPI 3.0.
documentation fault-tree event-tree reliability-engineering dsl reliability standards specification event-driven domain-specific-language risk-assessment formal-specification probabilistic-risk-assessment asyncapi causal-modeling safety-engineering event-tree-analysis fault-tree-analysis iec-61025 iec-62502
-
Updated
Sep 1, 2026