One platform for the whole system lifecycle
From the first gate to a result you can defend in a review โ and on through operation and every modification after it. Modeling, traceable results, continuous verification, quantification on a proven engine, team collaboration and automated studies: the capabilities that keep risk analysis collaborative, adaptive and continuous. Fault trees and event trees, all in the browser.
Fault Tree Analysis
Model gates, basic events, house events and common-cause failures, with real-time preview quantification as you build.
Event Tree Analysis
Construct branching scenarios from initiating events through to outcomes and full risk propagation.
Proven quantification engine
Instant feedback while you edit, official runs on RFTA as logged, reproducible tasks โ your full model, mission phases and common-cause groups included.
Automated verification
Model checking detects errors and warnings automatically after every modification.
Results & traceability
Explore minimal cutsets, importance measures and uncertainties; every official run is archived with its logs and results, with Excel export for reporting.
Secure cloud repository
Upload, organise and manage models centrally with controlled sharing and versioning.
Project containers
Assemble individual models into compound studies with cross-model search, per-member profiles and batch quantification.
Profile-based scenarios
Override parameters and configurations per scenario without altering your trusted base model.
Automation pipelines
Script staged, multi-step analysis runs with a dedicated pipeline editor โ repeatable studies instead of manual clicking.
Fault & Event Tree editors
An intuitive editor for building rigorous models โ fault trees for component-level failure logic, event trees for system-level scenarios.
- Gates, basic/house events and CCF groups
- Initiating events, branches and outcomes
- Real-time preview quantification while editing
- Reusable elements across models
A proven engine behind every number
Instant feedback while you edit, official runs as traceable asynchronous tasks โ all computed by RFTA, EdgeMind's own engine. NextPSA prepares the master fault tree from your fault and event trees, RFTA quantifies it, and the results come back onto your model โ logged and reproducible.
- Immediate mode for in-editor feedback, official mode for defensible results
- Master fault tree built from your model: sequences, profile, phase-dependent mission times and analysis case
- RFTA validated against an independent reference engine on every release, with truncation that never drops part of the complete result
- Asynchronous task view with logs and downloadable results
Automated model verification
Every change is checked automatically, so structural errors and inconsistencies surface immediately โ not during a late review. It is what makes continuous analysis safe: a model that evolves over years stays consistent at every step.
- Continuous consistency checking
- Clear errors and warnings with context
- More defensible, audit-ready models
Analytical results, fully traceable
Turn quantification into insight, and keep the evidence. Visualise cutsets, importance measures and uncertainties โ while every official run keeps its inputs, logs and results, and every model keeps its version history.
- Minimal cutsets and dominant contributors
- Importance measures and uncertainties on results
- Each official run archived with its inputs, logs and downloadable results
- Versioned models, so a study can be reproduced later
- Excel export for review-friendly reporting
Secure cloud repository
Risk analysis is a team effort that spans years. Keep models centralised and shareable, organise projects, control access and track versions โ so modellers, verifiers, analysts and reviewers work on the same reference, whoever joins the project and whenever they do.
- Central, organised model storage
- Controlled sharing and versioning
- SSL-encrypted, EU-hosted data
From what-if scenarios to automated studies
Systems change โ a design revision, a new operating mode, a component replaced in service. Explore each configuration change and what-if scenario with profiles, derived from one trusted base model that is never altered โ then quantify the whole study in one batch or script it as a pipeline, so the analysis adapts as fast as the system does.
- Override element parameters per scenario
- Per-member profiles inside project containers
- Compare scenarios side by side
- Single source of truth, many independent results
- Batch quantification and scriptable automation pipelines for recurring studies
Situations we see every week
No product names, just the day-to-day of PSA teams trying to keep a study alive over the life of a system โ and the capability above that changes it.
โInconsistencies only show up at quantification time โ or in a late review.โ
Automated verification after every change, with clear errors and warnings before anyone reviews.
Automated verification โโYou only find out whether a change helped once the full quantification has run โ and that takes a while.โ
Smart requantification gives instant feedback while you edit; official runs execute on the RFTA engine as traceable tasks.
Proven quantification โโModels travel by e-mail, one modeller at a time. Reviewers and analysts never see the live model.โ
One secure cloud repository, controlled sharing and versions โ everyone works on the same model, in the browser.
Secure cloud repository โโEvery what-if variant is another copy of the model, studies are re-run by hand, and reproducing last yearโs results takes days.โ
Profiles derive every scenario from one trusted base model; batch quantification and pipelines make whole studies repeatable.
Scenarios & automation โNothing to install, nothing to redo
Continuity starts with the studies you already have: bring them in, keep working on them, and keep them current.
Bring your existing models
Import existing work, including a dedicated converter that migrates legacy databases into platform models โ prior studies carry forward instead of starting from scratch.
Model import & migration โPrefer to run everything locally?
NextPSA Desktop runs the same platform entirely on the user's machine, with licensing designed for offline and air-gapped environments โ built for the strictest requirements in nuclear and defense.
Cloud, Desktop or on-premise โSee it on your own models
Book a guided demo with one of our specialists and see your own fault trees quantified and verified live โ free academic licenses available.