Leveraging applications of formal methods, verification and validation. distributed systems : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings /: distributed systems : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings. Part III : (2018)

• Record Type: Book
• Other Titles: ISoLA 2018
• Further Information: Note: Tiziana Margaria, Bernhard Steffen (eds.).
• Editors: Margaria-Steffen, Tiziana, 1964-; Steffen, Bernhard
• Other Names: ISoLA (Symposium), 8th
• Contents: 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.
• Publisher Details: Cham : Springer
• Publication Date: 2018
• Extent: 1 online resource (xiv, 522 pages), illustrations (some color)
• Subjects: 004.01/51; Computer science; Formal methods (Computer science) -- Congresses; Robots -- Programming -- Congresses; Machine learning -- Congresses; Computer software -- Verification -- Congresses; Computers -- Programming Languages -- General; Computers -- Computer Science; Computers -- Hardware -- General; Computers -- General; Programming & scripting languages: general; Program concepts / learning to program; Computer science; Computer networking & communications; Information technology: general issues; Software engineering; Electronic data processing; Information theory; Computer network architectures; Computer industry; Computers -- Software Development & Engineering -- General; Software Engineering; Electronic books
• Languages: English
• ISBNs: 9783030034245; 3030034240
• Related ISBNs: 9783030034238
• Notes: Note: Online resource; title from PDF title page (SpringerLink, viewed November 9, 2018).
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.