Analysis of Complex Systems

The oil & gas industry is full of complex systems. These systems are technical, such as cloud systems, or organizational, like maintenance programs.

Complex systems are usually very difficult to understand and analyse because they are characterised by many interdependent tasks or activities happening at the same time. In the oil and gas domain, we can observe such systems in e.g., diverse and interdependent industrial and geological processes and in supporting technologies such e.g., software applications, big networks of heterogeneous robots and sensors and parallel super computers accessing data. For some of these systems it is useful to capture such behaviours and interactions in order to find errors, redesign, extend, and improve them, while for others a much clearer picture of such behaviours and interactions can facilitate other kinds of analysis. One way to understand and analyse such systems is by using formal methods. Formal methods are mathematical based techniques to abstractly represent or model the behaviour and interaction of systems. This program develops and applies techniques that support the representation and analysis of correct behaviours and interactions of complex systems, together with  analysis related to time-dependent systems, resource management, constraint solving, optimisation and prediction.

Modelling and Analysing Complex Systems

Cloud computing is changing the traditional business model for Information Technology. It offers users with on-demand infrastructure and applications over the Internet with pay-as-you-go pricing. This changes how software suppliers build and deliver their programs. Cloud-based applications must be adaptable, modular, and quickly accessible. Furthermore, container technology allows applications can be run in communicating but self-contained environments that fully exploit the elasticity of cloud. These new possibilities and opportunities come with the cost of a more complex workflow. Development decisions are intertwined with the application deployment issues. Designing a complex system is a challenging: many possible settings and parameters can be tuned. Poor choices can result in system failure, high costs and displeased customers.

The ADAPT project started in 2018, with Lizeth Tapia Tarifa as leader and FRINATEK funding from the Research Council. This project aims to develop a new technique to improve data locality in parallel processing. The idea is systematically to coordinate task scheduling and data allocation using predicted patterns of data access to memory, i.e. reads and writes access to locations in memory. The approach will combine formal models of parallel systems with basic research in programming language theory to (1) capture abstractly the interaction of workflows with dynamically created tasks and memory locations on parallel computers, and (2) combine formal analysis with model-based simulations to explore how to systemically calibrate schedulers and allocators for specific applications. The result of this project will complement SIRIUS’ current toolbox on model-based prediction.

Spotlight on ABS: Model-Based Predictions for Complex Parallel Systems

Our aim is to predict the behaviour of complex systems using the analysis of models. Decisions can then be made based on these analyses.

Our expertise lies in modelling complex parallel and distributed systems, including object-oriented and service-oriented systems, cloud computing and the Internet of Things. Analysis techniques for these models range from simulation, which analyses a single run of a system, to deductive verification, which analyses all possible runs of a system.  We analyse both functional and non-functional properties such as safety properties, timing properties, resource management and scaling strategies. Our work on resource-restricted parallel systems with timing constraints is currently being applied to planning and logistics in the context of SIRIUS.

We bring background from two, successfully completed, European projects: Envisage and HyVar. These have been described in detail in earlier reports. This background is unified through the ABS modelling language and analysis framework. Each of these projects provides important tools and experience that can be used in the SIRIUS experiments and pilots.  Today, we also bring solutions developed for planning and logistics in SIRIUS, as well as needs identified in this domain, back into the overall development of ABS.

The ABS Modelling Language (link)

ABS is a language for Abstract Behavioral Specification of distributed and concurrent systems, which supports the modelling of resource restrictions and resource management.

It combines implementation-level specifications with verifiability, high-level design with executability, and formal semantics with practical usability. It is a concurrent, object-oriented, modelling language that features functional data-types. It is designed to develop executable models with a parallel, object-oriented program flow. ABS targets distributed and concurrent systems by means of concurrent object groups and asynchronous method calls. It supports model variability based on feature models and delta-oriented specifications. Deployment modelling can be based on high-level deployment models. The ABS system supports the modelling of resource-aware and resource-restricted systems and provides a range of techniques for model exploration and analysis, based on formal semantics.

Finally, ABS is an open source research project. You can find the project on GitHub at https://github.com/abstools/abstools.

From Project-driven to Community-driven Research

We are currently moving ABS from a project-driven to a community-driven technology.

To this end, the first international ABS workshop was held in Oslo, Norway (May 2017), the second international ABS workshop was held in Darmstadt, Germany (May 2018), and the third international ABS workshop will be held in Amsterdam, The Netherlands (May 2019). Researchers and research groups from, e.g., Oslo, Bergen, Darmstadt, Bologna, Madrid, Odense, Braunschweig, Torino, Paris, Djakarta, and Amsterdam are all stakeholders in the development of ABS and associated technology.

More information and news from this program