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.
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 | |
Publication status | Published - 7 Dec 2020 |
Publication series
Name | Electronic Proceedings in Theoretical Computer Science |
---|---|
Publisher | Open Publishing Association |
Volume | 329 |
Bibliographical note
© 2020, The Author(s).Keywords
- Risk assessment
- controller synthesis
- control software
- hazard analysis