Overture Tool

Formal Modelling in VDM

Overture Tool

Go to our GitHub Profile

Follow @overturetool

THE 2025 INTO-CPS OVERTURE SUMMIT

incorporating the

23rd Overture Workshop and
3rd INTO-CPS Association Brainstorm

11-12th June 2025 hosted by Aarhus University, Denmark

Call for Contributions

We are excited to announce that 11-12th June 2025 will see a joint gathering of two groups active in well-founded model-based methods for Systems Engineering at Aarhus University. We encourage both papers and presentations presenting work from initial “brainstorm” ideas to publishable maturity in any of the areas covered.

The Overture Workshop

The Overture Workshop features the Vienna Development Method (VDM), the open-source project Overture, and related tools and formalisms. VDM is one of the best-established formal methods, its modelling languages (VDM-SL, VDM++, VDM-RT) and tools (including VDMTools, Overture, INTO-CPS, ViennaTalk, VDMJ and VDM VSCode) providing a platform for work on modelling and analysis technology that includes IDEs, static and dynamic analysis, test generation, execution support, and model checking. Proceedings of former workshops are available at https://www.overturetool.org/.

The INTO-CPS Association Brainstorm

The INTO-CPS Association Brainstorm is a newer informal event that focuses on multi-modelling, co-simulation, and other technologies for model-based design, implementation and deployment of Cyber-Physical Systems and especially Digital Twins. The focus is on the open INTO-CPS tool chain and associated frameworks. Previous workshops and brainstorm sessions have been invaluable in encouraging both new and established members of the community in their work, helping to determine priorities and future directions.

Important Dates

25th April 2025: Submission of papers and outlines of presentations

19th May 2025: Notification to authors

8th June 2025: Final version of papers due

12th June 2025: Workshop

Call

Our workshop provides a forum for discussing and advancing the state of the art in Digital twins, formal modelling and analysis using VDM/Overture or INTO-CPS and their associated formalisms and extensions. We warmly welcome contributions on the development of foundations, methods, tools, and reports of practical experience.

We welcome submissions in the following formats:

Each tool report or full paper will be peer-reviewed by at least three members of the PC. The scope of the workshop includes, but is not restricted to:

Submission

EasyChair: link coming soon

Organising Committee

Program Committee (Draft)

Contact

All questions about submissions should be emailed to Ken Pierce (kenneth.pierce@newcastle.ac.uk)

The INTO-CPS Association