CISD Group
The automatic generation of a model for a Cyber-Physical Production System (CPPS) is the starting point for any activity of synthesis and verification of software modules managing such a CPPS.
SysML is a language for describing complex CPS and it can be extended and adapted to fully represent a CPPS.
The aim of the thesis is the definition of a building methodology for integrating heterogenous information into a SysML model and making them correctly formalized.
This activity will be integrated in the production line of the ICE Laboratory.
Our site saves small pieces of text information (cookies) on your device in order to deliver better content and for statistical purposes. You can disable the usage of cookies by changing the settings of your browser. By browsing our website without changing the browser settings you grant us permission to store that information on your device.