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

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

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:
  • Published: 7 December 2020
  • Accepted: 27 October 2020
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):

Download

Filename: paper.pdf

Description: paper

Licence: CC-BY-SA 2.5

Export

Statistics