0000000000857600
AUTHOR
Rabah Saleh Hagag
Safety assurance of high voltage control module in a robotic paint system
Master's thesis in Mechatronics (MAS500)
Safety Assurance of a High Voltage Controller for an Industrial Robotic System
Abstract Due to the risk of discharge sparks and ignition, there are strict rules concerning the safety of high voltage electrostatic systems used in industrial painting robots. In order to assure that the system fulfils its safety requirements, formal verification is an important tool to supplement traditional testing and quality assurance procedures. The work in this paper presents formal verification of the most important safety functions of a high voltage controller. The controller has been modelled as a finite state machine, which was formally verified using two different model checking software tools; Simulink Design Verifier and RoboTool. Five safety critical properties were specifie…