EFTS 2006 International Workshop on Engineering of Fault Tolerant Systems

Bjarne Däcker bjarne@REDACTED
Tue Dec 27 20:18:54 CET 2005

EFTS 2006 International Workshop on Engineering of Fault Tolerant Systems

12 - 14 June 2006
Luxembourg, LUXEMBOURG

Submission deadline: 16 March 2006
Author notification: 20 April 2006
Camera-ready copy: 16 May 2006
Workshop: 12-14 June 2006


Software and hardware systems have become increasingly used in many
industrial sectors, such as manufacturing, aerospace, transportation,
communication, energy supply and healthcare. Failures due to software or
hardware malfunctions, users’ mistakes and malicious intentions can have
serious economics consequences, but can also endanger human life. Fault
tolerance prevents system failures and is intended to ensure that it
delivers the required service in spite of faults and errors which it
might encounter and as such it is crucial for meeting high reliability
and availability requirements. Fault tolerance engineering during the
entire life cycle of the system has been advocated by some researchers
as one of the main approaches to ensuring the overall system
dependability. In particular, it has been recognized that different
classes of faults, errors and failures must be identified and dealt with
at each phase of software development, depending on the abstraction
level used in modelling the software system under development. A number
of studies have been conducted so far in these areas, but understanding
where and how fault-tolerance should be integrated in the software
life-cycle still requires major research efforts.

This international workshop builds on this trend and aims at
investigating how fault tolerance mechanisms can be taken into account
when engineering complex software systems. To address the new problems
the system developers are facing nowadays (such as identifying the
places where fault tolerance means must be applied and the degree of
fault tolerance that must be achieved) we need novel models to be
applied at different abstraction levels (requirement, architecture and
design models for fault tolerance, together with new implementation
schemes), innovative technologies (tools and frameworks for implementing
distributed fault tolerant systems) and advanced verification
environments (to assess the achieved level of fault tolerance and to
evaluate the dependability properties of the systems).

Recently there has been growing interest in the areas directly related
and overlapping with fault tolerance, such as system self-healing,
resilience, self-managing and self-management. The topics related to
engineering of systems with such properties are in the scope of the
workshop as the intention is to improve the current understanding of how
fault tolerance engineering can benefit from research on these areas.

EFTS 2006 is the appropriate venue to reflect on the achievements of the
researchers and practitioners in the fields of software engineering and
fault tolerance, bringing together people from these two communities.

EFTS 2006 will be held in Luxembourg
(http://www.luxembourg.co.uk/nutshell.html) at the Faculty of Sciences,
Technologies and Communications of the University of Luxembourg (see
http://www.uni.lu and http://www.ist.lu).


The following constitute the core list of the topics that form the focal
point of the workshop. However, this list should not be considered as
closed or technically restrictive for paper submissions:

- Software architecture and fault tolerance;
- UML/MDA modelling of fault tolerance;
- OO frameworks and design patterns for fault tolerance;
- Error handling and fault handling in the software life-cycle;
- Re-engineering fault tolerance;
- Component-based development and fault-tolerance;
- Fault tolerant software development processes;
- Error recovery through exception handling in the software life-cycle;
- Design and implementation of fault tolerant distributed systems;
- (Coordinated) atomic actions in the software life-cycle;
- Rigorous approach to fault-tolerance programming;
- Dynamic reconfiguration for fault-tolerance assurance;
- Verification and validation of fault tolerant systems.

Patrizio Pelliccione (University of Luxembourg, LUXEMBOURG)
Henry Muccini (University of L’Aquila, ITALY)
Nicolas Guelfi (University of Luxembourg, LUXEMBOURG)
Alexander Romanovsky (University of Newcastle upon Tyne, UK)


Bondavalli Andrea, Univ. Florence - Italy
Canfora Gerardo, Univ. Sannio –Italy
Cortellessa Vittorio, Univ. of L’Aquila - Italy
Crnkovic Ivica, Mälardalen University - Sweden
De Lemos Rogério, Canterbury Kent – UK
Di Nitto Elisabetta, Univ. Milano - Italy
Di Giandomenico Felicita, CNR – Italy
Gnesi Stefania, CNR - Italy
Grassi Vincenzo, Univ. Roma Tor Vergata – Italy
Grosspietsch Karl Erwin, GMD - Germany
Guelfi Nicolas, Univ. Luxembourg – Luxembourg
Inverardi Paola, Univ. L’Aquila – Italy
Issarny Valerie, INRIA – France
Kaaniche Mohamed, LAAS-CNRS – FRANCE
Kienzle Jorg, Mc Gill University, Montreal – Canada
Majzik Istvan, BME, Budapest - Hungary
Mirandola Raffaela, Politecnico di Milano – Italy
Muccini Henry, Univ. L’Aquila – Italy
Pelliccione Patrizio, Univ. Luxembourg – Luxembourg
Romanovsky Alexander, Univ. of Newcastle upon Tyne
Rubira Cecilia Mary Fischer, UNICAMP – BRASIL
Schoitsch Erwin, ARC Seibersdorf Research (AARIT) – Austria
Tam Francis, Nokia Research Centre, Helsinki – Finland
Troubitsyna Elena, FIN Turku – Finland

Berlizev Andrey, UoL, Luxembourg
Capozucca Alfredo, UoL, Luxembourg
Di Renzo Sonja, UoL, Luxembourg
Gallina Barbara, UoL, Luxembourg
Guelfi Nicolas, UoL, Luxembourg
Monnat Andreea, UoL, Luxembourg
Muccini Henry, University of L’Aquila, ITALY
Pelliccione Patrizio, UoL, Luxembourg
Romanovsky Alexander, University of Newcastle upon Tyne, UK


Submissions must be original and should not be under consideration for
publication while being evaluated for this workshop. All papers
submitted to this workshop will be peer reviewed by three members of the
International Program Committee. Acceptance will be primarily based on
originality and contribution to the area. All accepted papers will be
included in a workshop proceedings printed as the technical report at
University of Luxembourg - LUXEMBOURG.

The authors of the selected papers will be invited to prepare chapters
for the book:
(Series on Software Engineering and Knowledge Engineering) to be
published in 2007 by World Scientific Publishing Co. Pte. Ltd

Workshop submissions are to be prepared in the 9 x 6 inches format.
Information and the latex and word styles may be found at the following
address (general style)
http://www.wspc.com/style/proceedings_style.shtml. Papers must not
exceed 12 pages, including figures, tables and references. The papers
must be electronically submitted in the PDF or PS formats.

More information about the erlang-questions mailing list