YAP: Tool Support for Deriving Safety Controllers from Hazard Analysis and Risk Assessments

Mario Gleirscher
(University of York)

Safety controllers are system or software components responsible for handling risk in many machine applications. This tool paper describes a use case and a workflow for YAP, a research tool for risk modelling and discrete-event safety controller design. The goal of this use case is to derive a safety controller from hazard analysis and risk assessment, to define a design space for this controller, and to select a verified optimal controller instance from this design space. We represent this design space as a stochastic model and use YAP for risk modelling and generation of parts of this stochastic model. For the controller verification and selection step, we use a stochastic model checker. The approach is illustrated by an example of a collaborative robot operated in a manufacturing work cell.

In Matt Luckcuck and Marie Farrell: Proceedings Second Workshop on Formal Methods for Autonomous Systems (FMAS 2020), Virtual, 7th of December 2020, Electronic Proceedings in Theoretical Computer Science 329, pp. 31–47.
Published: 3rd December 2020.

ArXived at: http://dx.doi.org/10.4204/EPTCS.329.4 bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org