Book Volume 6659 2011

Formal Methods for Eternal Networked Software Systems

11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures

Editors:

ISBN: 978-3-642-21454-7 (Print) 978-3-642-21455-4 (Online)

Table of contents (15 chapters)

  1. Front Matter

    Pages -

  2. Architecture and Interoperability

    1. No Access

      Chapter

      Pages 1-26

      Interoperability in Complex Distributed Systems

    2. No Access

      Chapter

      Pages 27-52

      The CONNECT Architecture

  3. Formal Foundations for Connectors

    1. No Access

      Chapter

      Pages 53-113

      Automated Verification Techniques for Probabilistic Systems

    2. No Access

      Chapter

      Pages 114-147

      Modeling and Verification of Components and Connectors

  4. Connector Synthesis

    1. No Access

      Chapter

      Pages 148-190

      Application-Layer Connector Synthesis

    2. No Access

      Chapter

      Pages 191-216

      Context Synthesis

    3. No Access

      Chapter

      Pages 217-255

      Middleware-Layer Connector Synthesis: Beyond State of the Art in Middleware Interoperability

  5. Learning and Monitoring

    1. No Access

      Chapter

      Pages 256-296

      Introduction to Active Automata Learning from a Practical Perspective

    2. No Access

      Chapter

      Pages 297-326

      Model-Based Testing and Some Steps towards Test-Based Modelling

    3. No Access

      Chapter

      Pages 327-349

      Learning of Automata Models Extended with Data

  6. Dependability Assurance

    1. No Access

      Chapter

      Pages 350-392

      Dependability and Performance Assessment of Dynamic CONNECTed Systems

    2. No Access

      Chapter

      Pages 393-416

      Security and Trust

  7. Trustworthy Eternal Systems via Evolving Software

    1. No Access

      Chapter

      Pages 417-457

      Modeling Spatial and Temporal Variability with the HATS Abstract Behavioral Modeling Language

    2. No Access

      Chapter

      Pages 458-503

      Kernel-Based Machines for Abstract and Easy Modeling of Automatic Learning

    3. No Access

      Chapter

      Pages 504-526

      Modelling Secure Systems Evolution: Abstract and Concrete Change Specifications

  8. Back Matter

    Pages -