YAP：从危险分析与风险评估导出安全控制器的工具支持
软件工程
2020-12-04 v1 机器人学
摘要
安全控制器是许多机器应用中负责处理风险的系统或软件组件。本工具论文描述了YAP的一个用例与工作流，YAP是一个用于风险建模与离散事件安全控制器设计的研究工具。该用例的目标是从危险分析与风险评估导出安全控制器，为该控制器定义设计空间，并从此设计空间中选择一个经验证的最优控制器实例。我们将该设计空间表示为随机模型，并使用YAP进行风险建模及该随机模型部分的生成。对于控制器验证与选择步骤，我们使用随机模型检测器。该方法通过一个在制造工位中运行的协作机器人示例加以说明。
引用
@article{arxiv.2012.01649,
title = {YAP: Tool Support for Deriving Safety Controllers from Hazard Analysis and Risk Assessments},
author = {Mario Gleirscher},
journal= {arXiv preprint arXiv:2012.01649},
year = {2020}
}
备注
In Proceedings FMAS 2020, arXiv:2012.01176