CALL FOR PARTICIPATION

              EFTS 2007 - 2nd International Workshop on
                    Engineering Fault Tolerant Systems
                           at ESEC/FSE 2007

                          4 September 2007
                        Dubrovnik, CROATIA
                        http://efts2007.uni.lu


We invite you to attend the second International Workshop
on Engineering Fault Tolerant Systems to be held in Dubrovnik
on September 04th 2007 and co-located with ESEC/FSE 2007.

Fault tolerance engineering has been advocated as one of the main
approaches to ensuring the overall system dependability.

The 2nd International Workshop on Engineering Fault Tolerant Systems
(EFTS 2007) aims to investigate how fault tolerance mechanisms can be
taken into account when engineering complex software systems and to
improve our understanding of where and how fault-tolerance should be
integrated in the software life-cycle. The focus of the workshop is on
developing novel models to be applied at different abstraction levels
(requirements, 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).

EFTS 2007 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.

The program at a glance:
- five technical sessions
- ten technical papers
- a keynote talk by Miroslaw Malek

WORKSHOP PROGRAM

==>Welcome and introduction by the chairs
	* 9:00 - 9:15

==>Session 1: Keynote Talk
	* 09:15 - 10:30
	Keynote Talk
	Miroslaw Malek (Institut für Informatik Rechnerorganisation un
                Kommunikation Humboldt - Universität zu Berlin - Germany)
	Title: Engineering Dependable Systems with Predictive
	Technologies

10:30 - 11:00 Coffee break

==>Session 2: Services and Fault Tolerance

	* 11:00 - 11:30
	Formal Modeling of BPEL Workflows Including Fault and Compensation
	Handling
	Máté Kovács (Budapest University of Technology and Economics
	- Hungary)
	Dániel Varró (Budapest University of Technology and Economics
	- Hungary)
	László Gönczy (OptXware LLC., LAAS-CNRS - Hungary)

	* 11:30 - 12:00
	Towards Fault Tolerance in Web Services Compositions
	Nuno Laranjeiro (CISUC, Department of Informatics Engineering,
	University Of Coimbra - Portugal)
	Marco Vieira (CISUC, Department of Informatics Engineering,
	University Of Coimbra - Portugal)

	* 12:00 - 12:30
	Diagnosis Service for Embedded Software Component based Systems
	Thi Quynh BUI (LCIS Laboratory - INPG - France)
	Oum-El-Kheir AKTOUF (LCIS Laboratory - INPG - France)

12:30 - 14:00 Lunch

==>Session 3: Engineering and re-engineering fault-tolerant systems

	* 14:00 - 14:30
	On Engineering Standards Based Carrier Grade Platforms
	Francis Tam (Nokia - Finland)

	* 14:30 - 15:00
	Experimenting with diversity in the model driven development of
	a railway signalling system
	Michele Banci (ISTI - CNR - Italy)
	Alessandro Mantechi (ISTI - CNR - Italy)
	Stefania Gnesi (ISTI - CNR - Italy)
	Giovanni Lombardi (ISTI - CNR - Italy)

	* 15:00 - 15:30
	Fault-Tolerant Digital Systems Implemented with Partially Definite
	and Partially Correct Automata
	Nataliya Yakymets (University of Stuttgart - Germany)
	Vyacheslav Kharchenko (National Aerospace University named
	after Zhukovsky - Ukraine)

15:30 - 16:00 Coffee break

==>Session 4: Software Architectures & Fault tolerance

	*16:00 - 16:30
	Fault- and Adversary-Tolerance as an Emergent Property of
	Distributed Systems Software Architectures
	Yuriy Brun (University of Southern California - USA)
	Nenad Medvidovic (University of Southern California - USA)

	* 16:30 - 17:00
	Scheduling of Embedded Time-Triggered Systems
	András Balogh (Budapest University of Technology and Economics
	- Hungary)
	András Pataricza (Budapest University of Technology and Economics
	- Hungary)
	Judit Rácz (Budapest University of Technology and Economics
	- Hungary)

==>Session 5: Verification and Validation

	* 17:00 - 17:30
	Evaluating Fault-Tolerant System Designs using FAUmachine
	Stefan Potyra (University of Erlangen-Nürnberg - Germany)
	Volkmar Sieh (University of Erlangen-Nürnberg - Germany)
	Mario Dal Cin (University of Erlangen-Nürnberg - Germany)

	* 17:30 – 18:00
	Refinement Patterns for Rapid Development of Dependable
	Systems
	Alexei Iliasov (Newcastle University - UK)


==>Wrap up


For more details, please visit the workshop web site: http://efts2007.uni.lu


EFTS organizing committee
Nicolas Guelfi
Henry Muccini
Patrizio Pelliccione,
Alexander Romanovsky.