| 面向安全属性的机器人运行时验证 |
| |
| 引用本文： | 楚敏,邵振洲.面向安全属性的机器人运行时验证[J].计算机应用与软件,2022,39(3):322-327. |
| |
| 作者姓名： | 楚敏 邵振洲 |
| |
| 作者单位： | 首都师范大学信息工程学院 北京 100048,轻型工业机器人与安全验证北京市重点实验室(首都师范大学) 北京 100048 |
| |
| 基金项目： | 国家重点研发计划项目(2017YFB1301100)； |
| |
| 摘 要： | 为了保证机器人操作系统(Robot operating system,ROS)的安全性,提出一个运行时验证框架ROS-Monitor来监控系统。将所有的监控信息分为节点消息和节点行为,并实现从用户自定义场景模型自动生成相应监控器的工具。实验证明了该方法的有效性。
|
| 关 键 词： | 运行时验证 机器人操作系统 安全属性 监控器 面向监控编程 |
SECURITY PROPERTY-ORIENTED ROBOT RUNTIME VERIFICATION |
| |
| Chu Min,Shao Zhenzhou.SECURITY PROPERTY-ORIENTED ROBOT RUNTIME VERIFICATION[J].Computer Applications and Software,2022,39(3):322-327. |
| |
| Authors: | Chu Min Shao Zhenzhou |
| |
| Affiliation: | (College of Information Engineering,Capital Normal University,Beijing 100048,China;Beijing Key Laboratory of Light Industrial Robot and Safety Verification,Capital Normal University,Beijing 100048,China) |
| |
| Abstract: | To ensure the security of robot operating system(ROS),this paper proposes a runtime verification framework named“ROS-Monitor”to monitor the security properties of the system.We classified all monitoring information into node message and node action.A tool was implemented to generate the corresponding monitor automatically from a user-defined scene model.The experiment shows the efficiency of this method. |
| |
| Keywords: | Runtime verification Robot operating system Security property Monitor MOP |
| 本文献已被 维普 万方数据 等数据库收录！ |
