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

      Book Chapter

      Pages 1-26

      Interoperability in Complex Distributed Systems

    2. No Access

      Book Chapter

      Pages 27-52

      The CONNECT Architecture

  3. Formal Foundations for Connectors

    1. No Access

      Book Chapter

      Pages 53-113

      Automated Verification Techniques for Probabilistic Systems

    2. No Access

      Book Chapter

      Pages 114-147

      Modeling and Verification of Components and Connectors

  4. Connector Synthesis

    1. No Access

      Book Chapter

      Pages 148-190

      Application-Layer Connector Synthesis

    2. No Access

      Book Chapter

      Pages 191-216

      Context Synthesis

    3. No Access

      Book Chapter

      Pages 217-255

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

  5. Learning and Monitoring

    1. No Access

      Book Chapter

      Pages 256-296

      Introduction to Active Automata Learning from a Practical Perspective

    2. No Access

      Book Chapter

      Pages 297-326

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

    3. No Access

      Book Chapter

      Pages 327-349

      Learning of Automata Models Extended with Data

  6. Dependability Assurance

    1. No Access

      Book Chapter

      Pages 350-392

      Dependability and Performance Assessment of Dynamic CONNECTed Systems

    2. No Access

      Book Chapter

      Pages 393-416

      Security and Trust

  7. Trustworthy Eternal Systems via Evolving Software

    1. No Access

      Book Chapter

      Pages 417-457

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

    2. No Access

      Book Chapter

      Pages 458-503

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

    3. No Access

      Book Chapter

      Pages 504-526

      Modelling Secure Systems Evolution: Abstract and Concrete Change Specifications

  8. Back Matter

    Pages -