DekEn
Guided demo

From a solved network to signable evidence

DekEn carries one engineering thread end-to-end: solve the hydraulics → seed a HAZOP from the model → verify the SIF's SIL → issue a datasheet as evidence. The four steps below each link to the real place they happen. This guide does not fabricate anything — every number you see along the way comes from your own solved network.

Start with the curated demo network. In the builder, open Examples and load “Bridge Demo — Process Feed to a Relief-Protected Vessel”. It is a small, realistic process line (an elevated supply → process header → relief-protected vessel) that solves cleanly — a good showcase for every step.

The four steps

Solve the network

Step 1

Open the model builder and load the curated "Bridge Demo" example (an elevated feed into a relief-protected vessel). Run the solve — the line velocities and node pressures come from the real GGA solver.

Open the builder

Seed from model → HAZOP

Step 2

In a PHA study, focus a node and choose "Seed from model". Paste the solved result (or load a saved hydraulic project). Each credible deviation is proposed with the real solved value that triggered it — indicative starting points for competent-person review, never auto-asserted hazards.

Go to PHA studies

Verify the SIF / SIL

Step 3

Credit a relief / safety instrumented function on the overpressure deviation, then open its SIL verification panel. PFDavg (IEC 61508-6) plus the architectural SFF/HFT cap give the achieved SIL — lumped or per-subsystem.

Open a study

Issue a datasheet as evidence

Step 4

Back in "Seed from model", generate an FM-EN-17 datasheet whose operating duty is stamped from the solve, then "Save to study as evidence". It is hashed (SHA-256) and written to the study's audit chain so a sign-off can cite it.

Issue a datasheet

Indicative guidance only. Seeded deviations and SIL figures are starting points for competent-person review — not a substitute for a licensed Professional Engineer or a formal functional-safety assessment.