0000000000674314

AUTHOR

Yvonne Murray

showing 3 related works from this author

Safety assurance of an industrial robotic control system using hardware/software co-verification

2022

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. This trend reinforces the importance of supplementing traditional, input-based testing and quality procedures which are widely used in industry today, with formal verification and model-checking methods. To this end, this paper focuses on a representative safety-critical system in an ABB industrial paint robot, namely the High-Voltage electrostatic Control system (HVC). The practical convergence of the high-voltage produced by the HVC, essential for safe operation, is f…

FOS: Computer and information sciencesFormal Languages and Automata Theory (cs.FL)Formal methodsVerificationComputer Science - Formal Languages and Automata Theory:Teknisk kybernetikk: 553 [VDP]VDP::Teknisk kybernetikk: 553RoboticsComputer Science - RoboticsVDP::Technical cybernetics: 553:Technical cybernetics: 553 [VDP]VerifikasjonFormelle metoderRobotikkRobotics (cs.RO)Software
researchProduct

Survey of Formal Verification Methods for Smart Contracts on Blockchain

2019

Due to the immutable nature of distributed ledger technology such as blockchain, it is of utter importance that a smart contract works as intended before employment outside test network. This is since any bugs or errors will become permanent once published to the live network, and could lead to substantial economic losses; as manifested in the infamous DAO smart contract exploit hack in 2016. In order to avoid this, formal verification methods can be used to ensure that the contract behaves according to given specifications. This paper presents a survey of the state of the art of formal verification of smart contracts. Being a relatively new research area, a standard or best practice for fo…

Model checkingSmart contractExploitComputer science020206 networking & telecommunications02 engineering and technologyFormal methodsComputer securitycomputer.software_genreSyntax (logic)Automated theorem provingOrder (business)0202 electrical engineering electronic engineering information engineering020201 artificial intelligence & image processingFormal verificationcomputer2019 10th IFIP International Conference on New Technologies, Mobility and Security (NTMS)
researchProduct

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

2020

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…

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
researchProduct