IDAY on Thursday

Detailed program
Thursday July 25th, 2002
See also the unified by-slot program

All sessions take place in auditorium 2.

Session 1

09:00-09:15  Welcome

09:15-09:30  On FME

09:30-10:00  Martyn Thomas, Thomas Associates, UK
Invited talk: Formal methods in industry: Disease and remedies
Software development in industry at large is still very immature. I see many failing projects, mostly failing through amateurism. Projects fail through the most basic errors of planning, requirements capture, change control, or version control. Formal methods are, unfortunately, irrelevant to most organisations, because they can't yet do even the simple things right!
But there are some organisations that are competent enough to adopt formal methods, but have not done so. How can we help them? We should mainly sell the use of formal methods on their cost-effectiveness, with the quality benefits as a free bonus.
So what contribution can researchers make? I propose a Grand Challenge: "develop methods and supporting tools within 10 years such that 80% of software using the methods is no more expensive than before and requires no corrective maintenance in the first ten years of service." What will this take? Can it be achieved? If it is achieved, would industry adopt the methods?

10:00-10:30  Dominique Bolignano, Trusted Logic, France
Invited talk: Experience from applying formal methods to critical security issues

Session 2

11:00-11:30  Peter Gorm Larsen, Systematic Software Engineering, Denmark
Invited talk: Practical use of VDM technology in industry
This talk will give an overview of some of the industrial development projects the presenter has been involved with using VDM with tool support. It will conclude with ideas about how formal methods in the future can be used in the context of safety engineering.

11:30-12:00  Jan Peleska, Verified Systems International GmbH, Germany
Invited talk: Formal methods-based testing for large scale industrial applications
Focus will be on Testing of Airbus Control Systems and Railway Control Systems.

12:00-12:30  Denis Sabatier, Clearsy, France
Invited talk: The use of the B formal method to produce accurate and complete technical documents
This talk concerns Clearsy's project "Formalized Operation Principles" for PEUGEOT. The following topics will be presented:
• Which devices and which cars have been described using these formalized principles.
• What was the methodology, how is the missing data discovered and replaced.
• How are the results transferred to PEUGEOT.
• Costs, team requirements.
• The use of the B mathematical proof in such a project.
• Benefits gained, accuracy achieved.

Session 3

14:00-14:30  Robin Bloomfield, Adelard, UK
Invited talk: Drivers in the application of formal methods
This talk will review the application of formal methods by industry and the results of past R&D programmes to speculate on the factors leading to their adoption. It will consider the current landscape and the needs of industry in dealing with COTS and software of uncertain pedigree (SOUP).

14:30-15:30  Summary and Discussion

Session 4

16:00-17:00  David Pearce, European Commission, Belgium
Invited talk: The EU's future and emerging technologies programme: New themes and instruments in the 6th framework programme