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

Research output: Chapter in Book/Report/Conference proceedingConference contribution


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 languageEnglish
Title of host publicationSecond Workshop on Formal Methods for Autonomous Systems (FMAS2020)
PublisherOpen Publishing Association
Number of pages47
Publication statusPublished - 7 Dec 2020

Publication series

NameElectronic Proceedings in Theoretical Computer Science
PublisherOpen Publishing Association

Bibliographical note

© 2020, The Author(s).


  • Risk assessment
  • controller synthesis
  • control software
  • hazard analysis

Cite this