ISSTA 2024
Mon 16 - Fri 20 September 2024 Vienna, Austria
co-located with ISSTA/ECOOP 2024

This program is tentative and subject to change.

Wed 18 Sep 2024 16:10 - 16:30 at EI 10 Fritz Paschke - Empirical Studies

The Robot Operating System (ROS) is a popular framework and ecosystem that allows developers to build robot software systems from reusable, off-the-shelf components. Systems are often built by customizing and connecting components via configuration files. While reusable components theoretically allow rapid prototyping, ensuring proper configuration and connection is challenging, as evidenced by numerous questions on developer forums. Developers must abide to the often unchecked and unstated assumptions of individual components. Failure to do so can result in misconfigurations that are only discovered during field deployment, at which point errors may lead to unpredictable and dangerous behavior.

Despite misconfigurations having been studied in the broader context of software engineering, robotics software (and ROS in particular) poses domain-specific challenges with potentially disastrous consequences. To understand and improve the reliability of ROS projects, it is critical to identify the types of misconfigurations faced by developers. To that end, we perform a study of ROS Answers, a Q&A platform, to identify and categorize misconfigurations that occur during ROS development. We then conduct a literature review to assess the coverage of these misconfigurations by existing detection techniques. In total, we find 12 high-level categories and 50 sub-categories of misconfigurations. Of these categories, 27 are not covered by existing techniques. To conclude, we discuss how to tackle those misconfigurations in future work.

This program is tentative and subject to change.

Wed 18 Sep

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

15:30 - 16:50
15:30
20m
Talk
Bugs in Pods: Understanding Bugs in Container Runtime Systems
Technical Papers
Jiongchi Yu Singapore Management University, Xiaofei Xie Singapore Management University, Cen Zhang Nanyang Technological University, Sen Chen Tianjin University, Yuekang Li The University of New South Wales, Wenbo Shen Zhejing University
15:50
20m
Talk
An Empirical Study on Kubernetes Operator Bugs
Technical Papers
Qingxin Xu Institute of Software, Chinese Academy of Sciences, China, Yu Gao Institute of Software, Chinese Academy of Sciences, China, Jun Wei Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences; University of Chinese Academy of Sciences Chongqing School
16:10
20m
Talk
Understanding Misconfigurations in ROS: An Empirical Study and Current Approaches
Technical Papers
Paulo Canelas Carnegie Mellon University, Bradley Schmerl Carnegie Mellon University, USA, Alcides Fonseca University of Lisbon, Christopher Steven Timperley Carnegie Mellon University
DOI Pre-print Media Attached
16:30
20m
Talk
An In-depth Study of Runtime Verification Overheads during Software Testing
Technical Papers
Kevin Guan Cornell University, Owolabi Legunsen Cornell University