ICSE
2004 Workshop on
Architecting Dependable Systems
Edinburgh,
Scotland - UK
25 May, 2004
- Call for Papers
- Call for Papers (.pdf) (.txt)
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: |
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: |
|
|
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