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

  • Marco Bernardo
  • Valérie Issarny
Textbook SFM 2011

Part of the Lecture Notes in Computer Science book series (LNCS, volume 6659)

Table of contents

  1. Front Matter
  2. Architecture and Interoperability

    1. Gordon S. Blair, Massimo Paolucci, Paul Grace, Nikolaos Georgantas
      Pages 1-26
    2. 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. Vojtěch Forejt, Marta Kwiatkowska, Gethin Norman, David Parker
      Pages 53-113
    2. Christel Baier, Joachim Klein, Sascha Klüppelholz
      Pages 114-147
  4. Connector Synthesis

    1. Paola Inverardi, Romina Spalazzese, Massimo Tivoli
      Pages 148-190
    2. Dimitra Giannakopoulou, Corina S. Păsăreanu
      Pages 191-216
    3. Valérie Issarny, Amel Bennaceur, Yérom-David Bromberg
      Pages 217-255
  5. Learning and Monitoring

  6. Dependability Assurance

    1. Antonia Bertolino, Antonello Calabró, Felicita Di Giandomenico, Nicola Nostro
      Pages 350-392
    2. Gabriele Costa, Valérie Issarny, Fabio Martinelli, Ilaria Matteucci, Rachid Saadi
      Pages 393-416
  7. Trustworthy Eternal Systems via Evolving Software

    1. Dave Clarke, Nikolay Diakov, Reiner Hähnle, Einar Broch Johnsen, Ina Schaefer, Jan Schäfer et al.
      Pages 417-457
    2. 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.


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

Editors and affiliations

  • Marco Bernardo
    • 1
  • Valérie Issarny
    • 2
  1. 1.Dipartimento di Scienze di Base e FondamentiUniversità di Urbino “Carlo Bo”UrbinoItaly
  2. 2.INRIA Paris-RocquencourtFrance

Bibliographic information

Industry Sectors
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Consumer Packaged Goods
Energy, Utilities & Environment