Automated Model-Based Reliability Assessment of Software-Defined Manufacturing

The current trend in production systems development is shifted towards the software part. This is emphasized by the concepts of digital twins and Software-Defined Manufacturing (SDM). These software-intensive and safety-critical systems have more frequent software updates to address higher system flexibility and adjustable production processes. SDMsystems bring new challenges to the reliability assessment. Each update can change the system behavior significantly. This leads to the necessity to reconduct reliability assessment automatically before each software update. In this paper, we introduce the concept of an automated modelbased reliability assessment method sensible to the software update. The paper describes the key idea of the method and demonstrates its application on a model of a robotic manipulator.