Cyber Physical Production Systems: Theory and Practices (CPPS-2018)
Industry 4.0 is the new generation of manufacturing systems called Cyber-Physical Production Systems (CPPS) that are able to face the current economic and societal challenges. Its implementation is based on a set of new technologies of manufacturing (IoT and Industrial IoT, Robotics and Cobotics, Augmented/Virtual Reality, Additive Manufacturing, cloud manufacturing, …), data collection, storage and analysis, and digital twin (digital factory, simulation and decision tools, …). In general, CPPS are complex due to the composition and the combination of the system’s components: digital, software, and physical elements. The physical parts are connected to a network, which is controlled by software components or, some times, manually. Examples of such systems can be found in manufactories, avionics, automotive systems, nuclear power plants, etc.
Interoperability, safety, reliability, maintenance and security aspects of CPPS is challenging due to the inherent complexity of CPPS. Moreover, it is not sufficient to ascertain one aspect of the individual components in isolation: faults and threats in CPPS systems could also be due to the interaction between the physical, digital and software parts of CPPS. Therefore, the system must be studied as a whole, which sets this emerging discipline apart from these individually established fields. This event provides a platform for professionals from academia, government, and industry to discuss how to address the increasing the issues challenges facing CPPS.
Topics for the workshop include, but are not limited to:
- Modeling CPPS (formal models, UML, SysML, ADAAL, etc)
- Formal methods for CPPS (abstraction, compositional verification, model checking, theorem proving, simulation, testing, etc)
- Decision making process in CPPS
- IoT architecture and protocol for CPPS
- Design safe, reliable, and secure CPPS
- Data collection, extraction and analysis in CPPS
- Safety, reliability, and Risk analysis techniques for CPPS
- Threat modeling for CPPS
- Security requirements specification, Security policies and access control for CPPS
- Human aspects and robot interactions in CPPS
- Case studies, tools, and experimental results for CPPS
Submission and Proceedings
At least one author of each accepted paper will be required to present the work at the workshop. All papers accepted for the workshop will be included in the EUSPN-2018 proceedings, which will be published by Elsevier. The authors must follow Elsevier guidelines provided at EUSPN-2018 website. The number of pages for workshop papers is limited to 6 pages. Selected outstanding papers presented at the workshop, after further revision, will be considered for publication in special issues of selected journals. Authors should submit their contributions here, electronically in PDF format.