THE 2025 INTO-CPS OVERTURE SUMMIT
THE 2025 INTO-CPS OVERTURE SUMMIT incorporating the 23rd Overture Workshop and 3rd INTO-CPS Association Brainstorm
Info about event
Time
Location
Building 5123-313, Helsingforsgade 10, 8200 Aarhus N // Online: ZOOM
Overture Workshop Programme (draft)
9:00 Tomohiro Oda Support for Hypothetical Initiation and Dynamic Exploration using History of Operation in ViennaTalk
9:30 Tomohiro Oda Implementing Mutation Testing for VDM-SL in ViennaTalk
10:00 Nick Battle and Peter Gorm Larsen Towards Operation Proof Obligation Generation for VDM
Coffee Break
11:00 Leo Freitas, Alastair Pollitt and Patrick Degenaar Modelling the CANDO3 Optrode Command Interface
11:30 Leo Freitas, Ben Wooding, Bill Scott, Alastair Pollitt and Patrick Degenaar Proving the Correctness of CANDO3 Optrode Command Interface VDM model in Isabelle/HOL
12:00 Joe Hare, Leo Freitas and Ken Pierce Translating a VDM Model of a Medical Device into Kapture
Lunch break
13:30 Mennatullah Khedr and John Fitzgerald The Composition of Digital Twins for Systems-of-Systems: a Systematic Literature Review
14:00 John Fitzgerald, Peter Gorm Larsen and Claudio Gomes Introductory Courses on Digital Twins: an Experience Report
14:30 Anders Jensen and Giuseppe Abbiati A flexible finite element tool for digital twin services
Coffee Break
15:30 – 17:00 Brainstorming on future of the Overture community
18:00 Dinner
Brainstorm - day 2
Agenda (DRAFT)
9:00 Peter Gorm Larsen Welcome and an Overview of the DT-CORE project
9:30 Kenneth Lausdahl Improvements of MaestroV2->V3
10:00 Mirgita Frasheri Improvements of RabbitMQ FMU
Coffee Break
11:00 Prasad Talasila Status of the DTaaS Platform
11:30 Marco Melloni Communication bridge for DTaaS
12:00 Sophia Thomson Uncertainty aware controllers for CPS and DTs
Lunch break
13:30 Santiago Gil Arboleda UniFMU improvements
14:00 Lisa Maria Huynh, AU/ Elif Ecem Bas, R&D DIGIT-BENCH visualisation
14:30 Stefano Tonetta The Explodtwin project
15:00 Tiziano Munaro Failure Models for Co-Simulation-based Fault-Injection
Coffee Break
16:00 – 17:30 Brainstorm event (what to move forward with for INTO-CPS)
-----------------------------------------
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 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:
- Presentation summaries: Short-form summary (max. 2 pages LNCS) of the content of presentations on work that is at an early stage and either addresses an open issue or reports experience in the Overture or INTO-CPS domains.
- Tool reports: Shorter papers focusing on initial results in developing and applying the tools and formalisms, with a view to receiving community feedback ahead of a full paper (to a future workshop or other venue). Tool reports should not exceed 8 pages LNCS and should include a link to (e.g. GitHub), or instructions for, accessing the tool / model being reported on.
- Full papers: Longer papers reporting more mature results. Full papers should not exceed 15 pages LNCS.
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:
- Reports of applications of VDM or INTO-CPS-related technology, especially reports of industrial use.
- Papers describing requirements, designs, implementations, and case studies of VDM or INTO-CPS technology, whether yet implemented or not.
- Papers on foundations and methodology for VDM or INTO-CPS, including the description of real-time, cyber-physical systems, digital twins and systems-of-systems.
- Papers combining VDM with other notations and tools.
- Position papers on VDM and its promotion in industry practice.
- Papers on extensions of VDM-related tools including Visual Studio Code, INTO-CPS assets and ViennaTalk.
Submission
EasyChair: https://easychair.org/conferences/?conf=ovt23
Organising Committee
- Ken Pierce, Newcastle University, United Kingdom (ken.pierce@newcastle.ac.uk)
- Peter Gorm Larsen, Aarhus University, Denmark (pgl@ece.au.dk)
- Leo Freitas, Newcastle University, United Kingdom(leo.freitas@newcastle.ac.uk)
Program Committee (Draft)
- Shaukat Ali
- Stylianos Basagiannis
- Nick Battle
- John Fitzgerald
- Fuyuki Ishikawa
- Hugo Daniel Macedo
- Paolo Masci
- Tomohiro Oda
Contact
All questions about submissions should be emailed to Ken Pierce (kenneth.pierce@newcastle.ac.uk)
Sponsor
The INTO-CPS Association