DSN 2007 Workshop on
Architecting Dependable Systems

Edinburgh, Scotland - UK
27 June 2007

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


DSN WADS 2007 (Home)

DSN WADS 2008
DSN WADS 2006
ICSE WADS 2005
ICSE/DSN WADS 2004
ICSE WADS 2003
ICSE WADS 2002

KEYNOTE

A selection of accepted papers will be published by Springer - in the Lecture Notes in Computer Science as a State-of-the-Art Survey, as volume 5 of the series Architecting Dependable Systems. This volume will contain papers selected from both DSN 2007 WADS and ROSATEA 2007.

Architecting Dependable Systems


WORKSHOP ORGANIZERS

Rogério de Lemos
University of Kent at Canterbury
UK

r.delemos[at]kent.ac.uk

Felicita Di Giandomenico
ISTI-CNR
Italy
f.digiandomenico[at]isti.cnr.it

Cristina Gacek
Newcastle University
UK
cristina.gacek[at]ncl.ac.uk

 

PROGRAM COMMITTEE

Ivica Crnkovic (Sweden)
Holger Giese (Germany)
Swapna S. Gokhale (USA)
Lars Grunske (Australia)
Karama Kanoun (France)
Istvan Majzik (Hungary)
Eliane Martins (Brazil)
Nenad Medvidovic (USA)
Henry Muccini (Italy)
Priya Narasimhan (USA)
Roshanak Roshandel (USA)
Rick Schlichting (USA)
Elisabeth Strunk (USA)
Paulo E. Veríssimo (Portugal)

This workshop will continue the initiative, which started five years ago, of bringing together the international communities of dependability and software architectures. The first workshop on Architecting Dependable Systems was organised during the International Conference on Software Engineering 2002 (ICSE 2002). Since then six workshops were organised and three books were published. This series of workshops have shown to be a fertile ground for both communities to clarify previous approaches, thus helping to promote new topical areas where the most promising research may lie, while avoiding the reinvention of the wheel.

PROGRAM

9:00
WELCOME & INTRODUCTIONS
Session A - Software Architectures and Dependability
Chair: Cristina Gacek
9:15
Keynote: Dependability of Web Service Architectures

Wolfgang Emmerich
(University College London
)

10:15
DISCUSSION
10:30
COFFEE
Session B - Critical Infrastructures
Chair: Felicita Di Giandomenico
11:00
Architecting Dependable Systems Using Virtualization
H. V. Ramasamy, M. Schunter
11:15
Robust Overlay Networks for Microgrid Control Systems
G. Deconinck, T. Rigole,
H. Beitollahi, R. Duan,
B. Nauwelaers, E. Van Lil,
J. Driesen, R. Belmans, G. Dondossola
11:30

Panel: Architecting Critical Infrastructures

Moderator:
F. Di Giandomenico (ISTI-CNR)
Panellists:
A. Bondavalli (University of Florence)
M. Masera (Joint Research Centre of the European Commission)
W. H. Sanders (University of Illinois at Urbana-Champaign)
P. E. Veríssimo (University of Lisbon)

12:30
DISCUSSION
13:00
LUNCH
Session C - Component-based Development
Chair: Cristina Gacek
14:00
Detecting Mode Inconsistencies in Component-Based Embedded Software   H. Sozer, C. Hofmann, B. Tekinerdogan, M. Aksit
14:15
An Assume-Guarantee Method for Modular Verification of Evolving Component-Based Software   P. N. Hung, N. T. Thang, T. Katayama
14:30
Verification and Validation of a Fault-Tolerant Architectural Abstraction   P. H. S. Brito, R. de Lemos, E. Martins, C. M. F. Rubira
14:45
DISCUSSION
  Session D - Analysis and Synthesis for Architecting Dependability
Chair: Rogério de Lemos
15:00
Automatic Generation of Static Fault Trees from AADL Models A. Joshi, S. Vestal, P. Binns
15:15
Generating a Family of Byzantine Tolerant Protocol Implementations Using a Meta-Model Architecture   G. N.C. Kirby, A. Dearle, S. J Norcross
15:30
Handling Nondeterminism in Multi-Tiered Distributed Architectures through Program Analysis   J. Slember, P. Narasimhan
15:45

DISCUSSION

15:55
WRAP-UP / FUTURE DIRECTIONS
16:00
END

FURTHER INFORMATION

Workshop-related email should be addressed to: dsn2007-wads[at]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[at]kent.ac.uk)
Last updated 1 July, 2007