6533b859fe1ef96bd12b83a7

RESEARCH PRODUCT

Safety Assurance of a High Voltage Controller for an Industrial Robotic System

Pedro RibeiroDavid A. AnisiYvonne MurrayRabah Saleh HagagMartin Sirevåg

subject

Model checking0209 industrial biotechnologyFinite-state machinebusiness.industryComputer science020207 software engineering02 engineering and technologyReliability engineering020901 industrial engineering & automationSoftwareControl theoryVoltage controllerSafety assurance0202 electrical engineering electronic engineering information engineeringbusinessFormal verificationQuality assurance

description

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 specified and formally verified using the two tools. Simulink was chosen as a low-threshold entry point since MathWorks products are well known to most practitioners. RoboTool serves as a software tool targeted towards model checking, thus providing more advanced options for the more experienced user. The comparative study and results show that all properties were successfully verified. The verification times in both tools were in the order of a few minutes, which was within the acceptable time limit for this particular application.

yearjournalcountryeditionlanguage
2020-01-01
https://hdl.handle.net/11250/2789160