Write a Blog >>
ASE 2021
Sun 14 - Sat 20 November 2021 Australia
Wed 17 Nov 2021 21:20 - 21:40 at Kangaroo - Generation Chair(s): Bo Wang

Cyber-Physical Systems (CPSs) are composed of computational control logic and physical processes, that intertwine with each other. CPSs are widely used in various domains of daily life, including those safety-critical systems and infrastructures, such as medical monitoring, autonomous vehicles, and water treatment systems. It is thus critical to effectively test them. However, it is not easy to obtain test cases which can fail the CPS. In this work, we propose a failure-inducing input generation approach FIGCPS for CPS, which requires no knowledge of the CPS under test or any history logs of the CPS which are usually hard to obtain. Our approach adopts deep reinforcement learning techniques, which interact with the CPS under test and effectively search for failure-inducing input guided by rewards. Our approach adaptively collects information from the CPS, which reduces the training time and is also able to explore different states. Moreover, our approach considers both continuous action space and large-dimension discrete action space, which are common for CPS systems. The evaluation results show that FIGCPS not only achieves a higher success rate than the state-of-the-art approach, but also finds two new attacks in a well-tested CPS.

Wed 17 Nov

Displayed time zone: Hobart change

21:00 - 22:00
21:00
20m
Talk
APIzation: Generating Reusable APIs from StackOverflow Code Snippets
Research Papers
Valerio Terragni University of Auckland, Pasquale Salza University of Zurich
Pre-print
21:20
20m
Talk
FIGCPS: Effective Failure-inducing Input Generation for Cyber-Physical Systems with Deep Reinforcement Learning
Research Papers
Shaohua Zhang Tianjin University, Shuang Liu Tianjin University, Jun Sun Singapore Management University, Yuqi Chen Singapore Management University, Wenzhi Huang Tianjin University, Jinyi Liu Tianjin University, Jian Liu Tianjin University, Jianye Hao Tianjin University
21:40
10m
Talk
An evolutionary approach for generating software models: The case of Kromaia in Game Software Engineering
Journal-first Papers
Daniel Blasco SVIT Research Group. Universidad San Jorge, Jaime Font San Jorge University, Spain, Mar Zamorano SVIT Research Group. Universidad San Jorge, Carlos Cetina San Jorge University, Spain
21:50
10m
Talk
Signal-based properties of cyber-physical systems: Taxonomy and logic-based characterization
Journal-first Papers
Chaima Boufaied University of Luxembourg, Maris Jukss , Domenico Bianculli University of Luxembourg, Lionel Briand University of Luxembourg; University of Ottawa, Yago Isasi Parache LuxSpace