TY - JOUR
T1 - ROSRV
T2 - Runtime verification for robots
AU - Huang, Jeff
AU - Erdogan, Cansu
AU - Zhang, Y.
AU - Moore, Brandon
AU - Luo, Qingzhou
AU - Sundaresan, Aravind
AU - Rosu, Grigore
N1 - Publisher Copyright:
© Springer International Publishing Switzerland 2014.
PY - 2014
Y1 - 2014
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=84921715155&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84921715155&partnerID=8YFLogxK
U2 - 10.1007/978-3-319-11164-3_20
DO - 10.1007/978-3-319-11164-3_20
M3 - Article
AN - SCOPUS:84921715155
SN - 0302-9743
VL - 8734
SP - 247
EP - 254
JO - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
JF - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
ER -