ICSE 2004 Workshop on
Architecting Dependable Systems

Edinburgh, Scotland - UK
25 May, 2004

http://www.cs.kent.ac.uk/wads


WADS 2004 (Home)

ICSE WADS 2002
ICSE WADS 2003

DSN 2004 Workshop on Architecting Dependable Systems

The post-proceedings will be published by Springer-Verlag as part of their Lecture Notes in Computer Science


WORKSHOP ORGANIZERS

Rogério de Lemos
University of Kent at Canterbury
UK

r.delemos@kent.ac.uk

Cristina Gacek
University of Newcastle upon Tyne
UK
cristina.gacek@ncl.ac.uk

Alexander Romanovsky
University of Newcastle upon Tyne
UK
alexander.romanovsky@ncl.ac.uk

 

PROGRAM COMMITTEE

Andrea Bondavalli, Italy
Jan Bosch, The Netherlands
Geoffrey Coulson, UK
Ivica Crnkovic, Sweden
Geert Deconinck, Belgium
Marie-Claude Gaudel, France
Paola Inverardi, Italy
Valérie Issarny, France
Kane Kim, USA
Nicole Levy, France
Roy Maxion, USA
Nenad Medvidovic, USA
Dewayne Perry, USA
Brian Randell, UK
Debra Richardson, USA
Graham Roberts, UK
Cecília Rubira, Brazil
Lisa Spainhower, USA
Kishor S. Trivedi, USA
Frank van der Linden, The Netherlands
Aad PA van Moorsel, USA
Paulo Veríssimo, Portugal
Michel Wermelinger, Portugal
Alexander Wolf, USA

 

The ICSE 2004 WADS is a twin workshop to the DSN 2004 WADS. Further information about the twin workshops can be obtained at WADS 2004 homepage. The objective of these twin workshop is to promote cross-fertilization between the communities of software architectures and dependability. By bringing together researchers from both the software architectures and the dependability communities, this workshop will make contributions from dependability more visible within the software engineering community and vice-versa, thus helping to build strong collaboration between the two communities.

The ICSE 2004 WADS is open to all researchers, system developers and users who are involved with or have an interest in dependability at the architecture level. All prospective participants should submit an extended abstract, work-in-progress report or position paper.

PROGRAM

9:00
WELCOME & INTRODUCTIONS
9:10

INVITED TALK:
Facing up to Faults

B. Randell (University of Newcastle upon Tyne, UK)
  Session A - Architectural Dependability Estimation
Chair: C. Gacek
9:50
Toward Architecture-Based Reliability Estimation
R. Roshandel, N. Medvidovic
10:05
Empirical-based Estimation of the Effect on Software Dependability of a Technique for Architecture Conformance Verification S. Asgari, V. Basili, P. Costa, P. Donzelli, L. Hochstein, M. Lindvall, I. Rus, F. Shull, R. Tvedt, M. Zelkowitz
10:20
DISCUSSION
10:30
COFFEE
Session B - Architectural Behaviour
Chair: A. Romanovsky
11:00
A Reasoning Framework for the Architectural Design of Real-Time Fault-Tolerant Systems
M. Bass, P. Narasimhan
11:15
Adding Safeness to Dynamic Adaptation Techniques
J. Zhang, Z. Yang, B. H.C. Cheng, P. K. McKinley
11:30
Extending xADL with Statechart Behavioral Specification L. Naslavsky, L. Xu, M. Dias, H. Ziv, D. J. Richardson
11:45
Architectural Choices for Dependable Systems
N. Levy, F. Losavio
12:00
DISCUSSION
12:30
LUNCH
Session C - Architectural Solution for Dependability
Chair: C. Gacek
14:00
Improving software reliability in data-centered software systems by enforcing composition time constraints
L. Desmet, F. Piessens, W. Joosen, P. Verbaeten
14:15
An Architectural Approach for Improving Availability in Web Services
E. Parchas, R. de Lemos
14:30
Dependability within Peer-to-Peer Systems
J. Walkerdine, L. Melville, I. Sommerville
14:45
Middleware Reliability Implementations and Connector Wrappers
J. H. Sowell, R. E. K. Stirewalt
15:00

DISCUSSION

15:30
COFFEE
Session D - Architectural Monitoring
Chair: R. de Lemos
16:00
Enabling Adaptable Verification by Monitoring Evolvable Dependable System Architectures
M. Dias, D. J. Richardson
16:15
Improving Availability of Distributed Event-Based Systems via Run-Time Monitoring and Analysis M. Mikic-Rakic, S. Malek, N. Beckman, N. Medvidovic
16:30
DISCUSSION
16:40
PANEL "How to Guarantee at the Architectural Level the Dependability Requirements of a System?"

Moderator:
R. de Lemos (Univ. of Kent, UK)
Panellists:
M. Jackson (Independent Consultant and Open Univ., UK)
W. Tracz (Lockheed Martin, USA)
F. van der Linden (Phillips Medical Systems, The Netherlands)

17:25
DISCUSSION / WRAP-UP / FUTURE DIRECTIONS
17:30
END


FURTHER INFORMATION

WADS 2004-related email should be addressed to: wads-2004@kent.ac.uk
WADS 2004 home page:
http:://www.cs.kent.ac/wads
ICSE 2004 website: http://conferences.iee.org/icse2004


Maintained by Rogério de Lemos (r.delemos@kent.ac.uk)
Last updated 9 July 2004