YAP: ハザード分析とリスク評価から安全制御器を導出するツール支援
YAP: Tool Support for Deriving Safety Controllers from Hazard Analysis and Risk Assessments
リスクモデリングと離散事象安全制御器設計のための研究ツールYAPを用い、ハザード分析から安全制御器を導出し、確率的モデル検査で検証済みの最適な制御器を選択するワークフローを協働ロボットの例で示した。
著者: Mario Gleirscher
分類: cs.SE, cs.RO
原文アブストラクト
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.
