ICSE
2005 Workshop on
Architecting Dependable Systems
St.
Louis, Missouri - USA
17 May, 2005
- Call for Papers
- Call for Papers (.pdf) (.txt)
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 |
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