论文标题
YAP：从危险分析和风险评估中得出安全控制器的工具支持
YAP: Tool Support for Deriving Safety Controllers from Hazard Analysis and Risk Assessments
论文作者
论文摘要
安全控制器是负责在许多机器应用中处理风险的系统或软件组件。该工具文件描述了YAP的用例和工作流程，YAP是一种用于风险建模和离散事件安全控制器设计的研究工具。此用例的目的是从危险分析和风险评估中得出安全控制器，为该控制器定义设计空间，并从该设计空间中选择经过验证的最佳控制器实例。我们将这个设计空间表示为随机模型，并使用YAP进行此随机模型的一部分的风险建模和生成。对于控制器验证和选择步骤，我们使用随机模型检查器。在制造业单元格中操作的协作机器人的示例说明了这种方法。
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.
