Automating CPPSs Analyses with SysML v2 and Lingua Franca in the Context of Industry 4.0

The design of manufacturing systems requires exploring diverse component configurations for one that best satisfies the requirements of the target system. At the same time, manufacturing systems evolve continuously, increasing their complexity and that of the production line in which they are installed. Model-based System Engineering (MBSE) methodologies and modeling languages like System Modeling Language (SysML) are used to assist system engineers during the entire design process. Yet, MBSE methodologies mainly rely on manually composed models for requirements verification, incurring enormous cost and effort especially in larger, more complex systems. This paper proposes a methodology exploiting the knowledge enclosed in a SysML model to automate the execution of a set of analyses defined over the represented manufacturing system. The proposed approach relies on Lingua Franca (LF) to simulate the specified analysis and analyze the results. Moreover, the methodology supports chains of analyses to represent dependent requirements and tradeoffs imposed upon a manufacturing system. The proposed methodology has been evaluated on a manufacturing system demonstrator. Results show the proposed methodology's applicability and scalability on diverse configurations of the manufacturing system.