Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III

Front Matter ....Pages I-XIV
Front Matter ....Pages 1-1
 Rigorous Engineering of Collective Adaptive Systems Introduction to the 2nd Track Edition  (Rocco De Nicola, Stefan Jähnichen, Martin Wirsing)....Pages 3-12
 DReAM: Dynamic Reconfigurable Architecture Modeling  (Rocco De Nicola, Alessandro Maggi, Joseph Sifakis)....Pages 13-31
 Dynamic Logic for Ensembles  (Rolf Hennicker, Martin Wirsing)....Pages 32-47
 Modelling the Transition to Distributed Ledgers  (Jan Sürmeli, Stefan Jähnichen, Jeff W. Sanders)....Pages 48-62
 A Collective Adaptive Socio-Technical System for Remote- and Self-supervised Exercise in the Treatment of Intermittent Claudication  (Jeremy Pitt, Kristina Milanovic, Alexander Coupland, Tim Allan, Alun Davies, Tristan Lane et al.)....Pages 63-78
 Engineering Collectives of Self-driving Vehicles: The SOTA Approach  (Dhaminda B. Abeywickrama, Marco Mamei, Franco Zambonelli)....Pages 79-93
 Synthesizing Capabilities for Collective Adaptive Systems from Self-descriptive Hardware Devices Bridging the Reality Gap  (Constantin Wanninger, Christian Eymüller, Alwin Hoffmann, Oliver Kosak, Wolfgang Reif)....Pages 94-108
 The Meaning of Adaptation: Mastering the Unforeseen?  (Stefan Jähnichen, Rocco De Nicola, Martin Wirsing)....Pages 109-117
 Mutation-Based Test Suite Evolution for Self-Organizing Systems  (André Reichstaller, Thomas Gabor, Alexander Knapp)....Pages 118-136
 Adapting Quality Assurance to Adaptive Systems: The Scenario Coevolution Paradigm  (Thomas Gabor, Marie Kiermeier, Andreas Sedlmeier, Bernhard Kempter, Cornel Klein, Horst Sauer et al.)....Pages 137-154
 Designing Systems with Detection and Reconfiguration Capabilities: A Formal Approach  (Iulia Dragomir, Simon Iosti, Marius Bozga, Saddek Bensalem)....Pages 155-171
 Dynamic Security Specification Through Autonomic Component Ensembles  (Rima Al Ali, Tomas Bures, Petr Hnetynka, Filip Krijt, Frantisek Plasil, Jiri Vinarek)....Pages 172-185
 Differential Equivalence Yields Network Centrality  (Stefano Tognazzi, Mirco Tribastone, Max Tschaikowski, Andrea Vandin)....Pages 186-201
 Measuring and Evaluating the Performance of Self-Organization Mechanisms Within Collective Adaptive Systems  (Benedikt Eberhardinger, Hella Ponsar, Dominik Klumpp, Wolfgang Reif)....Pages 202-220
 Engineering Sustainable and Adaptive Systems in Dynamic and Unpredictable Environments  (Rui P. Cardoso, Rosaldo J. F. Rossetti, Emma Hart, David Burth Kurka, Jeremy Pitt)....Pages 221-240
 The Sharer’s Dilemma in Collective Adaptive Systems of Self-interested Agents  (Lenz Belzner, Kyrill Schmid, Thomy Phan, Thomas Gabor, Martin Wirsing)....Pages 241-256
 Coordination Model with Reinforcement Learning for Ensuring Reliable On-Demand Services in Collective Adaptive Systems  (Houssem Ben Mahfoudh, Giovanna Di Marzo Serugendo, Anthony Boulmier, Nabil Abdennadher)....Pages 257-273
 Data-Driven Modelling and Simulation of Urban Transportation Systems Using Carma  (Natalia Zon, Stephen Gilmore)....Pages 274-287
 \(\mathcal {G}o\mathcal {A}t\): Attribute-Based Interaction in Google Go  (Yehia Abd Alrahman, Rocco De Nicola, Giulio Garbi)....Pages 288-303
 Four Exercises in Programming Dynamic Reconfigurable Systems: Methodology and Solution in DR-BIP  (Rim El Ballouli, Saddek Bensalem, Marius Bozga, Joseph Sifakis)....Pages 304-320
Front Matter ....Pages 321-321
 ISoLA 2018 - Verification and Validation of Distributed Systems: Track Introduction  (Cristina Seceleanu)....Pages 323-326
 ByMC: Byzantine Model Checker  (Igor Konnov, Josef Widder)....Pages 327-342
 Static Code Verification Through Process Models  (Sebastiaan Joosten, Marieke Huisman)....Pages 343-354
 Effective Test Suite Design for Detecting Concurrency Control Faults in Distributed Transaction Systems  (Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu)....Pages 355-374
 Towards Automated Testing of the Internet of Things: Results Obtained with the TESTAR Tool  (Mirella Martínez, Anna I. Esparcia-Alcázar, Tanja E. J. Vos, Pekka Aho, Joan Fons i Cors)....Pages 375-385
 Quantitative Safety Analysis of a Coordinated Emergency Brake Protocol for Vehicle Platoons  (Carl Bergenhem, Karl Meinke, Fabian Ström)....Pages 386-404
Front Matter ....Pages 405-405
 Cyber-Physical Systems Engineering: An Introduction  (J. Paul Gibson, Peter Gorm Larsen, Marc Pantel, John Fitzgerald, Jim Woodcock)....Pages 407-410
 Intelligent Adaption Process in Cyber-Physical Production Systems  (Daniel Müller, Christin Schumacher, Felix Zeidler)....Pages 411-428
 Model-Based Systems Engineering for Systems Simulation  (Renan Leroux, Marc Pantel, Ileana Ober, Jean-Michel Bruel)....Pages 429-448
 Scenario-Based Validation of Automated Driving Systems  (Hardi Hungar)....Pages 449-460
 Engineering of Cyber-Physical Systems in the Automotive Context: Case Study of a Range Prediction Assistant  (Christian F. J. König, Gerd Meisl, Natalia Balcu, Benjamin Vosseler, Henrik Hörmann, Jos Höll et al.)....Pages 461-476
 Testing Avionics Software: Is FMI up to the Task?  (Jörg Brauer, Oliver Möller, Jan Peleska)....Pages 477-487
 Lessons Learned Using FMI Co-simulation for Model-Based Design of Cyber Physical Systems  (Luís Diogo Couto, Stylianos Basagiannis, El Hassan Ridouane, Erica Zavaglio, Pasquale Antonante, Hajer Saada et al.)....Pages 488-503
 Co-simulation: The Past, Future, and Open Challenges  (Cláudio Gomes, Casper Thule, Julien Deantoni, Peter Gorm Larsen, Hans Vangheluwe)....Pages 504-520
Back Matter ....Pages 521-522