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

✍ Scribed by Gordon S. Blair, Massimo Paolucci, Paul Grace, Nikolaos Georgantas (auth.), Marco Bernardo, Valérie Issarny (eds.)

• Publisher: Springer-Verlag Berlin Heidelberg
• Year: 2011
• Tongue: English
• Leaves: 535
• Series: Lecture Notes in Computer Science 6659 Programming and Software Engineering
• Edition: 1
• Category: Library

✦ Synopsis

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.

✦ Table of Contents

Front Matter....Pages -
Interoperability in Complex Distributed Systems....Pages 1-26
The CONNECT Architecture....Pages 27-52
Automated Verification Techniques for Probabilistic Systems....Pages 53-113
Modeling and Verification of Components and Connectors....Pages 114-147
Application-Layer Connector Synthesis....Pages 148-190
Context Synthesis....Pages 191-216
Middleware-Layer Connector Synthesis: Beyond State of the Art in Middleware Interoperability....Pages 217-255
Introduction to Active Automata Learning from a Practical Perspective....Pages 256-296
Model-Based Testing and Some Steps towards Test-Based Modelling....Pages 297-326
Learning of Automata Models Extended with Data....Pages 327-349
Dependability and Performance Assessment of Dynamic CONNECTed Systems....Pages 350-392
Security and Trust....Pages 393-416
Modeling Spatial and Temporal Variability with the HATS Abstract Behavioral Modeling Language....Pages 417-457
Kernel-Based Machines for Abstract and Easy Modeling of Automatic Learning....Pages 458-503
Modelling Secure Systems Evolution: Abstract and Concrete Change Specifications....Pages 504-526
Back Matter....Pages -

✦ Subjects

Software Engineering; Software Engineering/Programming and Operating Systems; Mathematical Logic and Formal Languages; Programming Languages, Compilers, Interpreters; Information Systems Applications (incl.Internet)