DSN
2004 Workshop on
Architecting Dependable Systems
Florence
- Italy
30 June, 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 DSN 2004 WADS is a twin workshop to the ICSE 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 communities.
The DSN 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
|
|
|||
|
8:30
|
WELCOME & INTRODUCTIONS | ||
|
8:40
|
Brief Summary on the Outcomes of Previous ICSE WADS | ||
|
8:50
|
INVITED
TALK: From Dependable Architectures to Dependable Systems |
N. Medvidovic (USC, USA) | |
| Session
A - Architectural Compositionality Chair: C. Gacek |
|||
|
9:40
|
Extracting
Functional and Non-functional Contracts from Java Classes and Enterprise
Java Beans |
N. Milanovic, M. Malek | |
|
10:00
|
On
Dependability of Composite Web Services with Components Upgraded Online |
V. Kharchenko, P. Popov, A. Romanovsky | |
|
10:20
|
DISCUSSION | ||
|
10:30
|
COFFEE | ||
|
Session B - Architectures for Dependability Chair: A. Romanovsky |
|||
|
11:00
|
High-level
Supervision of Program Execution Based on Formal Specification |
G. Pintér, I. Majzik | |
|
11:20
|
Building
Dependable Peer-to-Peer Systems |
K. Vanthournout, G.Deconinck, R. Belmans | |
|
11:40
|
An
Architecture for Versatile Dependability |
T. Dumitras¸ P. Narasimhan | |
|
12:00
|
DISCUSSION | ||
|
12:10
|
Classification
of Quality Attributes for Predictability in Component-based Systems |
I. Crnkovic, M. Larsson | |
|
12:30
|
Applying
Design Diversity to Aspects of System Architectures and Deployment
Configurations to Enhance System Dependability |
M. J. Hawthorne, D. E. Perry | |
|
12:50
|
DISCUSSION | ||
|
13:00
|
LUNCH | ||
|
Session C - Architectural Dependability Evaluation Chair: R. de Lemos |
|||
|
14:30
|
Architecture-based
Dependability Prediction for Service-oriented Computing |
V. Grassi | |
|
14:50
|
Architecture-based
Strategy for Interface Fault Injection |
R. L. de O. Moraes, E. Martins | |
|
15:10
|
Toward Architecture-Based Reliability Estimation | R. Roshandel, N. Medvidovic | |
|
15:30
|
DISCUSSION | ||
|
15:40
|
PANEL "How to Guarantee at the Architectural Level the Dependability Requirements of a System?" |
Moderator: |
|
|
16:25
|
DISCUSSION / WRAP-UP / FUTURE DIRECTIONS | ||
|
16: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
DSN
2004 website: http://www.dsn.org/
Maintained
by Rogério de Lemos (r.delemos@kent.ac.uk)
Last updated 9 July 2004