Overture Tool

Formal Modelling in VDM

Overture Tool

Go to our GitHub Profile

Follow @overturetool

The 9th Overture Workshop

9th Overture Workshop on VDM University of Limerick, Ireland, Monday 20 June 2011

Part of FM2011

The workshop took place in the Kemmy Business School.

The proceedings of the workshop are available as a technical reportENG-ECE-2 from Aarhus University.


09:00 - 09:20 Arrivals & Mingling (you can buy coffee in and around campus)

09:20 - 09:30 Formal Welcome (Sune & John)

09:30 - 10:00 Run-time validation of timing constraints for VDM-RT models, (Presentation), Augusto Ribeiro, Kenneth Lausdahl and Peter Gorm Larsen

10:00 - 10:30 Automated exploration of alternative system architectures with VDM-RT, (Presentation), Kenneth Lausdahl and Augusto Ribeiro

10:30 - 11:00 Coffee break

11:00 - 11:30 Facilitating consistency check between specification and implementation with map-reduce framework, (Presentation), Shigeru Kusakabe, Yoichi Omori and Keijiro Araki

11:30 - 11:50 Counterpoint: towards a proof-support tool for VDM, (Presentation), Ken Pierce

11:50 - 12:00 Short break

12:00 - 12:30 VDM++ as a basis of scalable agile formal software development, (Presentation), Hiroshi Mochio

12:30 - 13:00 Towards customizable and bi-directionally traceable transformation between VDM++ and Java, (Presentation), Fuyuki Ishikawa

13:00 - 14:00 Lunch

14:00 - 14:30 Utilizing VDM models in process management tool development: an industrial case, (Presentation), Claus Ballegaard Nielsen

14:30 - 15:00 Formal Modelling and Safety Analysis of an Embedded Control System for Construction Equipment, (Presentation), Takayuki Mori

15:00 - 15:30 Request for modification of periodic thread definitions and duration and cycle statements, (Presentation), Ken Pierce

15:30 - 16:00 Refreshments

16:00 - 16:30 Status on the Semantics of VDM Core in COQ, Anne Haxthausen

16:30 - 17:00 The Futures of VDM and Overture: a discussion on current and upcoming projects, and the prospects for further industrial application, led by John and Sune

Accepted papers will be published as Overture Technical Reports.


Programme Committee