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

Item Type: Article
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:
  • Published: 1 April 2022
  • Published (online): 4 January 2022
  • Accepted: 27 December 2021
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: 15 Nov 2024 00:37
Published Version: https://doi.org/10.1016/j.scico.2021.102766
Status: Published
Refereed: Yes
Identification Number: 10.1016/j.scico.2021.102766
Open Archives Initiative ID (OAI ID):

Download

Filename: 1_s2.0_S0167642321001593_main.pdf

Description: 1-s2.0-S0167642321001593-main

Licence: CC-BY 2.5

Export

Statistics