Case Studies

Certification of Autonomous Systems

This paper outlines the approach taken to produce a certified autonomous vehicle under a project funded by the UK Technology Strategy Board.

The aim of the project is to show that it is possible to automate the system design validation as well as the verification of the implementation in software. By doing so, we aim to show that there is considerably reduced time and cost while still being able to meet certification requirements.

The project will use a maritime example to show that the techniques can be used to meet the highest assurance requirements of any domain, e.g. DAL A for DO178C in aerospace. This approach has been taken firstly because the available budget precludes an air domain demonstration and secondly because the significant aspects of the project should be easily be transferred to other domains. 

Supply your email address below and enter the security code in order to receive a copy of the complete document.

CAPTCHA code image
Request your document           

D-RisQ Limited

Malvern Hills Science Park

Geraldine Road
United Kingdom
WR14 3SZ
+44(0)1684 252452

Company Number: 7754903

What we do?

With a wide experience in analysis of complex systems and software across many sectors ranging from embedded systems to IT, safety and security critical systems, automotive, aerospace, robotics and many others, D-RisQ has developed huge experience from which to build automated formal analysis tools.

Learn more