Abstract:As highlighted in authoritative standards (e.g., ISO21448), traffic law compliance is a fundamental prerequisite for the commercialization of autonomous driving systems (ADS). Hence, manufacturers are in severe need of techniques to detect harsh driving situations in which the target ADS would violate traffic laws. To achieve this goal, existing works commonly resort to searching-based simulation testing, which continuously adjusts the scenario configurations (e.g., add new vehicles) of initial simulation scenarios and hunts for critical scenarios. Specifically, they apply pre-defined heuristics on each mutated scenario to approximate the likelihood of triggering ADS traffic violations, and accordingly perform searching scheduling. However, with those comparably more critical scenarios in hand, they fail to offer deterministic guidance on which and how scenario configurations should be further mutated to reliably trigger the target ADS misbehaviors. Hence, they inevitably suffer from meaningless efforts to traverse the huge scenario search space. In this work, we propose VioHawk, a novel simulation-based fuzzer that hunts for scenarios that imply ADS traffic violations. Our key idea is that, traffic law regulations can be formally modeled as hazardous/non-hazardous driving areas on the map at each timestamp during ADS simulation testing (e.g., when the traffic light is red, the intersection is marked as hazardous areas). Following this idea, VioHawk works by inducing the autonomous vehicle to drive into the law-specified hazardous areas with deterministic mutation operations. We evaluated the effectiveness of VioHawk in testing industry-grade ADS (i.e., Apollo). We constructed a benchmark dataset that contains 42 ADS violation scenarios against real-world traffic laws. Compared to existing tools, VioHawk can reproduce 3.1X~13.3X more violations within the same time budget, and save 1.6X~8.9X the reproduction time for those identified violations. Finally, with the help of VioHawk, we identified 9+8 previously unknown violations of real-world traffic laws on Apollo 7.0/8.0.

Digitization of Traffic Laws: Methodologies and Usage for Monitoring Driving Compliance

No driver, No Regulation? --Online Legal Driving Behavior Monitoring for Self-driving Vehicles

Automated Vehicle-Involved Traffic Flow Studies: A Survey of Assumptions, Models, Speculations, and Perspectives

Semantic Traffic Law Adaptive Decision-Making for Self-Driving Vehicles

Hybrid Operations of Human Driving Vehicles and Automated Vehicles with Data-Driven Agent-Based Simulation

&Lt;title>automatic Traffic Real-Time Analysis System Based on Video</title>

Online legal driving behavior monitoring for self-driving vehicles

Legal Decision-making for Highway Automated Driving

Road Traffic Law Adaptive Decision-making for Self-Driving Vehicles

High-Resolution Traffic Sensing with Autonomous Vehicles

Law compliance decision making for autonomous vehicles on highways

Smart automotive technology adherence to the law: (de)constructing road rules for autonomous system development, verification and safety

A survey on perception, localization, planning, and control of autonomous vehicles: challenges and solutions

Towards a Digital Highway Code using Formal Modelling and Verification of Timed Automata

Driving with Regulation: Interpretable Decision-Making for Autonomous Vehicles with Retrieval-Augmented Reasoning via LLM

TraModeAVTest: Modeling Scenario and Violation Testing for Autonomous Driving Systems Based on Traffic Regulations

Three Principles to Determine the Right-of-Way for AVs: Safe Interaction With Humans

Privacy of Autonomous Vehicles: Risks, Protection Methods, and Future Directions

iTV: Inferring Traffic Violation-Prone Locations with Vehicle Trajectories and Road Environment Data

Human-Machine Interaction in Automated Vehicles: Reducing Voluntary Driver Intervention

VioHawk: Detecting Traffic Violations of Autonomous Driving Systems Through Criticality-guided Simulation Testing