EPSRC Reference: |
EP/M027309/1 |
Title: |
Network on the Verification and Validation of Autonomous Systems |
Principal Investigator: |
Fisher, Professor M |
Other Investigators: |
|
Researcher Co-Investigators: |
|
Project Partners: |
|
Department: |
Computer Science |
Organisation: |
University of Liverpool |
Scheme: |
Network |
Starts: |
31 August 2015 |
Ends: |
30 May 2019 |
Value (£): |
107,725
|
EPSRC Research Topic Classifications: |
Artificial Intelligence |
Human-Computer Interactions |
Robotics & Autonomy |
Software Engineering |
|
EPSRC Industrial Sector Classifications: |
Transport Systems and Vehicles |
No relevance to Underpinning Sectors |
|
Related Grants: |
|
Panel History: |
Panel Date | Panel Name | Outcome |
14 Apr 2015
|
EPSRC ICT Prioritisation Panel - Apr 2015
|
Announced
|
|
Summary on Grant Application Form |
Robots, driverless cars, unmanned air vehicles, etc, can all be built now. However, the main barriers holding back the widespread use of robotics and autonomous systems can be seen as societal: what should the legal framework be for such systems; how can the public come to trust these systems; how can we ensure they are safe; and how do we know such a system will make the decisions we would expect of it? All these are currently impossible to solve with any certainty.
The UK has numerous key research developments concerning the Verification and Validation (V&V) of autonomous systems that can all impact upon this problem. These are clearly of relevance to methods for designing, constructing and deploying autonomous systems but also have importance to Psychology (e.g. social robotics), Philosophy (e.g. machine ethics), and Law (e.g. certification). Constructing autonomous systems without behaviour guarantees can lead to serious outcomes, and may consequently hold back the widespread adoption of these systems.
This Network will coalesce this activity, drive the research agenda forward, and embed the necessity for V&V firmly within industry, the government, and the public.
|
Key Findings |
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
|
Potential use in non-academic contexts |
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
|
Impacts |
Description |
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk |
Summary |
|
Date Materialised |
|
|
Sectors submitted by the Researcher |
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
|
Project URL: |
|
Further Information: |
|
Organisation Website: |
http://www.liv.ac.uk |