Workshop
on Methods, Models and Tools for Fault Tolerance
Link to the Workshop Program (new)
THEME AND GOALS
The growing complexity of modern software
systems increases the difficulty of ensuring the overall dependability of
software-intensive systems. Complexity of environments, in which systems operate,
high dependability requirements that systems have to meet, as well as the
complexity of infrastructures on which they rely, make system design a true
engineering challenge.
Mastering system complexity requires design
techniques that support clear thinking and rigorous validation and
verification. This is exactly what formal design methods do. Coping with
complexity also requires architectures that are tolerant of faults and
unpredictable changes in environment. This issue can be addressed by fault tolerant
design techniques. System development methods must be rigorous, explicitly
model fault tolerance through all development phases, support the construction
of appropriate abstractions and provide techniques for their structured
refinement and decomposition.
The aim of this 1 day workshop is to bring
together researchers from the Fault Tolerance, Formal Methods and Tool
Development communities and to discuss recent research results and practical
experience in designing fault tolerant applications.
Contributions are solicited in all areas
related to engineering of fault tolerant software systems. The scope of this
workshop encompasses but is not limited to:
¥ Verification and refinement of fault
tolerant systems
¥ Semi-formal (UML-based) and integrated approaches
to developing fault tolerant systems (including integration of different
formalisms as well as formalisation of informal notations)
¥ Formal foundations for error detection,
error recovery, exception and fault handling
¥ Abstractions, styles and patterns for
rigorous development of fault tolerance
¥ Fault tolerant software architectures
¥ Development and application of tools
supporting rigorous design of dependable systems
¥ Integrated platforms for developing
dependable systems
¥ Rigorous approaches to specification and
design of fault tolerance in novel computing systems such as ambient
intelligence, pervasive computing, systems-on-chip, nanosystems, SOA
¥ Fault tolerance in domain-specific areas,
such as telecommunications, transportation and space systems
¥ Case studies demonstrating rigorous
development of fault tolerant systems
SUBMISSION
Submission deadline: May 14, 2007
Notification: May 22, 2007
Final versions of the accepted papers: June
10, 2007
Position papers should be sent by email to
Louise Talbot (L.B.Talbot@newcastle.ac.uk) as the
attachments. They should be 6 pages maximum in the standard
LNCS format.
PROCEDURE FOR SELECTION OF PARTICIPANTS
Papers presenting technical contributions as
well as position papers are solicited. The submitted papers will be accepted
for presentation based on their relevance to the workshop theme. Each paper
will be reviewed by at least two workshop organizers. Authors of the accepted
papers are expected to participate at the workshop and present their papers.
PUBLICATION OF PROCEEDINGS
The workshop proceedings will be published as
a technical report at Newcastle University (UK). We are planning to publish a
selection of extended workshop papers and invited papers as a book in Lecture
Notes for Computer Science series.
Michael Butler, Southampton University,
UK
Cliff Jones, Newcastle University, UK
Alexander Romanovsky, Newcastle
University, UK
Elena Troubitsyna, Aabo Akademi, Finland
This workshop is organized by the partners of
FP6 IST RODIN
(Rigorous Open Development Environment for Complex Systems) who are aiming to
build a network of researchers from a wider community to promote integration of
the dependability and formal methods fields.
In 2005 we organized a workshop with a similar topic at the Formal
Methods 2005 Conference. As a selection of extended workshop papers we
published a book: M. Butler, C. Jones, A. Romanovsky and E. Troubitsyna (Eds.).
Rigorous Development of Complex Fault-Tolerant Systems. Lecture
Notes in Computer Science, vol. 4157, Springer Verlag, September 2006.