9th Overture Workshop
From Wiki.overturetool.org
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.
Programme
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.
Organisers
- John Fitzgerald, Newcastle University, UK
- Sune Wolff, Terma A/S, Denmark
Programme Committee
- John Fitzgerald, UK (Chair)
- Sune Wolff, Denmark (Chair)
- Nick Battle, UK
- Dines Bjørner, Denmark
- Cliff Jones, UK
- Peter Gorm Larsen, Denmark
- Ken Pierce, UK
- Nico Plat, Netherlands
- Shin Sahara, Japan
