THE 19TH OVERTURE WORKSHOP WITH EXTENDED DATES

The 19th Overture Workshop will be held on 22 October 2021 online and in person at Aarhus University, if possible.

NOTE: We expect this to be a hybrid event in the sense that you can participate in person or online.

Registration

To register for this workshop, please fill the registration form.

Presentations and Proceedings

Each presentation slot lasts 20 minutes. In order to allow time for discussion, no presentation should exceed 15 minutes.

The proceedings are now available at arXiv:2110.09371

Programme

09.00 - 09.15 Welcome and Coffee

09.15 - 09.30 Introduction

Session 1 Chair: Ken Pierce

09.30 - 10.10 Keynote: Applications of Formal Methods to Medical Devices (Leo Freitas)

10.10 - 10.30 Behaviour driven specification (Simon Fraser, Alessandro Pezzoni)

10.30 - 11.00 Break

Session 2 Chair: Hugo Daniel Macedo

11.00 - 11.20 Refactoring for Exploratory Specification in VDM-SL (Tomohiro Oda, Keijiro Araki, Shin Sahara, Han-Myung Chang, and Peter Gorm Larsen)

11.20 - 11.40 Extending the Formal Security Analysis of the HUBCAP sandbox (Tomas Kulik, Prasad Talasila, Pietro Greco, Giuseppe Veneziano, Angelo Marguglio, Lorenzo Franco Sutton, Peter Gorm Larsen, and Hugo Daniel Macedo)

11.40 - 12.00 Modelling an Injection Moulding Machine using the Vienna Development Method (Till Böttjer, Michael Sandberg, Peter Gorm Larsen, and Hugo Daniel Macedo)

12.00 - 13.00 Lunch

Session 3: Casper Thule Hansen

13.00 - 13.20 RMQFMU: Bridging the Real World with Co-simulation For Practitioners (Mirgita Frasheri, Henrik Ejersbo, Casper Thule, and Lukas Esterle)

13.20 - 13.40 Genetic Algorithms for Design Space Exploration of Cyber-Physical Systems: an Implementation in INTO-CPS (Maximilian Rose and John Fitzgerald)

13.40 - 14.00 Multi-Objective Optimisation Support for Co-Simulation (Aiden Stanley and Ken Pierce)

14.00 - 14:30 Break

14.30 - 15.30 Panel discussion

18:00 - … Dinner

CALL FOR PAPERS

The 19th Overture Workshop will be held on 22 October 2021 online and in person at Aarhus University if possible.

The 19th Overture Workshop is 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 best established formal methods for systems development. A lively community of researchers and practitioners in academia and industry has grown around the modelling languages (VDM-SL, VDM++, VDM-RT) and tools (including VDMTools, Overture, INTO-CPS, ViennaTalk, VDMJ and VDM VSCode). Together, these provide a platform for work on modelling and analysis technology that includes IDEs, static and dynamic analysis, test generation, execution support, and model checking.

Previous workshops have been invaluable in encouraging both new and established members of the community in their work, and helping to determine priorities and future directions. Proceedings of former workshops are available at https://www.overturetool.org/.

Submission

Submission of papers is through EasyChair: https://easychair.org/conferences/?conf=ovt19.

Important Dates (NOTE, DATES HAVE BEEN EXTENDED!)

• Abstracts: Monday, July 5, 2021 Monday, July 12, 2021
• Full Papers: Monday, July 12, 2021, Wednesday, August 4, 2021
• Notifications: Monday, August 30, Monday, September 6,, Friday, September 10, 2021
• Camera ready version of papers: Monday, September 27, 2021
• Pre-proceedings: Monday, October 11, 2021
• Workshop: Friday, October 22, 2021

Call

Our workshop provides a forum for discussing and advancing the state of the art in formal modelling and analysis using VDM and its family of associated formalisms including extensions for distributed VDM and real-time systems. We strongly welcome contributions on the development of tools for, as well as developments in, foundations and reports of practical experience. Each paper will be peer-reviewed by at least three members of the PC, must use the Springer LNCS format, and should not exceed 15 pages in length.

The scope of the workshop includes, but is not restricted to:

• Reports of applications of VDM technology, especially reports of industrial use.
• Papers describing requirements, designs, implementations and case studies of support tools for VDM, whether or not implemented in the VDM-related tools.
• Papers on the foundations and methodology associated with VDM and its extensions, 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 Overture, INTO-CPS and ViennaTalk.

Organising

Program Chairs

• Ken Pierce, Newcastle University, United Kingdom (ken.pierce@newcastle.ac.uk)
• Casper Thule, Aarhus University, Denmark (casper.thule@ece.au.dk)

Organising Chair

• Hugo Daniel Macedo, Aarhus University, Denmark (hdm@ece.au.dk)

Program Committee

• Kenneth Guldbrandt Lausdahl, AGROCorp International and Aarhus University, Denmark
• Tomo Oda, Software Research Associate Incorporated, Japan
• Marcel Verhoef, European Space Agency, The Netherlands
• Paolo Masci, National Institute of Aerospace (NIA), USA
• Peter Gorm Larsen, Aarhus University, Denmark
• Nick Battle, Aarhus University, Denmark
• Fuyuki Ishikawa, National Institute of Informatics, Japan
• Keijiro Araki, National Institute of Technology, Kumamoto College, Japan
• Sam Hall, Newcastle University, UK

For latest information and announcements, visit https://www.overturetool.org/workshops/19th-overture-workshop.html

Contact

All questions about submissions should be emailed to overture19request@gmail.com

Sponsor

The online conference facility is provided by the Faculty of Technical Sciences at Aarhus University

Participants

The participants of the 19th Overture workshop.