PROGRAM
Third Latin-American Symposium on Dependable Computing
all the events except for the supper will be in
COLEGIO DE SAN NICOLAS
The supper will be in the Hotel Tree-lined avenue Thursday of 19:00 to 21:00
|
Wed 26/9
|
Thursday 27/9
|
Friday 28/9
|
|
Tutorial 1: Do you
know... How to analyze and share results from dependability evaluation
experiments?
Marco Vieira and
Henrique Madeira
8:30 – 10:00
|
Tutorial 2: Security
patterns and secure systems design
Eduardo
B. Fernandez
8:30
– 10:00
|
Tutorial 3: BAR - Where
Distributed Computing Meets Game Theory
Lorenzo Alvisi
8:30 – 10:00
|
|
Coffee break
10:00 – 10:30
|
Coffee break
10:00 – 10:30
|
Coffee break
10:00 – 10:30
|
|
Tutorial 1: Do you
know... How to analyze and share results from dependability evaluation
experiments?
Marco Vieira and Henrique Madeira
10:30 – 12:00
|
Tutorial 2: Security
patterns and secure systems design
Eduardo
B. Fernandez
10:30
– 12:00
|
Tutorial 3: BAR - Where
Distributed Computing Meets Game Theory
Lorenzo Alvisi
10:30
– 12:00
|
|
Opening
12:00
– 12:15
|
Session 3 (3 papers): Networking
and Mobile Computing
12:00 – 13:30
|
Session 4 (3 Papers):
Experimental Dependability Evaluation
12:00
– 13:30
|
|
Session
1 (3 papers):
Fault-tolerant Algorithms
12:15
– 13:45
|
|
Lunch
13:45 – 15:30
|
Lunch
13:30 – 15:30
|
Lunch
13:30 – 15:30
|
|
Panel 1: Dependable and
Secure Ad Hoc Networking
* Title:
Scaling Dependability and Security in Ad Hoc Networks
* Moderator:
Rogerio de Lemos, University of Kent, UK
* Panellists:
Lorenzo Alvisi, University of Texas Austin, USA
Breno de Medeiros, Florida State University, USA
Fabiola Greve, UFBA, Brazil
Evangelos Kranakis, Carleton University, Canada
Chair: Rogério
de Lemos
15:30
– 17:00
|
Invited Talk 1: Reliability, Safety, and
Security in Everyday Embedded Systems
Philip Koopman
15:30
– 16:30
|
Invited Talk 2:
Nanoscale Technologies: Prospect or Hazard to Dependable and
Secure Computing?
Jean Arlat
15:30 –
16:30
|
|
Coffee break
17:00- 17:30
|
Coffee break
16:30- 17:00
|
Coffee break
16:30- 17:00
|
|
Session 2 (3 papers): Software Engineering of Dependable Systems
17:30 -19:00
|
Panel 2: Assessment,
Measurements and Benchmarking of Dependability and Resiliency
Chair: Henrique Madeira
17:00 -18:30
|
Fast Abstracts
17:00 – 18:00
|
|
Session 5 (2 papers): Intrusion Tolerance and Security
18:00 -19:00
|
|
Bussiness
meeting
18:30
– 19:00
|
Dinner LADC
19:00 – 21:00
|
|
Closing
19:00 – 19:15
|
LADC
2007Wednesday, September 26, 2007 12:15PM - 1:45PM
|
Fault-tolerant
Algorithms - Chair:
|
|
Fault-Tolerant
Dynamic Routing Based on Maximum Flow Evaluation
Jonatan Schroeder,
Elias P. Duarte Jr., UFPR, Brazil.
|
|
On the
implementation of communication-optimal failure detectors
Mikel Larrea,
Alberto Lafuente, Iratxe Soraluze, Roberto Cortiñas, The
University of the Basque Country, Spain
Joachim Wieland, RWTH Aachen University, Germany.
|
|
Connectivity
in Eventually Quiescent Dynamic Distributed Systems
Sara Tucci Piergiovanni,
University of Rome,
Italy.
Scaling Dependability and Security in Ad Hoc Networks
Abstract. The increasing size and complexity of the next
generation of large
distributed systems will require radical new approaches for
guaranteeing certain
levels of dependability and security. Current solutions might
become brittle in
context of new applications, such as pervasive computing, in
which there is a
large number of components with dynamic interdependencies
between them.
The inherent complexity of these future systems due to heterogeneity,
decentralisation, and emergent technologies also demand
scalable and robust
solutions. An example of such emergent technologies is ad hoc
networks, which
are self-configuring networks that enable the connection of
thousands of
devices in arbitrary topologies. The objective of the panel
is to discuss the
challenges and the potential solutions when building
dependable and secure
applications in the context of ad hoc networks. This panel
has been organised as
a joint event between the Sixth International Conference on
Ad-Hoc Networks
and Wireless (Ad Hoc NOW 2007) and the Third Latin American Symposium
on Dependable Computing (LADC 2007), which are two co-located
events of
the Mexican International Conference in Computer Science (ENC 2007).
|
5:30PM - 7:00PM
|
Software
Engineering of Dependable Systems - Chair:
|
|
Implementing
fault tolerance using aspect oriented programming
Ruben Alexandersson, Peter Ohman, Chalmers University
of Technology, Sweden.
|
|
Architecture-Centric
Fault Tolerance with Exception Handling
Patrick Brito, State University of
Campinas, Brazil
Rogerio de Lemos, University
of Kent, Great Britain
Eliane Martins, Cecilia Rubira,
UNICAMP, Brazil.
|
|
Coverage-Oriented,
Prioritized Testing A Fuzzy Clustering Approach and Case Study
Fevzi Belli, University
of Paderborn, Germany
Mübariz Eminov, Nida Gokce, Mugla University,
Turkey.
|
Thursday, September
27, 2007 12:00PM - 1:30PM
|
Networking
and Mobile Computing - Chair:
|
|
Error
Propagation Monitoring on Windows Mobile-based Devices
José Carlos Ribeiro, Polytechnic Institute of Leiria, Portugal
Bruno Luís, Mário Zenha-Rela, University
of Coimbra, Portugal.
|
|
Gossiping:
Adaptive and Reliable Broadcasting in MANETs
Abdelmajid Khelil,
Neeraj Suri, Technical
University of Darmstadt, Germany.
|
|
On the
Behavior of Broadcasting Protocols for MANETs Under
Omission Faults Scenarios
Talmai Oliveira, Victor Costa, Fabíola Greve, Universidade Federal da Bahia, Brazil.
|
Friday, September
28, 2007 12:00PM - 1:30PM
|
Experimental Dependability Evaluation - Chair:
|
|
Fail Boundedness in Discrete Applications
Mário Zenha-Rela,
University of Coimbra,
Portugal.
|
|
Designing
Fault Injection Experiments using State-based Model to test a Space Software
Ana Maria Ambrosio, Instituto Nacional de Pesquisas Espaciais, Brazil
Maria Mattiello-Francisco, Brazilian
Institute for Space Research, Brazil
Valdivino Santiago Junior, INPE, Brazil
Wendell Silva, Instituto Nacional de Pesquisas
Espaciais, Brazil
Eliane Martins, UNICAMP, Brazil.
|
|
Component-based
Software Certification based on Experimental Risk Assessment
Regina Moraes, Universidade Estadual de Campinas, Brazil
João Durães, CISUC / DEIS-ISEC, Portugal
Eliane Martins, UNICAMP, Brazil
Henrique Madeira, University of Coimbra, Portugal.
|
6:00PM - 7:00PM
|
Intrusion
Tolerance and Security - Chair:
|
|
Integrated Intrusion Detection
in Databases
José Fonseca, CISUC - University of Coimbra, Portugal
Marco Vieira, Henrique Madeira, University
of Coimbra, Portugal.
|
|
Security
Rationale for a Cooperative Backup Service for Mobile
Devices
Ludovic Courtès,
Marc-Olivier Killijian, David Powell, LAAS-CNRS, France.
|
|
