Book Volume 5135 2008

Architecting Dependable Systems V

ISBN: 978-3-540-85570-5 (Print) 978-3-540-85571-2 (Online)

Table of contents (14 chapters)

  1. Front Matter

    Pages -

  2. Part 1. Critical Infrastructures

    1. No Access

      Chapter

      Pages 1-27

      The CRUTIAL Architecture for Critical Information Infrastructures

    2. No Access

      Chapter

      Pages 28-51

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

    3. No Access

      Chapter

      Pages 52-77

      Evaluation of Critical Infrastructures: Challenges and Viable Approaches

    4. No Access

      Chapter

      Pages 78-100

      Analysis of a Redundant Architecture for Critical Infrastructure Protection

    5. No Access

      Chapter

      Pages 101-123

      A Robust Semantic Overlay Network for Microgrid Control Applications

    6. No Access

      Chapter

      Pages 124-149

      Architecting Dependable and Secure Systems Using Virtualization

  3. Part 2. Rigorous Design/Fault Tolerance

    1. No Access

      Chapter

      Pages 150-174

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

    2. No Access

      Chapter

      Pages 175-198

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

    3. No Access

      Chapter

      Pages 199-224

      Handling Emergent Nondeterminism in Replicated Services

  4. Part 3. Verification and Validation

    1. No Access

      Chapter

      Pages 225-247

      Toward Architecture Evaluation through Ontology-Based Requirements-Level Scenarios

    2. No Access

      Chapter

      Pages 248-272

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

    3. No Access

      Chapter

      Pages 273-297

      Plug-and-Play Architectural Design and Verification

    4. No Access

      Chapter

      Pages 298-325

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

    5. No Access

      Chapter

      Pages 326-341

      Using Architecture Analysis to Evolve Complex Industrial Systems

  5. Back Matter

    Pages -