Proceedings of the 20th International Overture Workshop

TL;DR

The 20th International Overture Workshop showcased recent advancements in the Vienna Development Method (VDM) and its open-source tools, emphasizing collaborative modelling, analysis, and co-simulation for cyber-physical systems.

Contribution

This workshop highlights the latest developments in VDM and Overture, including new collaboration tools and techniques for modelling and analyzing cyber-physical systems.

Findings

Updates on VDM/Overture technology

Introduction of collaboration infrastructure

Advances in co-simulation for cyber-physical systems

Abstract

This volume contains the papers presented at the 20th International Overture Workshop, which was held in an hybrid format: online and physically at Aarhus, Denmark on 05th July 2022. This event was the latest in a series of workshops around the Vienna Development Method (VDM), the open-source project Overture, and related tools and formalisms. VDM is one of the longest established formal methods for systems development. A lively community of researchers and practitioners has grown up in academia and industry around the modelling languages (VDM-SL, VDM++, VDM-RT, CML) and tools (VDMTools, Overture, VDM VSCode extension, Crescendo, Symphony, the INTO-CPS chain, and ViennaTalk). Together, these provide a platform for work on modelling and analysis technology that includes static and dynamic analysis, test generation, execution support, and model checking. This workshop provided updates on the emerging technology of VDM/Overture, including collaboration infrastructure, collaborative modelling and co-simulation for Cyber-Physical Systems.