sessions take place in auditorium 2.
||Martyn Thomas, Thomas Associates, UK|
talk: Formal methods in industry: Disease and remedies
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
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.
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?
||Dominique Bolignano, Trusted Logic, France|
talk: Experience from applying formal methods to critical security
||Peter Gorm Larsen, Systematic Software Engineering, Denmark|
talk: Practical use of VDM technology in industry
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.
||Jan Peleska, Verified Systems International GmbH,
talk: Formal methods-based testing for large scale industrial
will be on Testing of Airbus Control Systems and Railway
||Denis Sabatier, Clearsy, France|
talk: The use of the B formal method to produce accurate and complete
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
||Robin Bloomfield, Adelard, UK|
talk: Drivers in the application of formal methods
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).
||David Pearce, European Commission, Belgium|
talk: The EU's future and emerging technologies programme: New themes and
instruments in the 6th framework programme