Difference between revisions of "ROSRV"

From FSL
Jump to: navigation, search
Line 1: Line 1:
ROSRV is a runtime verification framework for the Robot Operating System (ROS). ROS is an open-source framework for robot software development, providing operating system-like functionality on heterogeneous
+
ROSRV is a runtime verification framework for the Robot Operating System (ROS) [1]. ROS is an open-source framework for robot software development, providing operating system-like functionality on heterogeneous
 
computer clusters. With the wide adoption of ROS, its safety and security are becoming an important problem. ROSRV integrates seamlessly with ROS and works as a transparent monitoring infrastructure that intercepts the commands and messages passing through the system and performs monitoring actions upon events of interest. Safety and security properties can be defined in a formal specification language, and are ensured by monitors generated automatically from specifications.
 
computer clusters. With the wide adoption of ROS, its safety and security are becoming an important problem. ROSRV integrates seamlessly with ROS and works as a transparent monitoring infrastructure that intercepts the commands and messages passing through the system and performs monitoring actions upon events of interest. Safety and security properties can be defined in a formal specification language, and are ensured by monitors generated automatically from specifications.
  
Line 8: Line 8:
 
== Demo ==
 
== Demo ==
  
Watch how the monitors interact with the robot LandShark [1]:
+
Watch how the monitors interact with the robot LandShark [2]:
  
  
 
== References ==
 
== References ==
  
[1] The LandShark UGV is a product of [http://www.blackirobotics.com Black-i Robotics]
+
[1] [http://www.ros.org/ ROS]
 +
[2] The LandShark UGV is a product of [http://www.blackirobotics.com Black-i Robotics]

Revision as of 00:49, 3 February 2014

ROSRV is a runtime verification framework for the Robot Operating System (ROS) [1]. ROS is an open-source framework for robot software development, providing operating system-like functionality on heterogeneous computer clusters. With the wide adoption of ROS, its safety and security are becoming an important problem. ROSRV integrates seamlessly with ROS and works as a transparent monitoring infrastructure that intercepts the commands and messages passing through the system and performs monitoring actions upon events of interest. Safety and security properties can be defined in a formal specification language, and are ensured by monitors generated automatically from specifications.

Contents

Getting Started

Event Specification

Demo

Watch how the monitors interact with the robot LandShark [2]:


References

[1] ROS [2] The LandShark UGV is a product of Black-i Robotics

Personal tools
Namespaces

Variants
Actions
Navigation