ICST 2023
Sun 16 - Thu 20 April 2023 Dublin, Ireland
Mon 17 Apr 2023 12:00 - 12:20 at Pearse suite - Session 2: Autonomous & Cyberphysical Systems I Chair(s): Shaukat Ali

Side objects are the common road objects placed alongside roadways, such as traffic signs, trees or street lights. Even though such objects do not obstruct a driving path directly, the visual perception-based autonomous features may recognize them in an unintended way impeding their ideal behavior. We propose a framework that systematically places various types of side objects in the virtual environment for testing the perceptionbased steering control. Firstly, we give the mathematical constraints that characterize both linear and non-linear geometric aspects in placing the side objects including the distances from a roadway or other side objects, and their placement patterns. Secondly, we define the placement distribution criteria that characterize how well the side objects are to be distributed along the roadways. Finally, our placement generation algorithm automatically determines the position of the side objects via the SMT (Satisfiability Modulo Theories) solver, and the generated placements are guaranteed to conform to both the constraints and distribution criteria. The experiment shows the scalability of the placement algorithm as to how fast a large number of side objects can be generated conforming to the aforementioned properties. In addition, we show how the Convolutional Neural Network (CNN)-based steering controller alters its behavior under multiple environments generated from our framework according to the RMSE and disengagement metrics.

Mon 17 Apr

Displayed time zone: Dublin change

11:00 - 12:30
Session 2: Autonomous & Cyberphysical Systems IResearch Papers / Journal-First Papers at Pearse suite
Chair(s): Shaukat Ali Simula Research Laboratory
11:00
20m
Talk
A Robustness-Based Confidence Measure for Hybrid System Falsification
Journal-First Papers
Toru Takisaka University of Electronic Science and Technology of China, Zhenya Zhang Kyushu University, Paolo Arcaini National Institute of Informatics , Ichiro Hasuo National Institute of Informatics, Japan
Link to publication DOI
11:20
20m
Talk
A Coverage-Driven Systematic Test Approach for Simultaneous Localization and Mapping
Research Papers
Philip Tasche University of Twente, Paula Herber University of Munster, Germany
11:40
20m
Talk
Property-Based Mutation Testing
Research Papers
Ezio Bartocci Technische Universität Wien, Leonardo Mariani University of Milano-Bicocca, Dejan Nickovic Austrian Institute of Technology, Drishti Yadav Technische Universität Wien
12:00
20m
Talk
Constraint-Guided Automatic Side Object Placement for Steering Control Testing in Virtual Environment
Research Papers