Partners

Our Project Partners

Vision

TASVerifiability Node Vision

Autonomous systems are technologies that interact within an environment to gain knowledge and build awareness, learn, adapt and make decisions, with little or no human control. They include automated decision-making software and ‘smart’ devices as well as self-driving cars, drones and healthcare and surgical robots. These systems are already used in many sectors of society. Given their increased use, it is important to ensure that they are designed, built and deployed in a way that can be fully relied upon.

Tools

TAS Verifiability Node Tools

Our state-of-the art tools are freely available for dowload.

HyConf

Tool for conformance testing of Cyber-Physical Systems.

https://github.com/hlsa/HyConf
RoboTool

RoboTool supports graphical modelling, validation, and automatic generatits...

https://www.cs.york.ac.uk/robostar/robotool/
MCAPL

The MCAPL Project provides a tool for prototyping BDI agent programming languages ....

https://autonomy-and-verification.github.io/tools/mcapl
ROSMonitoring

ROSMonitoring provides a Runtime Verification Framework for ROS.

https://github.com/autonomy-and-verification-uol/ROSMonitoring
Team

Management Board

Prof Mohammad Mousavi

London | Principal Investigator (PI)

Prof Ana Cavalcanti

York | Deputy PI

Prof Michael Fisher

Manchester | Deputy PI

Prof Rob Richardson

Leeds | Site Leader

Prof Gavin Brown

Manchester | Site Leader

Prof James Woodcock

York | Site Leader

Prof Effie Law

Leicester | Site Leader

Prof Rob Hierons

Sheffield | Site Leader

Dr Bilal Kaddouh

Leeds | Case Studies Officer

Dr Genovefa Kefalidou

Leicester | Engagement and Node Liaison Officer

Dr Jan Ringert

London | Engagement and Node Liaison Officer

Dr José Miguel Rojas

Leicester | Publicity Officer

Advisors

Advisory Board

Dejanira Araiza Illan

Assistant Principal Engineer in Robotic Applications at Johnson & Johnson.

Raja Chatila

Professor Emeritus, Institute of Intelligent Systems and Robotics.

Sebastian Conran

CEO of Consequential Robotics.

Danit Gal

Associate Fellow at The Leverhulme Centre for the Future of Intelligence

Koen Hindriks

Professor Artificial Intelligence, Social AI group, Vrije Universiteit Amsterdam.

Joost Noppen

Principal Researcher Software, BT Applied Research.

Colin O’Halloran

Technical Director of D-RisQ Ltd.

Kristin Yvonne Rozier

Assistant Professor, Department of Aerospace Engineering.

Rich Walker

Managing Director, The Shadow Robot Company.

Henry Tse

Connected Places Catapult, the UK’s innovation accelerator for cities, transport, and places.

Thierry Lecomte

R&D Project Director at CLEARSY, French SME specialised in safety critical systems.

Publications

7 entries « 1 of 3 »

Damasceno, Carlos Diego; Mousavi, Mohammad Reza; Simao, Adenilso

Learning by sampling: learning behavioral family models from software product lines Journal Article

In: Empirical Software Engineering, 26 (4), 2021.

BibTeX

Fisher, Michael; Mascardi, Viviana; Rozier, Kristin Yvonne; Schlingloff, Bernd-Holger; Winikoff, Michael; Yorke-Smith, Neil

Towards a Framework for Certification of Reliable Autonomous Systems Journal Article

In: Autonomous Agents and Multi Agent Systems, 35 (8), 2021.

Links | BibTeX

Araujo, Hugo; Hoenselaar, Ties; Mousavi, Mohammad Reza; Vinel, Alex

Connected automated driving: a model-based approach to the analysis of basic awareness services Book Chapter

In: 2020 IEEE 31st Annual International Symposium on Personal, Indoor and Mobile Radio Communications, pp. 1-7, 0000.

Links | BibTeX

7 entries « 1 of 3 »

Events

Verifiability Talk 18: Joel Fischer (University of Nottingham)

Verifiability Talk 16: Machine Learning and Software Engineering: Separated by a Common Language (Amel Bennaceur, Open…

Verifiability Talk 15: In Search of Automated Driving Systems Safety through Formal Requirements (Georgios Fainekos, Arizona…

Verifiability Talk 14: Challenges in Automated Software Testing: GPUs & Smart Contracts (Ajitha Rajan, University of…

Verifiability Talk 13: Verification under uncertainty: probabilistic, parametric, confidence-interval, and statistical model checking (Radu Calinescu, University…

Verifiability Talk 12: Why do things go wrong (or right)? (Hana Chockler, causaLens, King’s College London)

Verifiability Talk 17: Applications of Artificial Intelligence to the Automated Software Testing of Cyber-Physical Systems (Lionel…

Verifiability Talk 11: Project HiDy Ve – Highly Dynamic Virtual and Hybrid Validation & Verification (Jan…