To Err is Human: Designing Correct-by-Construction Driver Assistance Systems using Cognitive Modelling

Project submitted to fulfill the requirements the degree of Master of Science in Computer Science at the University of Oxford.

Author: Francisco Girbal Eiras

Supervised by: Dr. Morteza Lahijanian and Professor Marta Kwiatkowska

Language: English (UK)

Repository Organisation

The repository is organised in the following way:

• dissertation contains the LaTeX components of the dissertation, with the PDF here (3.04 MB).
• code contains the source code associated with the dissertation:
  • code/human_driver_model contains the code related to Chapter 3 of the dissertation
  • code/driver_assistance_system contains the code related to Chapter 4 of the dissertation

Requirements

In order to run the source code, the following are necessary (or newer version of the software/packages):

• Matlab 2016a
• python 3.6.5
• numpy>=1.14.3
• matplotlib>=2.2.2
• pygame>=1.9.3

Most of the python scripts include a help section which can be obtained by running:

python3 [SCRIPT_NAME] -h

Last edit: 27 Aug 2018 by Francisco Eiras