Browsing AURA by Author "Anisi, Alireza David"
Now showing items 1-1 of 1
-
Safety assurance of an industrial robotic control system using hardware/software co-verification
Murray, Yvonne; Sirevåg, Martin; Ribeiro, Pedro; Anisi, Alireza David; Mossige, Morten (Journal article; Peer reviewed, 2021)As a general trend in industrial robotics, an increasing number of safety functions are being developed or re-engineered to be handled in software rather than by physical hardware such as safety relays or interlock circuits. ...