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

Mario Gleirscher

doi:10.4204/EPTCS.329.4

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

Mario Gleirscher

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract

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.

Original language	English
Title of host publication	Second Workshop on Formal Methods for Autonomous Systems (FMAS2020)
Publisher	Open Publishing Association
Pages	31
Number of pages	47
Volume	329
DOIs	https://doi.org/10.4204/EPTCS.329.4
Publication status	Published - 7 Dec 2020

Publication series

Name	Electronic Proceedings in Theoretical Computer Science
Publisher	Open Publishing Association
Volume	329

Bibliographical note

Keywords

Risk assessment
controller synthesis
control software
hazard analysis

Access to Document

10.4204/EPTCS.329.4Licence: CC BY-SA

paper
© 2020, The Author(s).
Final published version, 312 KBLicence: CC BY-SA

Cite this

@inproceedings{ccccb18d788249fea20f1a9a4c143252,

title = "Yap: Tool Support for Deriving Safety Controllers from Hazard Analysis and Risk Assessments",

abstract = "Safety controllers are system or software components responsible for handling risk in many machineapplications. This tool paper describes a use case and a workflow for YAP, a research tool for riskmodelling and discrete-event safety controller design. The goal of this use case is to derive a safetycontroller from hazard analysis and risk assessment, to define a design space for this controller, andto select a verified optimal controller instance from this design space. We represent this design spaceas 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 isillustrated by an example of a collaborative robot operated in a manufacturing work cell.",

keywords = "Risk assessment, controller synthesis, control software, hazard analysis",

author = "Mario Gleirscher",

note = "{\textcopyright} 2020, The Author(s). ",

year = "2020",

month = dec,

day = "7",

doi = "10.4204/EPTCS.329.4",

language = "English",

volume = "329",

series = "Electronic Proceedings in Theoretical Computer Science",

publisher = "Open Publishing Association",

pages = "31",

booktitle = "Second Workshop on Formal Methods for Autonomous Systems (FMAS2020)",

address = "Australia",

}

Yap: Tool Support for Deriving Safety Controllers from Hazard Analysis and Risk Assessments. / Gleirscher, Mario.
Second Workshop on Formal Methods for Autonomous Systems (FMAS2020). Vol. 329 Open Publishing Association, 2020. p. 31 (Electronic Proceedings in Theoretical Computer Science; Vol. 329).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Yap: Tool Support for Deriving Safety Controllers from Hazard Analysis and Risk Assessments

AU - Gleirscher, Mario

PY - 2020/12/7

Y1 - 2020/12/7

N2 - Safety controllers are system or software components responsible for handling risk in many machineapplications. This tool paper describes a use case and a workflow for YAP, a research tool for riskmodelling and discrete-event safety controller design. The goal of this use case is to derive a safetycontroller from hazard analysis and risk assessment, to define a design space for this controller, andto select a verified optimal controller instance from this design space. We represent this design spaceas 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 isillustrated by an example of a collaborative robot operated in a manufacturing work cell.

AB - Safety controllers are system or software components responsible for handling risk in many machineapplications. This tool paper describes a use case and a workflow for YAP, a research tool for riskmodelling and discrete-event safety controller design. The goal of this use case is to derive a safetycontroller from hazard analysis and risk assessment, to define a design space for this controller, andto select a verified optimal controller instance from this design space. We represent this design spaceas 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 isillustrated by an example of a collaborative robot operated in a manufacturing work cell.

KW - Risk assessment

KW - controller synthesis

KW - control software

KW - hazard analysis

U2 - 10.4204/EPTCS.329.4

DO - 10.4204/EPTCS.329.4

M3 - Conference contribution

VL - 329

T3 - Electronic Proceedings in Theoretical Computer Science

SP - 31

BT - Second Workshop on Formal Methods for Autonomous Systems (FMAS2020)

PB - Open Publishing Association

ER -