Wednesday,
October 23 |
08:30 |
Bus departure from
Place Wilson |
09:00 |
Registration (Conference Site
– Parc des Expositions) |
09:45-10:00 |
Opening Remarks
- Pascale Thévenod-Fosse, General Chair (LAAS-CNRS, Toulouse,
France)
- Andrea Bondavalli, Program Chair (University of Firenze, Italy)
|
10:00-11:00 |
Keynote Talk - René
Amalberti (IMASSA, Brétigny-sur-Orge, France)
- Use and Misuse of
Safety Models in Design
|
11:00-11:30 |
Coffee break |
11:30-13:00 |
Session 1: Modeling and
Evaluation
Chair: Mario Dal Cin (University
of Erlangen-Nürnberg, Germany)
- On the User Perception
of Outages on the QoS of GPRS Networks under Different User Characterizations
- S. Porcarelli (University of Pisa, Italy), F. Di Giandomenico
(ISTI-CNR, Pisa, Italy)
- Combination of Fault
Tree Analysis and Model-Checking for Safety Assessment of Complex System
- P. Bieber, C. Castel, C. Seguin (ONERA-CERT, Toulouse, France)
- BPM Based Robust E-Business
Application Development - Gy. Csertan, A. Pataricza, P. Harang,
O. Doban (Budapest University of Technology and Economics, Hungary),
G. Biros, A. Dancsecz, F. Friedler (University of Veszprem, Hungary)
|
13:00-14:30 |
Lunch |
14:30-15:30 |
Session 2: Agreement
Protocols
Chair: Erik Maehle (University
of Luebeck, Germany)
- 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 - E.
Anceaume, M. Hurfin, P. Raipin Parvedy (IRISA-INRIA, Rennes, France)
|
15:30-16:30 |
Session 3: Fast Abstracts
I
Chair: Felicita Di Giandomenico
(ISTI-CNR, Pisa, Italy)
- Modelling Dependable
Systems with Patterns - Matthias Sand (University of Erlangen-Nuremberg,
Germany)
- B-HDL, an Experiment
to Formalizing Hardware by Software Formal Specifications -
Jean-Louis Boulanger (HEUDIASYC University Technic of Compiegne,
France), Georges Mariano (INRETS, France), Ammar Aljer (LIFL University
of Lille, France)
- Model Checking
of Replication Management - István Majzik and Adám
Darvas (Budapest University Of Technology and Economics, Hungary)
- Assessment of the
Robustness of Windows 2000 via the Injection of Select Bit-flips -
Tahar Jarboui, Ali Kalakech and Olivier Guitton (LAAS-CNRS, France)
- The Data Grid: Security
and Privacy Issues - Nicola Mezzetti and Fabio Panzieri
(University of Bologna, Ital
- A Byzantine-Resilient
Protocol Using the TTCB - Miguel Correia, Lau Cheuk Lung,
Nuno Ferreira Neves, and Paulo Verissimo (University of Lisboa, Portugal)
- Formal Verification
of Model Transformation Systems - Gábor Salamon,
Dániel Varró and András Pataricza (Budapest University
of Technology and Economics, Hungary)
|
16:30-17:00 |
Coffee break |
17:00-18:30 |
Panel 1: Novel Approaches
for Dependable Computing
(http://www.cs.ukc.ac.uk/people/staff/rdl/EDCC-4/)
Moderator: Rogerio de Lemos
(University of Kent, Canterbury, UK)
Panelists: A. Avizienis
(A. Avizienis and Associates Inc., Santa Monica, CA, USA), J. Bigham (Queen
Mary College, University of London, UK), Jean-Charles Fabre (LAAS-CNRS,
Toulouse, France)
- Novel Approaches
for Dependable Computing - Rogerio de Lemos (University
of Kent, Canterbury, UK)
- An Immune System
Paradigm for the Design of Fault Tolerant Systems - Algirdas
Avizienis (A. Avizienis and Associates Inc. Santa Monica, CA, USA)
- Security and Survivability
of Large Scale Critical Infrastructures - John Bigham (Queen
Mary College, University of London UK)
- Middleware and
Dependability ? Opportunities...and Challenges - J.C. Fabre
(LAAS-CNRS, Toulouse, France)
|
19:00 |
Bus departure to Place Wilson |
Thursday,
October 24 |
09:00 |
Bus departure from Place Wilson |
09:30-11:00 |
Session 4: Error Detection
and Fault Tolerance
Chair: Karama Kanoun (LAAS-CNRS,
Toulouse, France)
- Test Set Embedding
Based on Phase Shifters - M. Bellos (University of Patras,
Greece), D. Kagaris (Southern Illinois University, Carbondale, IL, USA),
D. Nikolos (University of Patras, Greece)
- Reset-Driven Fault
Tolerance - J. C. Cunha (Instituto Superior de Engenharia
de Coimbra, Portugal), M. Z. Rela, A. Correia, J. Henriques, J. G. Silva
(University of Coimbra, Portugal)
- Towards Dependability
Modeling of FT-CORBA Architectures - I. Majzik, G. Huszerl
(Budapest University of Technology and Economics, Hungary)
|
11:00-11:30 |
Coffee Break |
11:30-13:00 |
Session 5: Experimental
Validation
Chair: Algirdas Avizienis
(A. Avizienis and Associates Inc., USA)
- Experimental Evaluation
of the Unavailability Induced by a Group Membership Protocol -
K. R. Joshi (University of Illinois, Urbana, IL, USA), M. Cukier
(University of Maryland, College Park, MD, USA), W. H. Sanders (University
of Illinois, Urbana, IL, USA)
- UMLinux --- A Versatile
SWIFI Tool - V. Sieh, K. Buchacker (Friedrich Alexander
University, Erlangen-Nürnberg, Germany)
- A Methodology for
Dependability Evaluation of the Time-Triggered Architecture
- A. Ademaj (Vienna University of Technology, Austria)
|
13:00-14:30 |
Lunch |
14:30-15:30 |
Session 6: Fast Abstracts
II
Chair: Andras Pataricza
(Budapest University of Technology and Economics, Hungary)
- A Stepwise Strategy
for Property-Oriented Testing -
Olfa Abdellatif-Kaddour, Pascale Thévenod-Fosse, and Hélène
Waeselynck (LAAS-CNRS, France)
- Evolution Control:
a Strategy to Mitigate Vulnerability of Interdependent Critical Infrastructures
- Roberto Setola (Information Office of the Italian Prime
Minister’s Office, Italy), Giulio Iannello (University CAMPUS
Biomedico, Italy)
- Software-Based
Self-Testing of Microprocessors by Exploiting a Virtual Scan Path -
Giorgos Dimitrakopoulos, Xrisovalantis Kavousianos and Dimitris
Nikolos (University of Patras, Greece)
- Stable Checkpointing
without Shared Disks - Peter Sobe (University of Luebeck, Germany)
- Tolerating Faults
in Embedded Systems Based on Artificial Immune Systems - Modupe
Ayara, Rogério de Lemos, Jon Timmis (University of Kent At Canterbury,
UK), Ross Duncan (NCR FSG Ltd. , UK)
- Data Warehousing
Approach for the Analysis of Dependability Benchmarking Experiments
- Henrique Madeira (University of Coimbra, Portugal), Joao
Costa, Marco Vieira (Polytechnic Institute of Coimbra, Portugal), Marco
Costa, Dino Costa (Critical Software SA, Coimbra, Portugal)
- Model-based Dynamic
Reconfiguration in Complex Critical Systems - Andrea Bondavalli
(University of Firenze, Italy), Felicita Di Giandomenico (ISTI-CNR,
Italy), Stefano Porcarelli (University of Pisa, Italy)
|
15:30-17:00 |
Panel 2: Critical Infrastructure
Protection - Moderator: Jean-Claude Laprie (LAAS-CNRS, Toulouse,
France)
Panelists: Reinhard Hutter
(IABG, Germany), Marcelo Masera (Joint Research Center, Italy), Sandro
Bologna (ENEA - Modelling and Simulation Unit, Rome, Italy)
- Analysis Assessment
and Exercise on Critical Infrastructure Protection - Reinhard
Hutter (IABG, Germany)
- A dependability
approach to interdepencies -
Marcelo Masera (Joint Research Center, Italy)
- Modeling and Simulation
of Critical Infrastructures and their Interdependencies: linking Complex
Systems and Interacting Agents Approaches - Sandro Bologna
(ENEA - Modelling and Simulation Unit, Rome, Italy)
|
17:00-19:00 |
Cocktail and Visit of SITEF
Exhibition |
19:00 |
Bus departure to “Cité
de l’Espace” |
19:30 |
Evening at “Cité
de l’Espace” |
Friday,
October 25 |
09:00 |
Bus departure from Place Wilson |
09:30-10:
30 |
Session 7: Distributed
Algorithms
Chair: André Schiper
(EPFL, Lausanne, Switzerland)
- Fast Indulgent
Consensus with Zero Degradation -
P. Dutta, R. Guerraoui (EPFL, Lausanne, Switzerland)
- Probabilistic Queries
in Large-Scale Networks -
F. Pedone (Hewlett-Packard Labs, Palo Alto, CA, USA), N. Duarte,
M. Goulart (University of Rio Grande, Brazil)
|
10:30-11:00 |
Coffee Break |
11:00-13:00 |
Panel 3: Towards Information
Society Initiative in FP6: Roadmapping Activities in Dependability
- Moderator: Luca Simoncini (University of Pisa, Italy)
Panelists: Andrea Servida
(ECC), Vaia Sdralia (representative from PAMPAS), Andrew Rathmell (representative
from DDSI), Reinhard Hutter and Heinz Thielmann (representatives from
ACIP), Jean-Claude Laprie (representative from AMSD) |
13:00-14:30 |
Lunch |
14:30-16:00 |
Session 8: Real-Time
Chair: Henrique Madeira
(University of Coimbra, Portugal)
- The Design of a
COTS Real-Time Distributed Security Kernel - M. Correia,
P. Veríssimo, N. F. Neves (University of Lisboa, Portugal)
- Wrapping Real-time
Systems from Temporal Logic Specifications - M. Rodriguez,
J-C. Fabre, J. Arlat (LAAS-CNRS, Toulouse, France)
- Model-Based Dependability
Evaluation Method for TTP/C Applications - P. Herout, S.
Racek,
J. Hlavicka (University of West Bohemia, Plzen, Czech Republic)
|
16:00 |
Conference close |