Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Skip to main content
Springer Nature Link
Log in

Architecting Dependable Systems V

  • Book
  • © 2008

Overview

Editors:
  1. Rogério Lemos
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Felicita Giandomenico
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Cristina Gacek
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Henry Muccini
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  5. Marlon Vieira
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Part of the book sub series: Programming and Software Engineering (LNPSE)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

About this book

As software systems become 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 a number of 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.

Similar content being viewed by others

Keywords

Table of contents (14 chapters)

  1. Front Matter

    Download chapter PDF

  2. Part 1. Critical Infrastructures

    1. The CRUTIAL Architecture for Critical Information Infrastructures

      • Paulo Veríssimo, Nuno F. Neves, Miguel Correia, Yves Deswarte, A. Abou El Kalam, Andrea Bondavalli et al.
      Pages 1-27

    2. A Middleware Improved Technology (MIT) to Mitigate Interdependencies between Critical Infrastructures

      • Claudio Balducelli, Antonio Di Pietro, Luisa Lavalle, Giordano Vicoli
      Pages 28-51

    3. Evaluation of Critical Infrastructures: Challenges and Viable Approaches

      • Silvano Chiaradonna, Felicita Di Giandomenico, Paolo Lollini
      Pages 52-77

    4. Analysis of a Redundant Architecture for Critical Infrastructure Protection

      • Alessandro Daidone, Silvano Chiaradonna, Andrea Bondavalli, Paulo Veríssimo
      Pages 78-100

    5. A Robust Semantic Overlay Network for Microgrid Control Applications

      • Geert Deconinck, Koen Vanthournout, Hakem Beitollahi, Zhifeng Qui, Rui Duan, Bart Nauwelaers et al.
      Pages 101-123

    6. Architecting Dependable and Secure Systems Using Virtualization

      • Bernhard Jansen, HariGovind V. Ramasamy, Matthias Schunter, Axel Tanner
      Pages 124-149

  3. Part 2. Rigorous Design/Fault Tolerance

    1. Model-Based Approaches for Dependability in Ad-Hoc Mobile Networks and Services

      • Gergely Pintér, Zoltán Micskei, András Kövi, Zoltán Égel, Imre Kocsis, Gábor Huszerl et al.
      Pages 150-174

    2. Design, Implementation and Deployment of State Machines Using a Generative Approach

      • Graham N. C. Kirby, Alan Dearle, Stuart J. Norcross
      Pages 175-198

    3. Handling Emergent Nondeterminism in Replicated Services

      • Joseph Slember, Priya Narasimhan
      Pages 199-224

  4. Part 3. Verification and Validation

    1. Toward Architecture Evaluation through Ontology-Based Requirements-Level Scenarios

      • Mamadou H. Diallo, Leila Naslavsky, Thomas A. Alspaugh, Hadar Ziv, Debra J. Richardson
      Pages 225-247

    2. Combining Formal Verification and Testing for Correct Legacy Component Integration in Mechatronic UML

      • Holger Giese, Stefan Henkler, Martin Hirsch
      Pages 248-272

    3. Plug-and-Play Architectural Design and Verification

      • Shangzhu Wang, George S. Avrunin, Lori A. Clarke
      Pages 273-297

    4. Data Flow-Based Validation of Web Services Compositions: Perspectives and Examples

      • Cesare Bartolini, Antonia Bertolino, Eda Marchetti, Ioannis Parissis
      Pages 298-325

    5. Using Architecture Analysis to Evolve Complex Industrial Systems

      • Tommy Kettu, Eckhard Kruse, Magnus Larsson, Goran Mustapic
      Pages 326-341

  5. Back Matter

    Download chapter PDF
Back to top

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation