Details

Autor(en) / Beteiligte

• Zampetti, Fiorella
• Kapur, Ritu
• Di Penta, Massimiliano
• Panichella, Sebastiano

Titel

An empirical characterization of software bugs in open-source Cyber–Physical Systems

Ist Teil von

• The Journal of systems and software, 2022-10, Vol.192, p.111425, Article 111425

Ort / Verlag

Elsevier Inc

Erscheinungsjahr

2022

Link zum Volltext

Quelle

Elsevier ScienceDirect Journals

Beschreibungen/Notizen

• Cyber-Physical Systems (CPSs) are systems in which software and hardware components interact with each other. Understanding the specific nature and root cause of CPS bugs would help to design better verification and validation (V&V) techniques for these systems such as domain-specific mutants. We look at CPS bugs from an open-source perspective, trying to understand what kinds of bugs occur in a set of open-source CPSs belonging to different domains. We analyze 1151 issues from 14 projects related to drones, automotive, robotics, and Arduino. We apply a hybrid card-sorting procedure to create a taxonomy of CPS bugs, by extending a previously proposed taxonomy specific to the automotive domain. We provide a taxonomy featuring 22 root causes, grouped into eight high-level categories. Our qualitative and quantitative analyses suggest that 33.4% of the analyzed bugs occurring in CPSs are peculiar to those and, consequently, require specific care during verification and validation activities. The taxonomy provides an overview of the root causes related to bugs found in open-source CPSs belonging to different domains. Such root causes are related to different components of a CPS, including hardware, interface, configuration, network, data, and application logic. •We empirically derive a taxonomy of Cyber-Physical Systems (CPSs) Bugs.•The taxonomy extends a previous one from autonomous vehicles.•The taxonomy features 22 root causes for bugs.•Root causes concern hardware, interface, configuration, network, or logic.•33.4% of the analyzed bugs are CPS-specific.