Toward the Design of Robotic Software with Verifiable Safety

In this abstract, we mention some challenges and preliminary solutions toward designing robotic software with verifiable safety. We use a 2D planar robot as example, which has an arm with fixed or moving base. Also, computational stereo for precise (or imprecise) location of the object or obstacle is assumed. Our simple scenario is to perform object retrieval, but safety requirements should be assured, for example, to avoid moving obstacles.