[ecoop-info] CfP Workshop on Methods, Models&Tools for Fault Tolerance

[Alexander Romanovsky]

Workshop on Methods, Models and Tools for Fault Tolerance
at the Int. 6th Conference on Integrated Formal Methods
July 3, 2007, Oxford, UK

CALL FOR PAPERS

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 at 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.

WORKSHOP ORGANISERS
Michael Butler, Southampton University, UK
Cliff Jones, Newcastle University, UK
Alexander Romanovsky, Newcastle University, UK
Elena Troubitsyna, Aabo Akademi, Finland

More information:
http://www.cs.ncl.ac.uk/people/alexander.romanovsky/home.formal/MeMToFT2007.html