Safety Assurance of an Industrial Robotic Control System Using Hardware/Software Co-Verification

Yvonne Murray, Pedro Fernando De Oliveira Salazar Ribeiro, David A. Anisi, Martin Sirevåg, Morten Mossige

Research output: Contribution to conference › Poster

Original language	English
Publication status	Unpublished - 11 Oct 2022
Event	YorRobots and RoboStar Industry Exhibition - University of York, York Duration: 11 Oct 2022 → 12 Oct 2022

Conference	YorRobots and RoboStar Industry Exhibition
City	York
Period	11/10/22 → 12/10/22

Keywords

A Calculus for Software Engineering of Mobile and Autonomous Robots
Cavalcanti, A. L. C. (Principal investigator), Timmis, J. (Co-investigator), Woodcock, J. (Co-investigator), Foster, S. D. (Researcher), Li, W. (Researcher), Miyazawa, A. (Researcher) & Ribeiro, P. (Researcher)
EPSRC
1/09/15 → 30/06/21
Project: Research project (funded) › Research

@conference{4f7f1c673a8f4937959b28e1f34b5ca2,

title = "Safety Assurance of an Industrial Robotic Control System Using Hardware/Software Co-Verification",

keywords = "robotics, formal verification",

author = "Yvonne Murray and {De Oliveira Salazar Ribeiro}, {Pedro Fernando} and Anisi, {David A.} and Martin Sirev{\aa}g and Morten Mossige",

year = "2022",

month = oct,

day = "11",

language = "English",

note = "YorRobots and RoboStar Industry Exhibition ; Conference date: 11-10-2022 Through 12-10-2022",

}

TY - CONF

T1 - Safety Assurance of an Industrial Robotic Control System Using Hardware/Software Co-Verification

AU - Murray, Yvonne

AU - De Oliveira Salazar Ribeiro, Pedro Fernando

AU - Anisi, David A.

AU - Sirevåg, Martin

AU - Mossige, Morten

PY - 2022/10/11

Y1 - 2022/10/11

KW - robotics

KW - formal verification

M3 - Poster

T2 - YorRobots and RoboStar Industry Exhibition

Y2 - 11 October 2022 through 12 October 2022

ER -