Skip to main content
  • Book
  • © 2008

Architecting Dependable Systems V

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

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

Buying options

eBook USD 39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

Table of contents (14 chapters)

  1. Front Matter

  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. Plug-and-Play Architectural Design and Verification

      • Shangzhu Wang, George S. Avrunin, Lori A. Clarke
      Pages 273-297
    3. Data Flow-Based Validation of Web Services Compositions: Perspectives and Examples

      • Cesare Bartolini, Antonia Bertolino, Eda Marchetti, Ioannis Parissis
      Pages 298-325
    4. Using Architecture Analysis to Evolve Complex Industrial Systems

      • Tommy Kettu, Eckhard Kruse, Magnus Larsson, Goran Mustapic
      Pages 326-341
  5. Back Matter

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.

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

  • Book Title: Architecting Dependable Systems V

  • Editors: Rogério Lemos, Felicita Giandomenico, Cristina Gacek, Henry Muccini, Marlon Vieira

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/978-3-540-85571-2

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Computer Science, Computer Science (R0)

  • Copyright Information: Springer-Verlag Berlin Heidelberg 2008

  • Softcover ISBN: 978-3-540-85570-5Published: 28 August 2008

  • eBook ISBN: 978-3-540-85571-2Published: 26 August 2008

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: XIV, 343

  • Topics: Software Engineering, Operating Systems, Models of Computation

Buying options

eBook USD 39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions