This book constitutes the proceedings of the 16th International Conference on Remote Engineering and Virtual Instrumentation (REV), held at the BMS College of Engineering, Bangalore, India on 3–6 February 2019. Today, online technologies are at the core of most fields of engineering, as well as of society as a whole, and are inseparably connected with Internet of Things, cyber-physical systems, collaborative networks and grids, cyber cloud technologies, service architectures, to name but a few. Since it was first held in, 2004, the REV conference has focused on the increasing use of the Internet for engineering tasks and the problems surrounding it. The 2019 conference demonstrated and discussed the fundamentals, applications and experiences in the field of online engineering and virtual instrumentation. It also presented guidelines for university-level courses on these topics, in view of the increasing globalization of education and the demand for teleworking, remote services and collaborative working environments.

The chapters in this book present the work of researchers, scientists, engineers, and teachers engaged with developing unified foundations, principles, and technologies for cyber-physical security. They adopt a multidisciplinary approach to solving related problems in next-generation systems, representing views from academia, government bodies, and industrial partners, and their contributions discuss current work on modeling, analyzing, and understanding cyber-physical systems.

This book examines the requirements, risks, and solutions to improve the security and quality of complex cyber-physical systems (C-CPS), such as production systems, power plants, and airplanes, in order to ascertain whether it is possible to protect engineering organizations against cyber threats and to ensure engineering project quality. The book consists of three parts that logically build upon each other. Part I "Product Engineering of Complex Cyber-Physical Systems" discusses the structure and behavior of engineering organizations producing complex cyber-physical systems, providing insights into processes and engineering activities, and highlighting the requirements and border conditions for secure and high-quality engineering. Part II "Engineering Quality Improvement" addresses quality improvements with a focus on engineering data generation, exchange, aggregation, and use within an engineering organization, and the need for proper data modeling and engineering-result validation. Lastly, Part III "Engineering Security Improvement" considers security aspects concerning C-CPS engineering, including engineering organizations’ security assessments and engineering data management, security concepts and technologies that may be leveraged to mitigate the manipulation of engineering data, as well as design and run-time aspects of secure complex cyber-physical systems. The book is intended for several target groups: it enables computer scientists to identify research issues related to the development of new methods, architectures, and technologies for improving quality and security in multi-disciplinary engineering, pushing forward the current state of the art. It also allows researchers involved in the engineering of C-CPS to gain a better understanding of the challenges and requirements of multi-disciplinary engineering that will guide them in their future research and development activities. Lastly, it offers practicing engineers and managers with engineering backgrounds insights into the benefits and limitations of applicable methods, architectures, and technologies for selected use cases.

The four-volume set LNCS 12476 - 12479 constitutes the refereed proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, which was planned to take place during October 20–30, 2020, on Rhodes, Greece. The event itself was postponed to 2021 due to the COVID-19 pandemic. The papers presented were carefully reviewed and selected for inclusion in the proceedings. Each volume focusses on an individual topic with topical section headings within the volume: Part I, Verification Principles: Modularity and (De-)Composition in Verification; X-by-Construction: Correctness meets Probability; 30 Years of Statistical Model Checking; Verification and Validation of Concurrent and Distributed Systems. Part II, Engineering Principles: Automating Software Re-Engineering; Rigorous Engineering of Collective Adaptive Systems. Part III, Applications: Reliable Smart Contracts: State-of-the-art, Applications, Challenges and Future Directions; Automated Verification of Embedded Control Software; Formal methods for DIStributed COmputing in future RAILway systems. Part IV, Tools and Trends: From Verification to Explanation; Engineering of Digital Twins for Cyber-Physical Systems; Software Verification Tools.

This book presents new findings on cyber-physical systems design and modelling approaches based on AI and data-driven techniques, identifying the key industrial challenges and the main features of design and modelling processes. To enhance the efficiency of the design process, it proposes new approaches based on the concept of digital twins. Further, it substantiates the scientific, practical, and methodological approaches to modelling and simulating of cyber-physical systems. Exploring digital twins of cyber-physical systems as well as of production systems, it proposes combining both mathematical models and data processing techniques as advanced methods for cyber-physical system design and modelling. Moreover, it presents the implementation of the developed prototypes, including testing in real industries, which have collected and analyzed big data and proved their effectiveness. The book is intended for practitioners, enterprise representatives, scientists, and Ph.D. and master’s students interested in the research and applications of cyber-physical systems in different domains.

This open access book summarizes the results of the European research project “Twin-model based virtual manufacturing for machine tool-process simulation and control” (Twin-Control). The first part reviews the applications of ICTs in machine tools and manufacturing, from a scientific and industrial point of view, and introduces the Twin-Control approach, while Part 2 discusses the development of a digital twin of machine tools. The third part addresses the monitoring and data management infrastructure of machines and manufacturing processes and numerous applications of energy monitoring. Part 4 then highlights various features developed in the project by combining the developments covered in Parts 3 and 4 to control the manufacturing processes applying the so-called CPSs. Lastly, Part 5 presents a complete validation of Twin-Control features in two key industrial sectors: aerospace and automotive. The book offers a representative overview of the latest trends in the manufacturing industry, with a focus on machine tools.

This book constitutes the proceedings of the 16th International Conference on Remote Engineering and Virtual Instrumentation (REV), held at the BMS College of Engineering, Bangalore, India on 3-6 February 2019. Today, online technologies are at the core of most fields of engineering, as well as of society as a whole, and are inseparably connected with Internet of Things, cyber-physical systems, collaborative networks and grids, cyber cloud technologies, service architectures, to name but a few. Since it was first held in, 2004, the REV conference has focused on the increasing use of the Internet for engineering tasks and the problems surrounding it. The 2019 conference demonstrated and discussed the fundamentals, applications and experiences in the field of online engineering and virtual instrumentation. It also presented guidelines for university-level courses on these topics, in view of the increasing globalization of education and the demand for teleworking, remote services and collaborative working environments.