Verification & validation for safety in robots
The objective of verification and validation (V&V) is to gain confidence in the correctness of a system with respect to its specification (verification) and when it is placed into its target environment (validation). This is particularly challenging for autonomous systems and for systems that interact with humans.
At BRL we develop new V&V techniques for autonomous assistive robots, drawing on our extensive experience of verifying complex microelectronic designs, where no single technique is adequate to cover a whole design in practice.
We are interested in all aspects of V&V needs related to robotics and autonomous systems in general. A special interest currently under development is the V&V for adaptive and human interactive systems where we explore shifting V&V from design time to runtime.
RIVERAS aims to develop techniques and methodologies that can be used to design autonomous intelligent systems that are verifiably trustworthy.
RoboSAFE aims to develop a holistic Verification, Validation and Test (VVT) approach specifically tailored for Human-Robot Interaction (HRI).
An new Institute for Advanced Studies funded inter-disciplinary research initiative and associated workshop series.
Small, self-contained case studies or pilot projects provide ideal topics for student projects. Past and current case studies.