Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems: 8th International Symposium, Isola 2018, Limassol, Cyprus

ISBN-13: 9783030034238 / Angielski / Miękka / 2018 / 522 str.

Tiziana Margaria; Bernhard Steffen

Spis treści

Rigorous Engineering of Collective Adaptive Systems - Introduction to the 2nd Track Edition.- DReAM: Dynamic Reconfigurable Architecture Modeling.- Dynamic Logic for Ensembles.- Modelling the Transition to Distributed Ledgers.- Collective Adaptive Socio-Technical System for Remote- and Self-Supervised Exercise in the Treatment of Intermittent Claudication.- Engineering Collectives of Self-driving Vehicles: the SOTA Approach.- Synthesizing Capabilities for Collective Adaptive Systems from Self-Descriptive Hardware Devices – Bridging the Reality Gap.- The Meaning of Adaptation: Mastering the Unforeseen?.- Mutation-based Test Suite Evolution For Self-Organizing Systems.- Adapting Quality Assurance to Adaptive Systems: The Scenario Coevolution Paradigm.- Designing Systems with Detection and Reconfiguration Capabilities: A Formal Approach.- Dynamic Security Specification through Autonomic Component Ensembles.- Differential Equivalence yields Network Centrality.- Measuring and Evaluating the Performance of Self-Organization Mechanisms within Collective Adaptive Systems.- Engineering Sustainable and Adaptive Systems in Dynamic Environments.- The Sharer's Dilemma in Collective Adaptive Systems of Self-Interested Agents.- Coordination model with reinforcement learning for ensuring reliable on-demand services in collective adaptive systems.- Data-driven modelling and simulation of urban transportation systems using Carma.- GoAt: Attribute-based Interaction in Google Go.- Four Exercises in Programming Dynamic Reconfigurable Systems: Methodology and Solution in DR-BIP.- ISoLA 2018 - Verification and Validation of Distributed Systems: Track Introduction.- ByMC: Byzantine Model Checker.- Static code verification through process models.- Effective Test Suite Design for Detecting Concurrency Control Faults in Distributed Transaction Systems.- Towards automated testing of the Internet of Things: Results obtained with the TESTAR tool.- Quantitative Safety Analysis of a Coordinated Emergency Brake Protocol for Vehicle Platoons.- Cyber-Physical Systems Engineering: An Introduction.- Intelligent Adaption Process in Cyber-Physical Production Systems (CPPS).- Model-Based Systems Engineering for Systems Simulation.- Scenario-based validation of automated driving systems.- Engineering of Cyber-Physical Systems in the automotive context: case study of a range prediction assistant.- Testing Avionics Software: Is FMI up to the Task?.- Lessons Learned Using FMI Co-Simulation for Model-based Design of Cyber Physical Systems.- Co-simulation: the Past, Future, and Open Challenges.