Certification of autonomous systems

This paper will outline 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.