Conference item icon

Conference item : Abstract

Correct-by-construction advanced driver assistance systems based on a cognitive architecture

Abstract:

Research into safety in autonomous and semi-autonomous vehicles has, so far, largely been focused on testing and validation through simulation. Due to the fact that failure of these autonomous systems is potentially life-endangering, formal methods arise as a complementary approach. This paper studies the application of formal methods to the verification of a human driver model built using the cognitive architecture ACT-R, and to the design of correct-by- construction Advanced Driver Assistan...

Expand abstract
Publication status:
Published
Peer review status:
Peer reviewed

Actions


Access Document


Files:
Publisher copy:
10.1109/CAVS.2019.8887768

Authors


More by this author
Institution:
University of Oxford
Division:
MPLS
Department:
Computer Science
Role:
Author
More from this funder
Name:
Engineering and Physical Sciences Research Council
Grant:
EP/M019918/1
Publisher:
Institute of Electrical and Electronics Engineers
Publication date:
2019-10-31
Acceptance date:
2019-09-22
Event title:
2019 IEEE 2nd Connected and Automated Vehicles Symposium
Event location:
Honolulu, Hawaii, USA
Event website:
https://ieeexplore.ieee.org/xpl/conhome/8884213/proceeding
Event start date:
2019-09-22
Event end date:
2019-09-23
DOI:
ISBN:
9781728136165
Language:
English
Keywords:
Subtype:
Abstract
Pubs id:
1076206
Local pid:
pubs:1076206
Deposit date:
2020-09-24

Terms of use


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP