{"id":{"repo_id":"uiuc","oai_identifier":"oai:www.ideals.illinois.edu:2142/72807"},"canonical_url":"https://search.dev.ndltd.org/etd/uiuc/oai:www.ideals.illinois.edu:2142/72807","repository":{"repo_id":"uiuc","name":"University of Illinois - Urbana-Champaign","base_url":"https://www.ideals.illinois.edu/oai-pmh"},"display":{"title":"ROSRV: runtime verification for the Robot Operating System","abstract":"The Robot Operating System (ROS) is a widely used open-source framework for robot software development. Its increasing popularity, along with its renowned features, such as its dynamic and distributed nature, call for a safety and security protection mechanism which is not supplied as part of the framework. This thesis presents ROSRV, a runtime verification framework for ROS. ROSRV aims to address vulnerabilities in ROS in order to build more reliable robots by enforcing security policies and monitoring safety properties. It integrates with ROS seamlessly; in other words, it does not require any change to the ROS source code or the robot software. ROSRV has three major components: (1) a tool that provides an expressive formal specification language to define safety properties, and automatically generates monitors out of them, (2) a proxy node that manages these monitors which transparently intercept and observe messages exchanged by the computational units of ROS to ensure the system behaves as desired, and (3) an access control policy administered by the proxy node to restrict the impact of individual units on the overall system. ROSRV has been tested on a commercial robot running ROS and the evaluations showed promising results.","abstract_html":"The Robot Operating System (ROS) is a widely used open-source framework for robot software development. Its increasing popularity, along with its renowned features, such as its dynamic and distributed nature, call for a safety and security protection mechanism which is not supplied as part of the framework. This thesis presents ROSRV, a runtime verification framework for ROS. ROSRV aims to address vulnerabilities in ROS in order to build more reliable robots by enforcing security policies and monitoring safety properties. It integrates with ROS seamlessly; in other words, it does not require any change to the ROS source code or the robot software. ROSRV has three major components: (1) a tool that provides an expressive formal specification language to define safety properties, and automatically generates monitors out of them, (2) a proxy node that manages these monitors which transparently intercept and observe messages exchanged by the computational units of ROS to ensure the system behaves as desired, and (3) an access control policy administered by the proxy node to restrict the impact of individual units on the overall system. ROSRV has been tested on a commercial robot running ROS and the evaluations showed promising results.","abstract_has_math":false,"creators":["Erdogan, Cansu"],"institution":"University of Illinois at Urbana-Champaign","degree_name":"M.S.","degree_level":"Thesis","degree_discipline":"Computer Science","degree_department":null,"school":null,"contributors":["Rosu, Grigore"],"advisors":[],"committee_chairs":[],"committee_members":[],"year":2015,"date_issued":"2015-01-21T19:48:24Z","date_published":"2015-01-21T19:48:24Z","updated_at":"2026-07-22T22:26:07Z","subjects":["Runtime Verification","Monitoring","Access Control","Robot Operating System (ROS)"],"languages":["en"],"rights":["Copyright 2014 Cansu Erdogan"],"rights_urls":[],"identifier_entries":[]},"links":{"outbound_url":"http://hdl.handle.net/2142/72807","outbound_label":"Handle","outbound_source":"dc:identifier"},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:contributor","label":"Contributor","values":["Rosu, Grigore"]},{"key":"dc:creator","label":"Author","values":["Erdogan, Cansu"]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:date","label":"Dc Date","values":["2015-01-21T19:48:24Z","2014-12","2015-01-21"]},{"key":"dc:type","label":"Dc Type","values":["text"]},{"key":"thesis:degree_discipline","label":"Discipline","values":["Computer Science"]},{"key":"thesis:degree_level","label":"Degree Level","values":["Thesis"]},{"key":"thesis:degree_name","label":"Degree Name","values":["M.S."]},{"key":"thesis:institution_name","label":"Thesis Institution Name","values":["University of Illinois at Urbana-Champaign"]}]},{"id":"subjects_keywords","label":"Subjects and Keywords","entries":[{"key":"dc:subject","label":"Dc Subject","values":["Runtime Verification","Monitoring","Access Control","Robot Operating System (ROS)"]}]},{"id":"language_rights","label":"Language and Rights","entries":[{"key":"dc:language","label":"Dc Language","values":["en"]},{"key":"dc:rights","label":"Dc Rights","values":["Copyright 2014 Cansu Erdogan"]}]},{"id":"identifiers","label":"Identifiers","entries":[{"key":"dc:identifier","label":"Identifier","values":["http://hdl.handle.net/2142/72807"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description","label":"Description","values":["The Robot Operating System (ROS) is a widely used open-source framework for robot software development. Its increasing popularity, along with its renowned features, such as its dynamic and distributed nature, call for a safety and security protection mechanism which is not supplied as part of the framework. This thesis presents ROSRV, a runtime verification framework for ROS. ROSRV aims to address vulnerabilities in ROS in order to build more reliable robots by enforcing security policies and monitoring safety properties. It integrates with ROS seamlessly; in other words, it does not require any change to the ROS source code or the robot software. ROSRV has three major components: (1) a tool that provides an expressive formal specification language to define safety properties, and automatically generates monitors out of them, (2) a proxy node that manages these monitors which transparently intercept and observe messages exchanged by the computational units of ROS to ensure the system behaves as desired, and (3) an access control policy administered by the proxy node to restrict the impact of individual units on the overall system. ROSRV has been tested on a commercial robot running ROS and the evaluations showed promising results.","Item withdrawn by Laura Spradlin (lspradl2@illinois.edu) on 2014-12-08T17:21:14Z Item was in collections: University of Illinois Theses & Dissertations (ID: 1) No. of bitstreams: 1 Erdogan_Cansu.pdf: 1760837 bytes, checksum: d013540034e24a62da56efec3575294a (MD5)","Made available in DSpace on 2015-01-21T19:48:24Z (GMT). No. of bitstreams: 1 Cansu_Erdogan.pdf: 1760837 bytes, checksum: d013540034e24a62da56efec3575294a (MD5)"]},{"key":"dc:title","label":"Title","values":["ROSRV: runtime verification for the Robot Operating System"]}]}],"canonical_facts":{"dc:contributor":["Rosu, Grigore"],"dc:creator":["Erdogan, Cansu"],"dc:date":["2015-01-21T19:48:24Z","2014-12","2015-01-21"],"dc:description":["The Robot Operating System (ROS) is a widely used open-source framework for robot software development. Its increasing popularity, along with its renowned features, such as its dynamic and distributed nature, call for a safety and security protection mechanism which is not supplied as part of the framework. This thesis presents ROSRV, a runtime verification framework for ROS. ROSRV aims to address vulnerabilities in ROS in order to build more reliable robots by enforcing security policies and monitoring safety properties. It integrates with ROS seamlessly; in other words, it does not require any change to the ROS source code or the robot software. ROSRV has three major components: (1) a tool that provides an expressive formal specification language to define safety properties, and automatically generates monitors out of them, (2) a proxy node that manages these monitors which transparently intercept and observe messages exchanged by the computational units of ROS to ensure the system behaves as desired, and (3) an access control policy administered by the proxy node to restrict the impact of individual units on the overall system. ROSRV has been tested on a commercial robot running ROS and the evaluations showed promising results.","Item withdrawn by Laura Spradlin (lspradl2@illinois.edu) on 2014-12-08T17:21:14Z Item was in collections: University of Illinois Theses & Dissertations (ID: 1) No. of bitstreams: 1 Erdogan_Cansu.pdf: 1760837 bytes, checksum: d013540034e24a62da56efec3575294a (MD5)","Made available in DSpace on 2015-01-21T19:48:24Z (GMT). No. of bitstreams: 1 Cansu_Erdogan.pdf: 1760837 bytes, checksum: d013540034e24a62da56efec3575294a (MD5)"],"dc:identifier":["http://hdl.handle.net/2142/72807"],"dc:language":["en"],"dc:rights":["Copyright 2014 Cansu Erdogan"],"dc:subject":["Runtime Verification","Monitoring","Access Control","Robot Operating System (ROS)"],"dc:title":["ROSRV: runtime verification for the Robot Operating System"],"dc:type":["text"],"thesis:degree_discipline":["Computer Science"],"thesis:degree_level":["Thesis"],"thesis:degree_name":["M.S."],"thesis:institution_name":["University of Illinois at Urbana-Champaign"]},"updated_at":"2026-07-22T22:26:07Z"}