TraModeAVTest: Modeling Scenario and Violation Testing for Autonomous Driving Systems Based on Traffic Regulations
-
Published:2024-03-25
Issue:7
Volume:13
Page:1197
-
ISSN:2079-9292
-
Container-title:Electronics
-
language:en
-
Short-container-title:Electronics
Author:
Xia Chunyan12, Huang Song1, Zheng Changyou1, Yang Zhen1, Bai Tongtong1, Sun Lele1
Affiliation:
1. College of Command and Control Engineering, Army Engineering University of PLA, Nanjing 210007, China 2. College of Computer and Information Technology, Mudanjiang Normal University, Mudanjiang 157011, China
Abstract
Current testing methods for autonomous driving systems primarily focus on simple traffic scenarios, generating test cases based on traffic accidents, while research on generating edge test cases for complex driving environments by traffic regulations is not adequately comprehensive. Therefore, we propose a method for scenario modeling and violation testing using an autonomous driving system based on traffic regulations named TraModeAVTest. Initially, TraModeAVTest constructs a Petri net model for complex scenarios based on the combination relationships of basic traffic regulation scenarios and verifies the consistency of the model’s design with traffic regulation requirements using formal methods, to provide a representation of traffic regulation scenario models for the violation testing of autonomous driving systems. Subsequently, based on the coverage criteria of the Petri net model, it utilizes a search strategy to generate model paths that represent traffic regulations, and employs a parameter combination method to generate test cases that cover the model paths, to test the violation behaviors of autonomous driving systems. Finally, simulation experiment results on the Baidu Apollo demonstrate that the test cases representing traffic regulations generated by TraModeAVTest can effectively identify the behaviors of autonomous vehicles violating traffic regulations, and TraModeAVTest can effectively improve the efficiency of generating different types of violation scenarios.
Funder
Heilongjiang Provincial Department of Education project Discipline Construction Project of Mudanjiang Normal University Basic Research Fund Project of Provincial Universities in Heilongjiang Province Key Commissioned Project for Higher Education Teaching Reform in Heilongjiang Province Natural Science Fund Project of Heilongjiang Province
Reference54 articles.
1. Tang, Y., Zhou, Y., Liu, Y., Sun, J., and Wang, G. (2021, January 11–17). Collision avoidance testing for autonomous driving systems on complete maps. Proceedings of the 2021 IEEE Intelligent Vehicles Symposium (IV), Nagoya, Japan. 2. Formal modeling and dynamic verification for human cyber physical systems under uncertain environment;An;J. Softw.,2021 3. Security testing of visual perception module in autonomous driving system;Wu;J. Comput. Res. Dev.,2022 4. Zhao, Xiang-mo’s Team Supported by the National Key Research and Development Program of China (2021YFB2501200) (2023). Research progress in testing and evaluation technologies for autonomous driving. J. Traffic Transp. Eng., 23, 10–77. 5. Rong, G., Shin, B., Tabatabaee, H., Lu, Q., Steve, L., Možeiko, M., Boise, E., Uhm, G., Gerow, M., and Mehta, S. (2020, January 20–23). LGSVL simulator: A high fidelity simulator for autonomous driving. Proceedings of the 2020 IEEE 23rd International Conference on Intelligent Transportation Systems (ITSC), Rhodes, Greece.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
|
|