In recent years, a considerable amount of effort has been devoted, both in industry and academia, to improving maintenance. Time is a critical factor in maintenance, and efforts are placed to monitor, analyze, and visualize machine or asset data in order to anticipate to any possible failure, prevent damage, and save costs. The MANTIS Book aims to highlight the underpinning fundamentals of Condition-Based Maintenance related conceptual ideas, an overall idea of preventive maintenance, the economic impact and technical solution. The core content of this book describes the outcome of the Cyber-Physical System based Proactive Collaborative Maintenance project, also known as MANTIS, and funded by EU ECSEL Joint Undertaking under Grant Agreement n 662189. The ambition has been to support the creation of a maintenance-oriented reference architecture that support the maintenance data lifecycle, to enable the use of novel kinds of maintenance strategies for industrial machinery. The key enabler has been the fine blend of collecting data through Cyber-Physical Systems, and the usage of machine learning techniques and advanced visualization for the enhanced monitoring of the machines. Topics discussed include, in the context of maintenance: Cyber-Physical Systems, Communication Middleware, Machine Learning, Advanced Visualization, Business Models, Future Trends. An important focus of the book is the application of the techniques in real world context, and in fact all the work is driven by the pilots, all of them centered on real machines and factories. This book is suitable for industrial and maintenance managers that want to implement a new strategy for maintenance in their companies. It should give readers a basic idea on the first steps to implementing a maintenance-oriented platform or information system.

This book constitutes the refereed proceedings of the 13th International Conference on Detection of Intrusions and Malware, and Vulnerability Assessment, DIMVA 2016, held in San Sebastian, Spain, in July 2016. The 19 revised full papers and 2 extended abstracts presented were carefully reviewed and selected from 66 submissions. They present the state of the art in intrusion detection, malware analysis, and vulnerability assessment, dealing with novel ideas, techniques, and applications in important areas of computer security including vulnerability detection, attack prevention, web security, malware detection and classification, authentication, data leakage prevention, and countering evasive techniques such as obfuscation.