Formal methods have long been advocated as techniques for defect
avoidance in the development of safety-critical systems. They rely
on the use of rigorously defined mathematical abstractions to permit
precise modelling, analysis and verification of designs and code.
Although they have been seen as expensive 'high-end' technology,
advances in tool support, coupling of formal techniques with other
methods such as static analysis, and technical advances in areas
such as model checking have the potential to improve the
cost-effectiveness of formal techniques.
This workshop will bring together practitioners, researchers and
developers of methods and tools from both the formal methods
and safety-critical systems communities. Through invited
presentations and contributed talks, it will help participants
assess the state of the art in formal methods and their role
in safety-critical systems development and certification.
There will be invited talks from:
Rod Chapman (Praxis High-Integrity Systems)
Neil Evans (AWE)
Martyn Thomas (Martyn Thomas Associates)
The rest of the programme will comprise presentations based on
submitted abstracts covering the following topics:
Experiences of the industrial application of formal methods for
safety-critical systems
Tools for the design, validation and verification of safety-critical
systems
Challenges for current formal methods technology
Evidence generated by the use of formal techniques, and their
contribution to safety cases
The abstracts are currently being reviewed and the programme will be
announced shortly.
An informal proceedings will available at the event. The organizers
intend to invite authors of accepted contributions to prepare a paper
based on their presentation, for publication by the BCS as an eWiC
[electronic Workshop in Computing], after the event.
The registration desk is now open. A reduced rate is available for BCS/FACS/FME/SCSC
members. Please register as soon as possible to avoid disappointment.
