APSEC 2022
Tue 6 - Fri 9 December 2022
Thu 8 Dec 2022 14:00 - 14:20 at Room3 - Bug Report Chair(s): Deron Liang

The cooperative system, such as cyber-physical systems (CPSs) and system of systems (SoSs), are systems that operate with collaborations between numerous heterogeneous systems to accomplish common goals of the systems. These systems are often safety-critical systems since they are increasingly used to perform safety-related activities. Therefore, it is one of the important behavior to assure the safety of such systems by identifying potential hazards that lead to the accident by appropriate hazard analysis techniques. Due to the nature of the cooperative systems, such as dynamic changing structures or existing unknown number of configurations during operations, it is necessary to consider such possible dynamic structures in the hazard analysis. However, there are several limitations to identifying hazards associated with such uncertainties through the existing hazard analysis approaches. This paper proposes an approach of hazard analysis considering dynamic configurations for cooperative or collaborative systems. The proposed approach constructs a variability information model from several system specifications and traceability analysis results and provides approach of using such information to the hazard analysis. We also performed a case study to show the feasibility of the proposed approach with the vehicle platooning system, which is a kind of cooperative automotive system.

Thu 8 Dec

Displayed time zone: Osaka, Sapporo, Tokyo change

13:00 - 14:30
Bug ReportTechnical Track at Room3
Chair(s): Deron Liang National Central University
13:00
20m
Paper
Incremental Relational Topic Model for Duplicate Bug Report Detection
Technical Track
Nitsan Amit Hebrew University, Tien N. Nguyen University of Texas at Dallas
13:20
20m
Paper
Multifaceted Hierarchical Report Identification for Non-Functional Bugs in Deep Learning Frameworks
Technical Track
Guoming Long Loughborough University, Tao Chen Loughborough University, Georgina Cosma Loughborough University
13:40
20m
Paper
Automatic Generation of Metamorphic Relations for a Cyber-Physical System-of-Systems Using Genetic Algorithm
Technical Track
Esther Cho Korea Advanced Institute of Science and Technology, Yong-Jun Shin Korea Advanced Institute of Science and Technology (KAIST), Sangwon Hyun Korea Advanced Institute of Science and Technology, Hansu Kim Korea Advanced Institute of Science and Technology, Doo-Hwan Bae Korea Advanced Institute of Science and Technology
14:00
20m
Paper
An approach for hazard analysis of multiple-cooperative systems considering dynamic configuration uncertainty
Technical Track
Sejin Jung Konkuk university, Junbeom Yoo Konkuk University