THE 20TH OVERTURE WORKSHOP

The 20th Overture Workshop will be held on 05 July 2022 in person at Aarhus University.

Programme

08:30 - 09:00 Welcome and Registration

09:00 - 09:30 VDM-SL in action: A FRAM-based approach to contextualize formal specifications (Tomohiro Oda, Shigeru Kusakabe, Han-Myung Chang and Peter Gorm Larsen)

09:30 - 10:00 Bridging the Requirements-Specification Gap using Behaviour-Driven Development (Kristoffer Villadsen, Malthe Dalgaard Jensen, Peter Gorm Larsen and Hugo Daniel Macedo )

10:00 - 10:30 Coffee Break

10:30 - 11:00 Advanced VDM Support in Visual Studio Code (Jonas Kjær Rask, Frederik Palludan Madsen, Nick Battle, Leo Freitas, Hugo Daniel Macedo and Peter Gorm Larsen)

11:00 - 11:30 Towards UML and VDM support in the VS Code environment (Jonas Lund, Lucas Bjarke Jensen, Hugo Daniel Macedo and Peter Gorm Larsen)

11:30 - 12:00 Speeding Up Design Space Exploration through Compiled Master Algorithms (Ken Pierce, Kenneth Lausdahl and Mirgita Frasheri )

12:00 - 13:00 Lunch

13:00 - 14:00 Invited session: Nick Battle, VDMJ Extension and Evolution

14:00 - 15:00 Round table discussion on VDM

15:00 - 19:45 Break

19:45 - … Workshop dinner

CALL FOR PAPERS

The 20th 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/.

Important Dates

25 April 2022: Submission of abstracts of papers

02 May 2022: Submission deadline for papers

15 June 2022: Notification to authors

24 June 2022: Final version of papers due

05 July 2022: Workshop

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.

Submission

https://easychair.org/conferences/?conf=ovt20

Organising

Program Chairs

• Ken Pierce, Newcastle University, United Kingdom (ken.pierce@newcastle.ac.uk)
• Hugo Daniel Macedo, Aarhus University, Denmark (hdm@ece.au.dk)

General Chair

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

Program Committee

• Alessandro Pezzoni, Anaplan, UK
• Ken Pierce, Newcastle University, UK
• 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
• Victor Bandur, McMaster University, CA

Contact

All questions about submissions should be emailed to (hdm@ece.au.dk)

Sponsor

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

Participants

The participants of the 20th Overture workshop.