Integrated Digital Planning
SIRIUS’ planning project started by developing a case study that looked at vessel movements and cargo transport in the North Sea. The goal was to improve the workflow of planners at Equinor by providing a better overview of the bottlenecks that could delay overall progress, the load on different vessels, and the quality of their logistics operations.
The first phase of the project used Real-time ABS as a modelling language to simulate and visualize the actual logistics operations, based on two months of logistics data provided by Equinor. This initial case study already illustrated the general usefulness of Real-time ABS modelling, beyond the realm of computing systems. The prototype already allowed the user to browse container lists for containers loaded to an offshore installation, or loaded on a vessel at a specific time, and from there track the container’s content back to work orders.
A second step aimed to combine these simulations with stronger analyses to generate solutions and verify their correctness with respect to requirements such as resource restrictions, safety regulations, and space limitations. There were promising early results in analysing the operational data using SMT (Satisfiability Modulo Theories) and OMT (Optimization Modulo Theories) techniques – we managed to automatically locate errors and ambiguities in the provided data by checking against its expected logical structure, and to calculate maximum values for various parameters.