An approach for hazard analysis of multiple-cooperative systems considering dynamic configuration uncertainty
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 DecDisplayed time zone: Osaka, Sapporo, Tokyo change
13:00 - 14:30 | |||
13:00 20mPaper | Incremental Relational Topic Model for Duplicate Bug Report Detection Technical Track | ||
13:20 20mPaper | 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 20mPaper | 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 20mPaper | An approach for hazard analysis of multiple-cooperative systems considering dynamic configuration uncertainty Technical Track |