Skip to main content
  • Textbook
  • © 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

  • State-of-the-art presentation of the field of eternal networked software systems

  • Written by leading researchers in the field

  • Self-contained chapters on various subtopics of eternal networked software systems

Conference proceedings info: SFM 2011.

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 (15 chapters)

  1. Front Matter

  2. Architecture and Interoperability

    1. Interoperability in Complex Distributed Systems

      • Gordon S. Blair, Massimo Paolucci, Paul Grace, Nikolaos Georgantas
      Pages 1-26
    2. The CONNECT Architecture

      • Paul Grace, Nikolaos Georgantas, Amel Bennaceur, Gordon S. Blair, Franck Chauvel, Valérie Issarny et al.
      Pages 27-52
  3. Formal Foundations for Connectors

    1. Automated Verification Techniques for Probabilistic Systems

      • Vojtěch Forejt, Marta Kwiatkowska, Gethin Norman, David Parker
      Pages 53-113
    2. Modeling and Verification of Components and Connectors

      • Christel Baier, Joachim Klein, Sascha Klüppelholz
      Pages 114-147
  4. Connector Synthesis

    1. Application-Layer Connector Synthesis

      • Paola Inverardi, Romina Spalazzese, Massimo Tivoli
      Pages 148-190
    2. Context Synthesis

      • Dimitra Giannakopoulou, Corina S. Păsăreanu
      Pages 191-216
    3. Middleware-Layer Connector Synthesis: Beyond State of the Art in Middleware Interoperability

      • Valérie Issarny, Amel Bennaceur, Yérom-David Bromberg
      Pages 217-255
  5. Learning and Monitoring

    1. Introduction to Active Automata Learning from a Practical Perspective

      • Bernhard Steffen, Falk Howar, Maik Merten
      Pages 256-296
  6. Dependability Assurance

    1. Dependability and Performance Assessment of Dynamic CONNECTed Systems

      • Antonia Bertolino, Antonello Calabró, Felicita Di Giandomenico, Nicola Nostro
      Pages 350-392
    2. Security and Trust

      • Gabriele Costa, Valérie Issarny, Fabio Martinelli, Ilaria Matteucci, Rachid Saadi
      Pages 393-416
  7. Trustworthy Eternal Systems via Evolving Software

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

      • Dave Clarke, Nikolay Diakov, Reiner Hähnle, Einar Broch Johnsen, Ina Schaefer, Jan Schäfer et al.
      Pages 417-457
    2. Modelling Secure Systems Evolution: Abstract and Concrete Change Specifications

      • Jan Jürjens, Martín Ochoa, Holger Schmidt, Loïc Marchal, Siv Hilde Houmb, Shareeful Islam
      Pages 504-526
  8. Back Matter

About this book

This book presents 15 tutorial lectures by leading researchers given at the 11th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, held in Bertinoro, Italy, in June 2011. SFM 2011 was devoted to formal methods for eternal networked software systems and covered several topics including formal foundations for the inter-operability of software systems, application-layer and middleware-layer dynamic connector synthesis, interaction behavior monitoring and learning, and quality assurance of connected systems. The school was held in collaboration with the researchers of the EU-funded projects CONNECT and ETERNALS. The papers are organized into six parts: (i) architecture and interoperability, (ii) formal foundations for connectors, (iii) connector synthesis, (iv) learning and monitoring, (v) dependability assurance, and (vi) trustworthy eternal systems via evolving software.

Keywords

  • dependable systems
  • distributed systems
  • software testing
  • systems architecture
  • systems interoperability
  • systems modeling
  • systems security
  • systems verification

Editors and Affiliations

  • Dipartimento di Scienze di Base e Fondamenti, Università di Urbino “Carlo Bo”, Urbino, Italy

    Marco Bernardo

  • INRIA Paris-Rocquencourt, France

    Valérie Issarny

Bibliographic Information

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