User interface design and verification for semi-autonomous driving
archive: archived pipeline: cataloged verified
Get this paper ↗ (DOI — opens at the source; we link to it, we don't host it)
Summary
This paper addresses the critical challenge of ensuring safe and effective human interaction with semi-autonomous vehicles. As the automotive industry transitions toward automation, a significant disparity often exists between system functionality and driver expectations, leading to user rejection or misuse of features. The authors propose a solution to guarantee safe interaction by designing a user interface (UI) that displays sufficient, crucial information to improve driver experience and comfort. The core contribution involves identifying distinct modes of driving behavior, building an expectation model of the driver, and implementing a verifiable interface system that serves as a communication medium between the human and the autonomous system. The methodology integrates data from three primary sources: Vehicle-to-Vehicle (V2V) communication, sensory information from radar, LiDAR, and CAN bus readings, and driver monitoring via eye trackers, cameras, and steering wheel sensors. Using this data, the authors estimate driver states and identify specific driving behavior modes through k-means clustering algorithms. The UI design is governed by four criteria: meeting driver expectations, avoiding mode confusion, displaying concise and informative data, and ensuring user-friendliness. An expectation model is generated from driver surveys to determine desired information, while a one-to-one mapping filters collected data to present only crucial and expected information, avoiding information overload. For experimental validation, the authors utilize a force feedback car simulator equipped with software to simulate sensory data and V2V communication, ensuring safety while allowing controlled experimental conditions. Eye-tracking glasses are employed for accurate gaze detection. The implementation phase tests various UI mediums, including mobile applications with audio and haptic feedback, simulated windshield displays, and wearable computers like Google Glass. The correctness of the UI model is validated using formal methods and verification techniques, specifically checking logical properties for brevity and clarity. Furthermore, probabilistic model checking is applied to quantify driver performance before and after UI usage, verifying the effectiveness of the interface. The significance of this work lies in its approach to increasing public acceptance of autonomous vehicles by providing drivers with insight into the system’s intent without overwhelming them. By combining data-driven probabilistic modeling with formal verification, the authors aim to create a provably correct interface that enhances driver performance. This framework addresses key safety and usability questions in the transition to autonomous driving, offering a structured method for designing human-in-the-loop systems that align system behavior with human expectations.
Provenance
The full processing record for this entry. Every stage of this paper's journey through the pipeline is logged — what ran, with which tool and model, how many attempts it took, and when it last completed. Discovered via author_sweep_intake on 2026-05-28.
| Stage | Outcome | Tool | Model | Prompt | Attempts | Completed |
|---|---|---|---|---|---|---|
| discover | success | author_sweep | — | — | 2 | 2026-05-28 |
| archive | success | canonical_url | — | — | 7 | 2026-06-06 |
| extract | success | cached | — | — | 3 | 2026-06-15 |
| clean | success | clean | — | — | 1 | 2026-06-04 |
| chunk | success | chunk | — | — | 1 | 2026-06-04 |
| embed | success | embed | Qwen/Qwen3-Embedding-8B | — | 1 | 2026-06-04 |
| enrich | success | — | — | — | 1 | 2026-05-28 |
| promote | success | — | — | — | 1 | 2026-06-04 |
| summarize | success | llm | qwen3.6-27b-prismaquant | summ-v5 | 2 | 2026-06-15 |
| tag | success | vector_similarity | — | — | 15 | 2026-06-11 |
| verify | success | — | — | — | 1 | 2026-06-15 |
Summary generated by qwen3.6-27b-prismaquant on 2026-06-15; verification: verified.
Topics
Ranked by relevance to this paper. Hover a topic for its definition.
- automation
- ehmi external hmi
- automation surprise
- hud ar windshield
- odd communication
- situational awareness
Information type
What kind of knowledge this paper contributes, grouped by family — independent of topic (what it is about) and method (how it was studied).
- Applied Guidance: design guidelines
- Methodological Resource: tool software
- Theoretical Contribution: conceptual framework