We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.SE

Change to browse by:

References & Citations

DBLP - CS Bibliography

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Software Engineering

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

Authors: Mario Gleirscher (University of York)
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.
Comments: In Proceedings FMAS 2020, arXiv:2012.01176
Subjects: Software Engineering (cs.SE); Robotics (cs.RO)
Journal reference: EPTCS 329, 2020, pp. 31-47
DOI: 10.4204/EPTCS.329.4
Cite as: arXiv:2012.01649 [cs.SE]
  (or arXiv:2012.01649v1 [cs.SE] for this version)

Submission history

From: EPTCS [view email]
[v1] Thu, 3 Dec 2020 02:22:20 GMT (80kb,D)

Link back to: arXiv, form interface, contact.