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.