Book a walkthrough

Case study

An atmosphere detritiation system, end to end

A complete pass through Principia on a real engineering problem: an atmosphere detritiation system for a fusion fuel cycle, carried from requirements to a running digital twin. Every screenshot below is the working platform — click any of them to enlarge.

Phase 1

Home and project management

The workspace and the lifecycle view

Principia dashboard listing projects, teams and recent activity — A flexible workspace with project, product and user management, recent activity and role-based permissions.

V-model project view showing lifecycle phases and their status — Progress visualised as a V-model. Click any phase to enter its modelling workspace; engineering methods are user-definable.

Phase 2

Requirements

Capturing what the plant must do

Dialog for creating a model, offering a choice of modelling language — Choose a modelling language per model, or define a domain-specific one of your own.

SysML v2 requirements editor with nodes and satisfy relations — Graphical SysML v2 requirements with satisfy, derive and decompose relations, created by drag and drop.

Project view with the requirements phase marked complete — Completed phases turn green after review and the V-model updates itself.

Phase 3

System design

Architecture, in two representations at once

Creating the system design model with a language selector — Mixed-language modelling inside a single project — SysML v2 and Ecore side by side.

SysML v2 model shown as both a diagram and text — Graphical and textual SysML v2 kept in bidirectional sync: edit either, both update.

Epsilon model management panel running a query with output — Eclipse Epsilon drives query, validation, model-to-model and model-to-text transformation over the live model.

Phase 4

Module design

Behaviour, physics and failure

SysML v2 state machine editor with states and transitions — States, transitions, triggers, guards and effects for the plant's operating modes.

Modelica source and a plotted simulation result — Modelica authored in the browser, simulated server-side, plotted instantly with variable selection.

FMU runtime with parameter configuration and results — FMU import and execution with parameter configuration and immediate plotting.

FMEA table with failure modes, ratings and risk priority numbers — FMEA imported from the SysML model, with risk priority numbers computed automatically and action plans tracked.

Phase 5

Implementation

Code, and proof about the code

Java implementation view with build and test output — Java generation with import and export, real-time build, test and run.

Formal verification panel showing inline results — Dafny, FDR and Isabelle with inline feedback — trace and failures refinement, and evidence generated for the assurance case.

Phase 6

Integration

Arguing that it is safe

GSN safety case with goals, strategies and solutions — Goal Structuring Notation safety cases, traceable to any element of any model.

CAE safety case with claims, arguments and evidence — The same argument expressed in Claims-Arguments-Evidence, with modular interfaces.

GSN diagram with evidence results marked against solutions — Each Solution's linked evidence re-run in one click, and marked sound or problematic.

Phase 7

Digital twin

The model, connected to the running plant

3D view of the plant bound to the SysML model — A 3D asset bound to the SysML model, with full association between geometry and model elements.

Digital twin dashboard with live values — Generated twin endpoints synchronise runtime values back into the SysML model.

Phase 8

Trace links

Linking across languages, and following the links

Traceability panel showing the project model tree — Open the trace panel from any editor, browse the whole project model tree, and link any element to any other in both directions.

Jumping from a design element to its requirement — Executable links open the target editor directly — design to requirement in one click.

Simulation binding panel mapping SysML to Modelica parameters — SysML elements bound one-to-one to OpenModelica or FMU parameters.

Phase 9

Digital thread

Every link, as one continuous thread

Digital thread view of lifecycle-wide trace links — Every trace link across the lifecycle woven into a single digital thread.

Change-impact analysis across the digital thread — Lifecycle-wide traceability driving automatic change-impact analysis.

Pilots and partnerships

Run this on your system

Principia is a mature platform seeking pilot deployments and design partners.

Arrange a pilot Back to the platform