Theme: Verification & Validation

The dual problems of ensuring that systems match their requirements, verification, and that those requirements ensure the system will meet our needs, validation, are always important.

As we move to truly autonomous systems, they become acute. Specifically, once systems can make their own decisions then how can we be sure that such autonomous systems will do what we require and will act safely and legally?

Our work

Though testing and simulation can provide partial solutions, our approach centres around formal verification, which provides exhaustive analysis and mathematical proof that a system will always meet its (formal) requirements.

Through the projects below, we are involved in work in this area on

  • establishing safety and reliability of a range of autonomous systems,
  • developing evidence for certification and standards,
  • exploring ethical behaviour in autonomous systems, and
  • providing a range of tools and techniques to advance formal verification research.