Smart Automotive Technology Adherence to the Law: (De)Constructing Road Rules for Autonomous System Development, Verification and Safety

by   Scott McLachlan, et al.

Driving is an intuitive task that requires skills, constant alertness and vigilance for unexpected events. The driving task also requires long concentration spans focusing on the entire task for prolonged periods, and sophisticated negotiation skills with other road users, including wild animals. These requirements are particularly important when approaching intersections, overtaking, giving way, merging, turning and while adhering to the vast body of road rules. Modern motor vehicles now include an array of smart assistive and autonomous driving systems capable of subsuming some, most, or in limited cases, all of the driving task. The UK Department of Transport's response to the Safe Use of Automated Lane Keeping System consultation proposes that these systems are tested for compliance with relevant traffic rules. Building these smart automotive systems requires software developers with highly technical software engineering skills, and now a lawyer's in-depth knowledge of traffic legislation as well. These skills are required to ensure the systems are able to safely perform their tasks while being observant of the law. This paper presents an approach for deconstructing the complicated legalese of traffic law and representing its requirements and flow. The approach (de)constructs road rules in legal terminology and specifies them in structured English logic that is expressed as Boolean logic for automation and Lawmaps for visualisation. We demonstrate an example using these tools leading to the construction and validation of a Bayesian Network model. We strongly believe these tools to be approachable by programmers and the general public, and capable of use in developing Artificial Intelligence to underpin motor vehicle smart systems, and in validation to ensure these systems are considerate of the law when making decisions.



There are no comments yet.


page 2

page 9

page 18

page 23

page 24

page 31


Extending Urban Multi-Lane Spatial Logic to Formalise Road Junction Rules

During the design of autonomous vehicles (AVs), several stages should in...

Quantification of Actual Road User Behavior on the Basis of Given Traffic Rules

Driving on roads is restricted by various traffic rules, aiming to ensur...

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

Self-driving vehicles have their own intelligence to drive on open roads...

Impact of counteracting vehicles on the characteristics of a smart city transport system

The development of smart city transport systems, including self-driving ...

Affordable Modular Autonomous Vehicle Development Platform

Road accidents are estimated to be the ninth leading cause of death acro...

Analysis of draft EU ADS Performance Requirements

Recently, the European Commission published draft regulation for uniform...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.