Architecting Dependable Systems V

  • Editors
  • Rogério de Lemos
  • Felicita Di Giandomenico
  • Cristina Gacek
  • Henry Muccini
  • Marlon Vieira

Part of the Lecture Notes in Computer Science book series (LNCS, volume 5135)

Table of contents

  1. Front Matter
  2. Part 1. Critical Infrastructures

    1. Paulo Veríssimo, Nuno F. Neves, Miguel Correia, Yves Deswarte, A. Abou El Kalam, Andrea Bondavalli et al.
      Pages 1-27
    2. Claudio Balducelli, Antonio Di Pietro, Luisa Lavalle, Giordano Vicoli
      Pages 28-51
    3. Silvano Chiaradonna, Felicita Di Giandomenico, Paolo Lollini
      Pages 52-77
    4. Alessandro Daidone, Silvano Chiaradonna, Andrea Bondavalli, Paulo Veríssimo
      Pages 78-100
    5. Geert Deconinck, Koen Vanthournout, Hakem Beitollahi, Zhifeng Qui, Rui Duan, Bart Nauwelaers et al.
      Pages 101-123
    6. Bernhard Jansen, HariGovind V. Ramasamy, Matthias Schunter, Axel Tanner
      Pages 124-149
  3. Part 2. Rigorous Design/Fault Tolerance

    1. Gergely Pintér, Zoltán Micskei, András Kövi, Zoltán Égel, Imre Kocsis, Gábor Huszerl et al.
      Pages 150-174
    2. Graham N. C. Kirby, Alan Dearle, Stuart J. Norcross
      Pages 175-198
    3. Joseph Slember, Priya Narasimhan
      Pages 199-224
  4. Part 3. Verification and Validation

    1. Mamadou H. Diallo, Leila Naslavsky, Thomas A. Alspaugh, Hadar Ziv, Debra J. Richardson
      Pages 225-247
    2. Shangzhu Wang, George S. Avrunin, Lori A. Clarke
      Pages 273-297
    3. Cesare Bartolini, Antonia Bertolino, Eda Marchetti, Ioannis Parissis
      Pages 298-325
    4. Tommy Kettu, Eckhard Kruse, Magnus Larsson, Goran Mustapic
      Pages 326-341
  5. Back Matter

About this book

Introduction

As software systems become increasingly ubiquitous, the issues of dependability become more and more crucial. Given that solutions to these issues must be considered from the very beginning of the design process, it is reasonable that dependability is addressed at the architectural level. This book was born of an effort to bring together the research communities of software architectures and dependability.

This state-of-the-art survey contains expanded and peer-reviewed papers based on the carefully selected contributions to two workshops: the Workshop on Architecting Dependable Systems (WADS 2007), organized at the 2007 International Conference on Dependable Systems and Networks (DSN 2007), held in Edinburgh, UK, in June 2007 and the Third Workshop on the Role of Software Architecture for Testing and Analysis (ROSATEA 2007), organized as part of a federated conference on Component-Based Software Engineering and Software Architecture (CompArch 2007), held in Medford, MA, USA, in July 2007. It also contains invited papers written by recognized experts in the area. The 14 papers are organized in topical sections on critical infrastructures, rigorous design/fault tolerance, and verification and validation.

Keywords

Middleware Software Engineering Web Services design event-based systems high availability overlay rigorous design semantic software architecture state machine structured analysis validation verification virtualization

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-540-85571-2
  • Copyright Information Springer-Verlag Berlin Heidelberg 2008
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-85570-5
  • Online ISBN 978-3-540-85571-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book