ROSRV: Runtime verification for robots

被引：70

作者：

Huang, Jeff ^{[1
]}

Erdogan, Cansu ^{[1
]}

Zhang, Y. ^{[1
]}

Moore, Brandon ^{[1
]}

Luo, Qingzhou ^{[1
]}

Sundaresan, Aravind ^{[2
]}

Rosu, Grigore ^{[1
]}

机构：

[1] SRI International, Menlo Park, 94025, CA

来源：

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 2014年 / 8734卷

关键词：

D O I：

10.1007/978-3-319-11164-3_20

中图分类号：

学科分类号：

摘要：

We present ROSRV, a runtime verification framework for robotic applications on top of the Robot Operating System (ROS [8]), a widely used open-source framework for robot software development. ROSRV aims to address the safety and security issues of robots by providing a transparent monitoring infrastructure that intercepts and monitors the commands and messages passing through the system. Safety and security properties can be defined in a formal specification language, and are ensured by automatically generated monitors. ROSRV integrates seamlessly with ROS—no change in ROS nor the application code is needed. ROSRV has been applied and evaluated on a commercial robot. © Springer International Publishing Switzerland 2014.

引用

页码：247 / 254

页数：7

共 8 条

[1]

Kalakrishnan M., Chitta S., Theodorou E., Pastor P., Schaal S., STOMP: Stochastic trajectory optimization for motion planning, ICRA, pp. 4569-4574, (2011)

[2]

Klank U., Carton D., Beetz M., Transparent object detection and reconstruction on a mobile platform, ICRA, pp. 5971-5978, (2011)

[3]

Pitzer B., Styer M., Bersch C., Duhadway C., Becker J., Towards perceptual shared autonomy for robotic mobile manipulation, ICRA, pp. 6245-6251, (2011)

[4]

Quigley M., Conley K., Gerkey B.P., Faust J., Foote T., Leibs J., Wheeler R., Ng A.Y., ROS: An open-source robot operating system, ICRA Workshop on Open Source Software, (2009)

[5]

Rosu G., Chen F., Semantics and algorithms for parametric monitoring, Logical Methods in Computer Science, 8, 1, pp. 1-47, (2012)

[6]

ROS Multimaster, (2014)

[7]

(2014)

[8]

(2014)

← 1 →