The Library
Structured natural language for expressing rules of the road for automated driving systems
Tools
Irvine, Patrick, Bruto da Costa, Antonio Anastasio, Zhang, Xizhe, Khastgir, Siddartha and Jennings, Paul A. (2023) Structured natural language for expressing rules of the road for automated driving systems. In: IEEE Inteligent Vehicles Symposium 2023, Anchorage, Alaska, USA, 04-07 Jun 2023. Published in: IEEE Inteligent Vehicles Symposium 2023 ISBN 9798350346916. doi:10.1109/IV55152.2023.10186664
|
PDF
WRAP-structured-natural-language-expressing-rules-road-automated-driving-systems-Irvine-2023_0001.pdf - Accepted Version - Requires a PDF viewer. Download (490Kb) | Preview |
Official URL: https://doi.org/10.1109/IV55152.2023.10186664
Abstract
Automated Driving Systems (ADSs), like human drivers, must be compliant with the rules of the road. However, current rules of the road are not well defined. They use inconsistent and ambiguous language. As a result, they are not sufficiently formal for machine interpretability, a necessity for applications of verification and validation (V&V) of ADSs. Rules must be defined in a way that make them usable to a variety of stakeholders. While first-order and temporal logic forms of rules of the road are needed for monitoring and verification during simulation and testing, a structured natural language for these rules is necessary for consistent definition. They must also adhering to standard vocabulary taxonomies of Operational Design Domain (ODD) and behaviour. This paper contributes a structured natural language based on formal logic, that allows rules of the road to be defined in a natural, yet precise manner, using concepts of ODD and behaviour, making them usable in the V&V of ADSs. We evaluate the effectiveness of the language on a selection of rules from the Vienna Convention on Road Traffic and the UK Highway Code.
Item Type: | Conference Item (Paper) | ||||||
---|---|---|---|---|---|---|---|
Subjects: | T Technology > TL Motor vehicles. Aeronautics. Astronautics | ||||||
Divisions: | Faculty of Science, Engineering and Medicine > Engineering > WMG (Formerly the Warwick Manufacturing Group) | ||||||
Library of Congress Subject Headings (LCSH): | Automated guided vehicle systems, Automated vehicles -- Technological innovations, Embedded computer systems, Traffic regulations, Neural networks (Computer science) -- Computer simulation | ||||||
Journal or Publication Title: | IEEE Inteligent Vehicles Symposium 2023 | ||||||
Publisher: | IEEE | ||||||
ISBN: | 9798350346916 | ||||||
Official Date: | 27 June 2023 | ||||||
Dates: |
|
||||||
DOI: | 10.1109/IV55152.2023.10186664 | ||||||
Status: | Peer Reviewed | ||||||
Publication Status: | Published | ||||||
Reuse Statement (publisher, data, author rights): | © 2023 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works. | ||||||
Access rights to Published version: | Restricted or Subscription Access | ||||||
Date of first compliant deposit: | 14 April 2023 | ||||||
Date of first compliant Open Access: | 24 April 2023 | ||||||
RIOXX Funder/Project Grant: |
|
||||||
Conference Paper Type: | Paper | ||||||
Title of Event: | IEEE Inteligent Vehicles Symposium 2023 | ||||||
Type of Event: | Conference | ||||||
Location of Event: | Anchorage, Alaska, USA | ||||||
Date(s) of Event: | 04-07 Jun 2023 |
Request changes or add full text files to a record
Repository staff actions (login required)
View Item |
Downloads
Downloads per month over past year