ICSE 2003 Workshop on
Software Architectures for Dependable Systems

Portland, Oregon - USA
3 May, 2003

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


ICSE WADS 2003

ICSE WADS 2002

ICSE 2003: International Conference on Software Engineering

WORKSHOP ORGANIZERS

Rogério de Lemos
University of Kent at Canterbury
UK

r.delemos@ukc.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

Jean Arlat, France
Andrea Bondavalli, Italy
Jan Bosch, The Netherlands
David Garlan, USA
Paola Inverardi, Italy
Valérie Issarny, France
Philip Koopman, USA

Nicole Levy, France
Nenad Medvidovic, USA
Dewayne E. Perry, USA
Debra Richardson, USA

Cecília Rubira, Brazil
William Scherlis, USA
Francis Tam, Finland
Kishor S. Trivedi, USA
Frank van der Linden, The Netherlands
Paulo Veríssimo, Portugal

Architectural representations of systems have shown to be effective in assisting the understanding of broader system concerns by abstracting away from details of the system. The dependability of systems is defined as the reliance that can justifiably be placed on the service the system delivers. Dependability has become an important aspect of computer systems since everyday life increasingly depends on software. Although there is a large body of research in dependability, architectural level reasoning about dependability is only just emerging as an important theme in software engineering. This is due to the fact that dependability concerns are usually left until too late in the process of development. In addition, the complexity of emerging applications and the trend of building trustworthy systems from existing, untrustworthy components are urging dependability concerns be considered at the architectural level. Hence the questions that the software architecture and dependability communities are currently facing: what are the architectural principles involved in building dependable systems? How should these architectures be evaluated?

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 possibilities among the participants. The workshop will provide software engineers with systematic and disciplined approaches for building dependable systems, as well as allow further dissemination of the state of the art methods and techniques.

PROGRAM

9:00
WELCOME & INTRODUCTIONS
Session A - Architectural Platforms
Chair: R. de Lemos
9:10
Perspective-based Architectural Approach for Dependable Systems S. X. Liang, J. Puett, Luqi
9:30
Reliability Support for the Model Driven Architecture G. N. Rodrigues, G. Roberts, W. Emmerich, J. Skene
9:50
FaTC2: An Object-Oriented Framework for Developing Fault-Tolerant Component-Based Systems F. J. C. de Lima Filho, P. A. de C. Guerra, C. M. F. Rubira
10:10
A Dependable Real-Time Platform for Industrial Robotics G. Mustapic, J. Andersson, C. Norstrom
10:30
COFFEE
Session B - Rigorous Design
Chair: A. Romanovsky
11:00
Dependability Analysis Using SAM
T. Shi, X. He
11:20
Formalizing Dependability Mechanisms in B:From Specification to Development Support F. Tartanoglu, V. Issarny, N. Levy, A. Romanovsky
11:40

Layered Dependability Modeling of an Air Traffic Control System

O. Das, C. M. Woodside
12:00 DISCUSSION
12:30
LUNCH
Session C - Fault Tolerance and Self-Healing
Chair: R. de Lemos
14:00
A Framework for Using Component Redundancy for Self-Optimising and Self-Healing
Component Based Systems
A. Diaconescu, J. Murphy
14:20
Elements of the Self-Healing System Problem Space P. Koopman
14:40

PANEL "Fault Tolerance and Self-Healing"

Panel Report

delemos
issarny
koopman

Moderator:
R. de Lemos (Kent, UK)
Panellists:
V. Issarny (INRIA, France)
P. Koopman (CMU, USA)

15:30
COFFEE
Session D - Architectural Reconfiguration
Chair: A. Romanovsky
16:00
Toward a Framework for Classifying Disconnected Operation Techniques M. Mikic-Rakic, N. Medvidovic
16:20
An Architecture for Configurable Dependability of Application Services M. Tichy, H. Giese
16:40
An Approach to Manage Reconfiguration in Fault-Tolerant Distributed Systems S. Porcarelli, M. Castaldi, F. Di Giandomenico, A. Bondavalli, P. Inverardi
17:00
DISCUSSION / WRAP-UP / FUTURE DIRECTIONS
17:30
END

FURTHER INFORMATION

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


Maintained by Rogério de Lemos (r.delemos@ukc.ac.uk)
Last updated 15 May, 2003