The reliability and safety of industrial machines depends on their timely maintenance. The integration of Cyber Physical Systems within the maintenance process enables both continuous machine monitoring and the application of advanced techniques for predictive and proactive machine maintenance. The building blocks for this revolution - embedded sensors, efficient preprocessing capabilities, ubiquitous connection to the internet, cloud-based analysis of the data, prediction algorithms, and advanced visualization methods - are already in place, but several hurdles have to be overcome to enable their application in real scenarios, namely: the integration with existing machines and existing maintenance processes. Current research and development efforts are building pilots and prototypes to demonstrate the feasibility and the merits of advanced maintenance techniques, and this paper describes a system for the industrial maintenance of sheet metal working machinery and its evolution towards a full proactive maintenance system.

Since the end of the 1990s, there has been an increasing interest in the application of artificial intelligence (AI) planning techniques to solve real-life problems. In addition to characteristics of academic problems, such as the need to reason about actions, real-life problems require detailed knowledge elicitation, engineering, and management. A systematic design process in which Knowledge and Requirements Engineering tools play a fundamental role is necessary in such applications. One of the main challenges in such design process, and consequently in the study of Knowledge Engineering in AI planning, has been the analysis of requirements and their subsequent transformation into an input-ready model for planners. itSIMPLE is a research project dedicated to the study of a project process to support the design phases of real-life planning models. In this paper, we give an overview of itSIMPLE focusing on the main translation processes among a minimal set of representations: from requirements represented in Unified Modeling Language (UML) to Petri Nets and from UML models to planning domain definition language for problem solving.