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

Murray, Yvonne, Sirevåg, Martin, Ribeiro, Pedro orcid.org/0000-0003-4319-4872 et al. (2 more authors) (2022) Safety assurance of an industrial robotic control system using hardware/software co-verification. Science of Computer Programming. p. 102766. ISSN 0167-6423

Abstract

Metadata

Authors/Creators:
Copyright, Publisher and Additional Information: © 2021 The Author(s). Published by Elsevier B.V.
Keywords: Formal verification, Co-verification, Model checking, Robots, Cyber-physical systems (CPS)
Dates:
  • Accepted: 27 December 2021
  • Published (online): 4 January 2022
  • Published: 1 April 2022
Institution: The University of York
Academic Units: The University of York > Faculty of Sciences (York) > Computer Science (York)
Depositing User: Pure (York)
Date Deposited: 18 Jan 2022 13:00
Last Modified: 02 Dec 2022 09:41
Published Version: https://doi.org/10.1016/j.scico.2021.102766
Status: Published
Refereed: Yes
Identification Number: https://doi.org/10.1016/j.scico.2021.102766

Download

Filename: 1_s2.0_S0167642321001593_main.pdf

Description: 1-s2.0-S0167642321001593-main

Licence: CC-BY 2.5

Share / Export

Statistics