Special Session: Embedded Software for Robotics: Challenges and Future Directions

摘要: This paper surveys recent challenges and solutions in the design, implementation, verification of embedded software for robotics. Emphasis is placed on mobile robots, like self-driving cars. In it addresses programming support robotic systems, secure state estimation, ROS-based monitor generation. implementation phase, describes synthesis control using finite precision arithmetic, real-time platforms architectures safety-critical robotics, efficient neural network based-controllers, standards computer vision applications. The issues include network-based controllers, falsification closed-loop systems. also notable open-source platforms. Along way, we highlight important research problems developing next generation high-performance, low-resource-usage, correct software.