Skip to main content
SpringerLink
Log in
Book cover

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

  • Textbook
  • © 2011

Overview

Editors:
  1. Marco Bernardo

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

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Valérie Issarny

    1. INRIA Paris-Rocquencourt, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • 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

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

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: SFM 2011.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (15 chapters)

  1. Front Matter

    Download chapter PDF

  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

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

      • Jan Tretmans
      Pages 297-326

    3. Learning of Automata Models Extended with Data

      • Bengt Jonsson
      Pages 327-349

  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. Kernel-Based Machines for Abstract and Easy Modeling of Automatic Learning

      • Alessandro Moschitti
      Pages 458-503

    3. 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

    Download chapter PDF
Back to top

Keywords

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.

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

Publish with us

Policies and ethics

Back to top

Search

Navigation