Organisé par le club 63 du 23 au 25 octobre 2002 à Toulouse.
ORGANISATION
Organizations and individuals are becoming
increasingly dependent on sophisticated computing
systems. In differing circumstances,
this dependency might for example center on
the continuity of the service delivered by the
computing system, the overall performance
level achieved, the real-time response rate
provided, the extent to which catastrophic failures
are avoided, or confidentiality violations
prevented. These various concerns can be
subsumed into the single conceptual framework
of dependability, for which reliability,
availability, safety and security, for example,
can be considered as particular attributes.
The fourth European Dependable
Computing Conference aims to provide a
European venue for researchers and practitioners
from all over the world to present and
discuss their latest research results and developments.
Papers are solicited on theory, techniques
and tools for the design, validation,
operation and evaluation of dependable computing
systems.
|
Advance program and detailed information
for registration & accomodation will be
available on the conference web site:
http://www.laas.fr/edcc-4
|
PLACE
Parc des Expositions
In conjunction with SITEF 2002
the Innovation and Future Technologies
Fair (http://www.sitef.com)
ORGANIZED BY
SEE Working Group «Dependable
Computing», France, GI/ITG/GMA TC on
Dependability and Fault Tolerance,
Germany, AICA Working Group
«Dependability of Computer Systems»,
Italy
IN COOPERATION WITH LAAS-CNRS
( IFIP Working Group 10.4 «Dependable
Computing and Fault-Tolerance» ( IEEE
TC on Fault-Tolerant Computing ( EC
IST CaberNet Network of Excellence on
Distributed and Dependable Computing
Systems ( EWICS Technical Committee
on Safety, Reliability and Security (TC7)
PROGRAMME
Tuesday, October 22
|
| 18h 00 | Welcome Reception at Grand Hotel de l’Opéra |
Wednesday, October 23
|
| 09h 00 | Registration (Conference Site). Opening Remarks |
| 10h 00 | Keynote Talk - Prof. René Amalberti
(IMASSA-CERMA, Brétigny-sur-Orge, France) |
| 11h 30 | Session 1: Modeling and Evaluation
• On the Users Perception of the Impact of Outages in GPRS Network Systems - S. Porcarelli (Univ. of Pisa, Italy),
F. Di Giandomenico (CNR, Pisa, Italy)
• Combination of Fault Tree Analysis and Model-Checking for Safety Assessment of Complex System - Pierre
Bieber, Charles Castel, Christel Seguin (ONERA-CERT, Toulouse, France)
• BPM Based Robust E-Business Application Development - Gy. Csertan, A. Pataricza, P. Harang, O. Doban
(Budapest Univ. of Technology and Economics, Hungary), G. Biros, A. Dancsecz, F. Friedler (Univ. of Veszprem,
Hungary)
| | 14h 30 | Session 2: Agreement Protocols
• Solving Agreement Problems with Weak Ordering Oracles - F. Pedone (Hewlett-Packard Labs, Palo Alto, CA,
USA), A. Schiper, P. Urban, D. Cavin (EPFL, Lausanne, Switzerland)
• An Efficient Solution to the K-Set Agreement Problem - Emmanuelle Anceaume, Michel Hurfin, Philippe Raipin
Parvedy (IRISA-INRIA, Rennes, France) |
| 15h 30 | Session 3: Fast Abstracts I |
| 17h 00 | Panel 1: Novel Approaches for Dependable Computing - Moderator: Rogerio de Lemos (Univ. of Kent, Canterbury, UK) |
Thursday, October 24
|
| 09h 30 | Session 4: Error Detection and Fault Tolerance
• Test Set Embedding Based on Phase Shifters - Maciej Bellos (Univ. of Patras, Greece), Dimitris Kagaris (Southern
Illinois Univ., Carbondale, IL, USA), Dimitris Nikolos (Univ. of Patras, Greece)
• Reset-Driven Fault Tolerance - Joao Cunha (Instituto Superior de Engenharia de Coimbra, Portugal), Mario Rela,
Antonio Correia, Jorge Henriques, Joao Gabriel Silva (Univ. of Coimbra, Portugal)
• Towards Dependability Modeling of FT CORBA Architectures - Istvan Majzik, Gabor Huszerl (Budapest Univ. of
Technology and Economics, Hungary) |
| 11h 30 | Session 5: Experimental Validation
• Experimental Evaluation of the Unavailability Induced by a Group Membership Protocol - Kaustubh R. Joshi
(Univ. of Illinois, Urbana, IL, USA), Michel Cukier (Univ. of Maryland, College Park, MD, USA), William H.
Sanders (Univ. of Illinois, Urbana, IL, USA)
• UMLinux - A Versatile SWIFI Tool - Volkmar Sieh Kerstin Buchacker (Friedrich Alexander Univ. Erlangen-
Nurnberg, Germany)
• Assessment of Error Detection Mechanisms of he Time-Triggered Architecture Using Software Implemented
Fault Injection - Astrit Ademaj (Vienna Univ. of Technology, Austria) |
| 14h 30 | Session 6: Fast Abstracts II |
| 15h 30 | Panel 2: Critical Infrastructure Protection -
Moderator: Jean-Claude Laprie (LAAS-CNRS, Toulouse, France) |
| 17h 00 | Break and Visit of SITEF Exhibition |
| 19h 00 | Evening at « Cité de l’Espace » |
Friday 25 October 2002
|
| 09h 30 | Session 7: Distributed Algorithms
• Fast Indulgent Consensus with Zero Degradation - Partha Dutta, Rachid Guerraoui (EPFL, Lausanne, Switzerland)
• Probabilistic Queries in Large-Scale Networks - Fernando Pedone (Hewlett-Packard Labs., Palo Alto, CA, USA),
Nelson Duarte and Mario Goulart (Univ. of Rio Grande, Brazil) |
| 11h 00 | Panel 3: Towards Information Society Initiative in FP6: Roadmapping Activities in Dependability - Moderator:
Luca Simoncini (Univ. of Pisa, Italy) - Panelists: Andrea Servida (ECC) and one representative from AMSD, ACIP,
RAPID, DDSI, PAMPAS. |
| 14h 30 | Session 8: Real-Time
• The Design of a COTS Real-Time Distributed Security Kernel - Miguel Correia, Paulo Veríssimo, Nuno Ferreira
Neves (Univ. of Lisboa, Portugal)
• Wrapping Real-time Systems from Temporal Logic Specifications - Manuel Rodriguez, Jean-Charles Fabre, Jean
Arlat (LAAS-CNRS, Toulouse, France)
• Model-Based Dependability Evaluation Method for TTP/C Applications - Pavel Herout, Stanislav Racek, Jan
Hlavicka (Univ. of West Bohemia, Plzen, Czech Republic) |
| 16h 00 | Conference close |
|
