DSN 2007: Workshop on Software Architectures for Dependable Systems (WADS)

Rogério de Lemos, Felicita Di Giandomenico, Cristina Gacek, Henry Muccini, Marlon Vieira (Eds.): Architecting Dependable Systems V [the book is a result from the WADS 2007 and the Third Workshop on the Role of Software Architecture for Testing and Analysis]. Lecture Notes in Computer Science 5135 Springer 2008, ISBN 978-3-540-85570-5

Critical Infrastructures

Paulo Veríssimo, Nuno Ferreira Neves, Miguel Correia, Yves Deswarte, Anas Abou El Kalam, Andrea Bondavalli, Alessandro Daidone:
The CRUTIAL Architecture for Critical Information Infrastructures. 1-27
Claudio Balducelli, Antonio Di Pietro, Luisa Lavalle, Giordano Vicoli:
A Middleware Improved Technology (MIT) to Mitigate Interdependencies between Critical Infrastructures. 28-51
Silvano Chiaradonna, Felicita Di Giandomenico, Paolo Lollini:
Evaluation of Critical Infrastructures: Challenges and Viable Approaches. 52-77
Alessandro Daidone, Silvano Chiaradonna, Andrea Bondavalli, Paulo Veríssimo:
Analysis of a Redundant Architecture for Critical Infrastructure Protection. 78-100
Geert Deconinck, Koen Vanthournout, Hakem Beitollahi, Zhifeng Qui, Rui Duan, Bart Nauwelaers, Emmanuel Van Lil, Johan Driesen, Ronnie Belmans:
A Robust Semantic Overlay Network for Microgrid Control Applications. 101-123
Bernhard Jansen, HariGovind V. Ramasamy, Matthias Schunter, Axel Tanner:
Architecting Dependable and Secure Systems Using Virtualization. 124-149

Gergely Pintér, Zoltán Micskei, András Kövi, Zoltán Égel, Imre Kocsis, Gábor Huszerl, András Pataricza:
Model-Based Approaches for Dependability in Ad-Hoc Mobile Networks and Services. 150-174
Graham N. C. Kirby, Alan Dearle, Stuart J. Norcross:
Design, Implementation and Deployment of State Machines Using a Generative Approach. 175-198
Joseph G. Slember, Priya Narasimhan:
Handling Emergent Nondeterminism in Replicated Services. 199-224

Mamadou H. Diallo, Leila Naslavsky, Thomas A. Alspaugh, Hadar Ziv, Debra J. Richardson:
Toward Architecture Evaluation through Ontology-Based Requirements-Level Scenarios. 225-247
Holger Giese, Stefan Henkler, Martin Hirsch:
Combining Formal Verification and Testing for Correct Legacy Component Integration in Mechatronic UML. 248-272
Shangzhu Wang, George S. Avrunin, Lori A. Clarke:
Plug-and-Play Architectural Design and Verification. 273-297
Cesare Bartolini, Antonia Bertolino, Eda Marchetti, Ioannis Parissis:
Data Flow-Based Validation of Web Services Compositions: Perspectives and Examples. 298-325
Tommy Kettu, Eckhard Kruse, Magnus Larsson, Goran Mustapic:
Using Architecture Analysis to Evolve Complex Industrial Systems. 326-341

Last update Thu May 23 00:05:01 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page