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

Houssam Abbas, Indranil Saha, Yasser Shoukry, Rudiger Ehlers, Georgios Fainekos, Rajesh Gupta, Rupak Majumdar, Dogan Ulus

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

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.

Original languageEnglish (US)
Title of host publication2018 Proceedings of the International Conference on Embedded Software, EMSOFT 2018
PublisherInstitute of Electrical and Electronics Engineers Inc.
ISBN (Electronic)9781538655641
DOIs
StatePublished - Nov 15 2018
Event18th ACM SIGBED International Conference on Embedded Software, EMSOFT 2018 - Turin, Italy
Duration: Sep 30 2018Oct 5 2018

Publication series

Name2018 Proceedings of the International Conference on Embedded Software, EMSOFT 2018

Conference

Conference18th ACM SIGBED International Conference on Embedded Software, EMSOFT 2018
CountryItaly
CityTurin
Period9/30/1810/5/18

Fingerprint

Embedded Software
Embedded software
Robotics
Neural Networks
Reactive Oxygen Species
Neural networks
Controller
Closed loop control systems
Controllers
Control Software
Closed-loop Control
State Estimation
State estimation
Efficient Implementation
Mobile Robot
Open Source
Computer Vision
Mobile robots
Computer vision
Closed-loop System

Keywords

  • Embedded software
  • monitor synthesis
  • Neural networks
  • Robot Operating System
  • Robotics
  • Secure state estimation

ASJC Scopus subject areas

  • Computer Networks and Communications
  • Hardware and Architecture
  • Software
  • Control and Optimization

Cite this

Abbas, H., Saha, I., Shoukry, Y., Ehlers, R., Fainekos, G., Gupta, R., ... Ulus, D. (2018). Special Session: Embedded Software for Robotics: Challenges and Future Directions. In 2018 Proceedings of the International Conference on Embedded Software, EMSOFT 2018 [8537236] (2018 Proceedings of the International Conference on Embedded Software, EMSOFT 2018). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/EMSOFT.2018.8537236

Special Session : Embedded Software for Robotics: Challenges and Future Directions. / Abbas, Houssam; Saha, Indranil; Shoukry, Yasser; Ehlers, Rudiger; Fainekos, Georgios; Gupta, Rajesh; Majumdar, Rupak; Ulus, Dogan.

2018 Proceedings of the International Conference on Embedded Software, EMSOFT 2018. Institute of Electrical and Electronics Engineers Inc., 2018. 8537236 (2018 Proceedings of the International Conference on Embedded Software, EMSOFT 2018).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abbas, H, Saha, I, Shoukry, Y, Ehlers, R, Fainekos, G, Gupta, R, Majumdar, R & Ulus, D 2018, Special Session: Embedded Software for Robotics: Challenges and Future Directions. in 2018 Proceedings of the International Conference on Embedded Software, EMSOFT 2018., 8537236, 2018 Proceedings of the International Conference on Embedded Software, EMSOFT 2018, Institute of Electrical and Electronics Engineers Inc., 18th ACM SIGBED International Conference on Embedded Software, EMSOFT 2018, Turin, Italy, 9/30/18. https://doi.org/10.1109/EMSOFT.2018.8537236
Abbas H, Saha I, Shoukry Y, Ehlers R, Fainekos G, Gupta R et al. Special Session: Embedded Software for Robotics: Challenges and Future Directions. In 2018 Proceedings of the International Conference on Embedded Software, EMSOFT 2018. Institute of Electrical and Electronics Engineers Inc. 2018. 8537236. (2018 Proceedings of the International Conference on Embedded Software, EMSOFT 2018). https://doi.org/10.1109/EMSOFT.2018.8537236
Abbas, Houssam ; Saha, Indranil ; Shoukry, Yasser ; Ehlers, Rudiger ; Fainekos, Georgios ; Gupta, Rajesh ; Majumdar, Rupak ; Ulus, Dogan. / Special Session : Embedded Software for Robotics: Challenges and Future Directions. 2018 Proceedings of the International Conference on Embedded Software, EMSOFT 2018. Institute of Electrical and Electronics Engineers Inc., 2018. (2018 Proceedings of the International Conference on Embedded Software, EMSOFT 2018).
@inproceedings{fcee1163db49435aafad143317deb03b,
title = "Special Session: Embedded Software for Robotics: Challenges and Future Directions",
abstract = "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.",
keywords = "Embedded software, monitor synthesis, Neural networks, Robot Operating System, Robotics, Secure state estimation",
author = "Houssam Abbas and Indranil Saha and Yasser Shoukry and Rudiger Ehlers and Georgios Fainekos and Rajesh Gupta and Rupak Majumdar and Dogan Ulus",
year = "2018",
month = "11",
day = "15",
doi = "10.1109/EMSOFT.2018.8537236",
language = "English (US)",
series = "2018 Proceedings of the International Conference on Embedded Software, EMSOFT 2018",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
booktitle = "2018 Proceedings of the International Conference on Embedded Software, EMSOFT 2018",

}

TY - GEN

T1 - Special Session

T2 - Embedded Software for Robotics: Challenges and Future Directions

AU - Abbas, Houssam

AU - Saha, Indranil

AU - Shoukry, Yasser

AU - Ehlers, Rudiger

AU - Fainekos, Georgios

AU - Gupta, Rajesh

AU - Majumdar, Rupak

AU - Ulus, Dogan

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 - monitor synthesis

KW - Neural networks

KW - Robot Operating System

KW - Robotics

KW - Secure state estimation

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

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.

ER -