VDM/Overture Training

What: VDM/Overture Training
Date: 13-14th October 2015
Location: West IT Solutions, Delft, The Netherlands
Costs: None, a nomimal fee may be required to cover costs for lunch and coffee.

As part of the TEMPO project, Newcastle University is offering a two-day training course in VDM (Vienna Development Method). VDM is a formal method —a mathematically rigorous language— for modelling and analysing software and other systems. VDM has a history of industrial use for developing complex systems. To get the most out of the course, participants should bring a laptop. Installation of Overture (http://overturetool.org/download/) before arrival is also recommended.

Schedule

Tuesday 13th October
09:30 – 10:00 Welcome and Coffee
10:30 – 12:15 Part 1 Introduction to VDM; guided tour of Overture; exercise: adding functions, testing and debugging
12:15 – 13:00 Lunch
13:00 – 15:00 Part 2 Introduction to logic, data modelling and abstraction; exercise: error handling in a temperature monitor
15:00 – 17:00 Part 3 Modelling using sets and sequences; exercise: a pacemaker controller

Wednesday 14th October
09:00 – 10:30 Part 4 Modelling using mappings; exercise: an electronic purse
10:30 – 12:00 Part 5 Object-oriented extensions to VDM
12:00 – 13:00 Lunch
13:00 – 15:00 Part 6 Object-orientation continued; advanced features
15:00 – 17:00 Part 7 Current techniques for modelling location and mobility
Coffee breaks will be taken as appropriate during the sessions.

To attend the course, or for logistical questions, please contact Nico Plat (nico@west.nl).
For questions about course content, contact Ken Pierce (kenneth.pierce@newcastle.ac.uk).