Safety Design and Verification in Reconfigurable Assembly Systems

The reconfigurable manufacturing systems (RMS) have been proposed in the last decades to deal with mass-customization problems and unpredictable market conditions. Numerous studies deal with RMS design and control issues, but very few studies explore RMS's inherent safety problems. To address these issues, this paper aims to fill the current research gap of human safety in reconfigurable assembly systems (RAS). The objective is to make standard industrial robot-human safe platforms and assist safety managers in implementing flexible and easy-to-deploy safety devices to efficiently ensure human safety in RAS. The result of the developed approach will be tested and verified using a formal approach to prove and guarantee the design’s correctness of the safety bubble, i.e., no possible violation of the safety rules.