Profile contract
fault.tree@1
AND/OR gate decomposition of a top event into basic events; tree layout.
graph projectionFault tree
Open this profile in the gallery
Primary palette
Relationship roles
Legal endpoints
| Relation | Source roles | Target roles | Self relation |
|---|---|---|---|
tree.input | tree.gate | tree.event, tree.gate | Not allowed |
Profile verification
- Each gate declares and/or and has at least two inputs.
- These two named profiles retain the existing shared gate-tree notation; event.tree is not a full probabilistic branching-event-tree engine.
Profile defaults
Explicit file settings override eligible CSS, then these profile defaults and the common standard apply. Unspecified semantic facts remain unspecified.
{
"projection.kind": "graph",
"projection.profile": "fault.tree@1"
}Projection properties
kind, profile, inputs, analysis_budget, traces, iso, depth
Design operations
- Create event/gate; choose gate operator; connect inputs; inspect structural diagnostics.
Bounded analysis
Structural verification and display only; no execution or implied process engine.
Outside this profile
- probability quantification
- minimal cut-set computation
- reliability certification