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

by   Maike Schwammberger, et al.

During the design of autonomous vehicles (AVs), several stages should include a verification process to guarantee that the AV is driving safely on the roads. One of these stages is to assure the AVs abide by the road traffic rules. To include road traffic rules in the design of an AV, a precise and unambiguous formalisation of these rules is needed. However, only recently this has been pointed out as an issue for the design of AVs and the few works on this only capture the temporal aspects of the rules, leaving behind the spatial aspects. Here, we extend the spatial traffic logic, Urban Multi-lane Spatial Logic, to formalise a subset of the UK road junction rules, where both temporal and spatial aspects of the rules are captured. Our approach has an abstraction level for urban road junctions that could easily promote the formalisation of the whole set of road junction rules and we exemplarily formalise three of the UK road junction rules. Once we have the whole set formalised, we will model, implement, and formally verify the behaviour of an AV against road traffic rules so that guidelines for the creation of a Digital Highway Code for AVs can be established.


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

One of the challenges in designing safe, reliable and trustworthy Autono...

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

Driving is an intuitive task that requires skills, constant alertness an...

Advising Autonomous Cars about the Rules of the Road

This paper describes (R)ules (o)f (T)he (R)oad (A)dvisor, an agent that ...

Imperfect Knowledge in Autonomous Urban Traffic Manoeuvres

Urban Multi-lane Spatial Logic (UMLSL) was introduced in [13] for provin...

Navigational Rule Derivation: An algorithm to determine the effect of traffic signs on road networks

In this paper we present an algorithm to build a road network map enrich...

Emergent Road Rules In Multi-Agent Driving Environments

For autonomous vehicles to safely share the road with human drivers, aut...

On the Need for Multi-Level ADS Scenarios

Currently, most existing approaches for the design of Automated Driving ...

Please sign up or login with your details

Forgot password? Click here to reset