1 code implementation • 21 Aug 2020 • Sumukh Shivakumar, Hazem Torfah, Ankush Desai, Sanjit A. Seshia
We present an implementation of SOTER, a run-time assurance framework for building safe distributed mobile robotic (DMR) systems, on top of the Robot Operating System (ROS).
no code implementations • 23 Aug 2018 • Ankush Desai, Shromona Ghosh, Sanjit A. Seshia, Natarajan Shankar, Ashish Tiwari
SOTER provides language primitives to declaratively construct a RTA module consisting of an advanced, high-performance controller (uncertified), a safe, lower-performance controller (certified), and the desired safety specification.