ICSE 2005 Workshop on
Architecting Dependable Systems

St. Louis, Missouri - USA
17 May, 2005

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


ICSE WADS 2005 (Home)

ICSE WADS 2002
ICSE WADS 2003
ICSE/DSN WADS 2004

ICSE 2005: International Conference on Software Engineering

WORKSHOP ORGANIZERS

Rogério de Lemos
University of Kent at Canterbury
UK

r.delemos@kent.ac.uk

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

 

PROGRAM COMMITTEE

Andrea Bondavalli (Italy)
Geoffrey Coulson (UK)
Betty Cheng (USA)
Ivica Crnkovic (Sweden)
Cristina Gacek (UK)
Marie-Claude Gaudel (France)
Holger Giese (Germany)
Nicolas Guelfi (Luxembourg)
Philip Koopman (USA)
Steven Lumetta (USA)
Nenad Medvidovic (USA)
Priya Narasimhan (USA)
Dewayne Perry (USA)

Debra Richardson (USA)
Cecília Rubira (Brazil)
Alexander Wolf (Switzerland, USA)

This workshop will continue the initiative, which started three years ago, of bringing together the international communities of software architectures and dependability. The aim of the workshop is to bring together the communities of software architectures and dependability to discuss the state of research and practice when dealing with dependability issues at the architecture level.

PROGRAM

9:00
WELCOME & INTRODUCTIONS
9:10

INVITED TALK
Assured Reconfiguration: An Architectural Core For System Dependability

John C. Knight (Univ. of Virginia)
Session A - Verification & Validation
Chair: Alexander Romanovsky
10:05
Towards Software Architecture-based Regression Testing H. Muccini, M. Dias, D. Richardson
10:20
DISCUSSION
10:30
COFFEE
Session B - Rigorous Design
Chair: Debra Richardson
11:00
Specifying Adaptation Semantics

J. Zhang, B. Cheng

11:15
A Framework for Analyzing Exception Flow in Software Architectures
F. Castor Filho, P. H. S. Brito, C. M. F. Rubira
11:30
Improving System Dependability by Enforcing Architectural Intent
M. Abi-Antoun, J. Aldrich, D. Garlan, B. Schmerl, N. Nahas, T. Tseng
11:45
An Architectural Pattern for Non-functional Dependability Requirements
L. Xu, H. Ziv, D. Richardson, T. Alspaugh
12:00
DISCUSSION
12:30
LUNCH
Session C - Fault Tolerance
Chair: Philip Koopman
14:00
Computing Optimal Self-Repair Actions: Damage Minimization versus Repair Time

M. Tichy, H. Giese, D. Schilling, W. Pauls

14:15
Architectural Runtime Configuration Management in Support of Dependable Self-Adaptive Software
J. Georgas, A. van der Hoek, R. Taylor
14:30
Architectural Support for Mode-Driven Fault Tolerance in Distributed Applications
D. Srivastava, P. Narasimhan
14:45
A UAV Test and Development Environment Based on Dynamic System Reconfiguration
O. Rawashdeh, G. Chandler, J. Lumpp Jr.
15:00

DISCUSSION

15:30
COFFEE
Session D - System Evaluation
Chair: Ivica Crnkovic
16:00
Representing Design Tradeoffs in Safety-Critical Systems
J. Morris, P. Koopman
16:15
Sensitivity Analysis for a Scenario-Based Reliability Prediction Model
G. N. Rodrigues, D. S. Rosenblum, S. Uchitel
16:30
Availability Simulation of Peer-to-Peer Architectural Styles

S. Giesecke, T. Warns, W. Hasselbring
16:45
Failure Modelling in Software Architecture Design for Safety W. Wu, T. Kelly
17:00
DISCUSSION
17:20
DISCUSSION / WRAP-UP / FUTURE DIRECTIONS
17:30
END

FURTHER INFORMATION

Workshop-related email should be addressed to: icse-wads@kent.ac.uk
Workshop home page:
http:://www.cs.kent.ac/wads
Workshop CFP:
http:://www.cs.kent.ac/wads/cfpWADS.html


Maintained by Rogério de Lemos (r.delemos@kent.ac.uk)
Last updated 20 May, 2005