Industry Day

This event is organized in cooperation with Formal Techniques Industrial Association (ForTIA) and supported by SAP AG SAP Logo


Scope and Purpose

For Formal Method to become mainstream in industrial practice requires both:

The Industry Day of FM 2009 is reflecting these two prerequisites by combined talks of Formal Method providers and users.

Formal method providers will report on their experience with industrial projects, how methods and tools needed to be changed and adapted when being confronted with industrial requirements, and what they see as major challenges for their method or tool to be applied routinely in industry.

Formal method users will present their motivation to use Formal Methods and a specific technique. They will describe how they integrate the new technology into their development environment, how costly this was and whether initial expectations were satisfied. They will sketch how from their point of view an even broader deployment of Formal Methods can be achieved - both in their own company and in their whole industrial sector.

Programme Overview

10:30 - 11:15 Verifying the Microsoft Hyper-V Hypervisor with VCC Thomas Santen (Microsoft) and Dirk Leinenbach (DFKI)

11:15 - 12:00 Experiences in the Development and Application of Rodin/Event-B Laurent Voisin (Systerel) and Jérome Falampin (Siemens Transportation Systems)

12:00 - 13:30 Lunch

13:30 - 14:15 Synthesis of supervisory control systems at Océ Ronald Fabel (Océ) and Bert van Beek (Eindhoven University)

14:15 - 15:00 Model-based GUI testing using UPPAAL at Novo Nordisk Jacob Illum (Aalborg University) and Ulrik Hørlyk Hjort (Novo Nordisk)

15:00 - 15:30 Coffee break

15:30 - 16:15 Experiences Applying Formal Methods in Industry Guy Broadfoot (Verum)

16:15 - 16:45 Industrial Applications of Formal Methods: the State of the Art John Fitzgerald (University of Newcastle)

16:45 - 17:00 Closing

For programme details, including abstracts and speaker biographies, please visit the ForTIA webpage for the event

Chairs