TY - GEN
T1 - Special Session
T2 - 18th ACM SIGBED International Conference on Embedded Software, EMSOFT 2018
AU - Abbas, Houssam
AU - Saha, Indranil
AU - Shoukry, Yasser
AU - Ehlers, Rudiger
AU - Fainekos, Georgios
AU - Gupta, Rajesh
AU - Majumdar, Rupak
AU - Ulus, Dogan
N1 - Publisher Copyright:
© 2018 IEEE.
PY - 2018/11/15
Y1 - 2018/11/15
N2 - This paper surveys recent challenges and solutions in the design, implementation, and verification of embedded software for robotics. Emphasis is placed on mobile robots, like self-driving cars. In design, it addresses programming support for robotic systems, secure state estimation, and ROS-based monitor generation. In the implementation phase, it describes the synthesis of control software using finite precision arithmetic, real-time platforms and architectures for safety-critical robotics, efficient implementation of neural network based-controllers, and standards for computer vision applications. The issues in verification include verification of neural network-based robotic controllers, and falsification of closed-loop control systems. The paper also describes notable open-source robotic platforms. Along the way, we highlight important research problems for developing the next generation of high-performance, low-resource-usage, correct embedded software.
AB - This paper surveys recent challenges and solutions in the design, implementation, and verification of embedded software for robotics. Emphasis is placed on mobile robots, like self-driving cars. In design, it addresses programming support for robotic systems, secure state estimation, and ROS-based monitor generation. In the implementation phase, it describes the synthesis of control software using finite precision arithmetic, real-time platforms and architectures for safety-critical robotics, efficient implementation of neural network based-controllers, and standards for computer vision applications. The issues in verification include verification of neural network-based robotic controllers, and falsification of closed-loop control systems. The paper also describes notable open-source robotic platforms. Along the way, we highlight important research problems for developing the next generation of high-performance, low-resource-usage, correct embedded software.
KW - Embedded software
KW - Neural networks
KW - Robot Operating System
KW - Robotics
KW - Secure state estimation
KW - monitor synthesis
UR - http://www.scopus.com/inward/record.url?scp=85059436077&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85059436077&partnerID=8YFLogxK
U2 - 10.1109/EMSOFT.2018.8537236
DO - 10.1109/EMSOFT.2018.8537236
M3 - Conference contribution
AN - SCOPUS:85059436077
T3 - 2018 Proceedings of the International Conference on Embedded Software, EMSOFT 2018
BT - 2018 Proceedings of the International Conference on Embedded Software, EMSOFT 2018
PB - Institute of Electrical and Electronics Engineers Inc.
Y2 - 30 September 2018 through 5 October 2018
ER -