Skip to main content
SpringerLink
Log in

Architecting Dependable Systems VI

  • Book
  • © 2009

Overview

Editors:
  1. Rogério Lemos

    1. Computing Laboratory, Canterbury, University of Kent, Kent, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Jean-Charles Fabre

    1. LAAS-CNRS, Toulouse Cedex 4, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Cristina Gacek

    1. School of Computing Science, Newcastle upon Tyne, University of Newcastle upon Tyne, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Fabio Gadducci

    1. Dipartimento di Informatica, Largo Pontecorvo 3c, Università di Pisa, Pisa, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  5. Maurice Beek

    1. Istituto di Scienza e Tecnologie dell’Informazione (ISTI-CNR), Pisa, Italy

    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 5835)

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
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
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

Table of contents (13 chapters)

  1. Front Matter

    Download chapter PDF

  2. Part 1. Dependable Service-Oriented Architectures

    1. A System of Architectural Patterns for Scalable, Consistent and Highly Available Multi-Tier Service-Oriented Infrastructures

      • Ricardo Jimenez-Peris, Marta Patiño-Martinez, Bettina Kemme, Francisco Perez-Sorrosal, Damian Serrano
      Pages 1-23

    2. Towards Self-adaptation for Dependable Service-Oriented Systems

      • Valeria Cardellini, Emiliano Casalicchio, Vincenzo Grassi, Francesco Lo Presti, Raffaela Mirandola
      Pages 24-48

    3. Architecting Dependable Access Control Systems for Multi-domain Computing Environments

      • Maciej P. Machulak, Simon E. Parkin, Aad van Moorsel
      Pages 49-75

    4. Soft Constraints for Dependable Service Oriented Architectures

      • Stefano Bistarelli, Francesco Santini
      Pages 76-97

    5. Robustness Validation in Service-Oriented Architectures

      • Nuno Laranjeiro, Marco Vieira, Henrique Madeira
      Pages 98-123

  3. Part 2. Fault Tolerance and System Evaluation

    1. A Self-repair Architecture for Cluster Systems

      • Fabienne Boyer, Noel De Palma, Olivier Gruber, Sylvain Sicard, Jean-Bernard Stefani
      Pages 124-147

    2. Handling Software Faults with Redundancy

      • Antonio Carzaniga, Alessandra Gorla, Mauro Pezzè
      Pages 148-171

    3. A Uniform Approach to Security and Fault-Tolerance Specification and Analysis

      • Gabriele Lenzini, Fabio Martinelli, Ilaria Matteucci, Stefania Gnesi
      Pages 172-201

    4. A Comprehensive Exploration of Challenges in Architecture-Based Reliability Estimation

      • Ivo Krka, George Edwards, Leslie Cheung, Leana Golubchik, Nenad Medvidovic
      Pages 202-227

  4. Part 3. Architecting Security

    1. Weak Behavioral Equivalences for Verifying Secure and Performance-Aware Component-Based Systems

      • Alessandro Aldini, Marco Bernardo
      Pages 228-254

    2. Architecting Security with Paradigm

      • Suzana Andova, Luuk P. J. Groenewegen, Jan H. S. Verschuren, Erik P. de Vink
      Pages 255-283

    3. Trust-Based and Context-Aware Authentication in a Software Architecture for Context and Proximity-Aware Services

      • Gabriele Lenzini
      Pages 284-307

    4. Compositional Verification of Architectural Refactorings

      • Dénes Bisztray, Reiko Heckel, Hartmut Ehrig
      Pages 308-333

  5. Back Matter

    Download chapter PDF
Back to top

Keywords

About this book

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

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 2008), organized at the 2008 International Conference on Dependable Systems and Networks (DSN 2008), held in Anchorage, Alaska, USA, in June 2008, and the Third International Workshop on Views On Designing Complex Architectures (VODCA 2008) held in Bertinoro, Italy, in August 2008. It also contains invited papers written by recognized experts in the area. The 13 papers are organized in topical sections on dependable service-oriented architectures, fault-tolerance and system evaluation, and architecting security.

Editors and Affiliations

  • Computing Laboratory, Canterbury, University of Kent, Kent, UK

    Rogério Lemos

  • LAAS-CNRS, Toulouse Cedex 4, France

    Jean-Charles Fabre

  • School of Computing Science, Newcastle upon Tyne, University of Newcastle upon Tyne, UK

    Cristina Gacek

  • Dipartimento di Informatica, Largo Pontecorvo 3c, Università di Pisa, Pisa, Italy

    Fabio Gadducci

  • Istituto di Scienza e Tecnologie dell’Informazione (ISTI-CNR), Pisa, Italy

    Maurice Beek

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation