Gleirscher, Mario orcid.org/0000-0002-9445-6863 (2020) Yap: Tool Support for Deriving Safety Controllers from Hazard Analysis and Risk Assessments. In: Second Workshop on Formal Methods for Autonomous Systems (FMAS2020). Electronic Proceedings in Theoretical Computer Science . Open Publishing Association , p. 31.
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.
Metadata
Item Type: | Proceedings Paper |
---|---|
Authors/Creators: |
|
Copyright, Publisher and Additional Information: | © 2020, The Author(s). |
Keywords: | Risk assessment,controller synthesis,control software,hazard analysis |
Dates: |
|
Institution: | The University of York |
Academic Units: | The University of York > Faculty of Sciences (York) > Computer Science (York) |
Depositing User: | Pure (York) |
Date Deposited: | 07 Dec 2020 16:40 |
Last Modified: | 21 Jan 2025 18:25 |
Published Version: | https://doi.org/10.4204/EPTCS.329.4 |
Status: | Published |
Publisher: | Open Publishing Association |
Series Name: | Electronic Proceedings in Theoretical Computer Science |
Identification Number: | 10.4204/EPTCS.329.4 |
Open Archives Initiative ID (OAI ID): | oai:eprints.whiterose.ac.uk:168776 |