Verification and Validation of Autonomous Systems 2018-02-23T13:33:23+00:00

Software V&V

T&VS is working with the UK Knowledge Transfer Network (KTN) Software Engineering Working Group to bring together a community of interested parties to address the challenges faced in the Verification and Validation (V&V) of Autonomous Systems Software.

The initiative kicked-off with a series of free Webinars that discussed the various facets of trustworthiness for Autonomous Systems Software such as:

  • Safety, Reliability, Availability, Resilience and Security

Autonomous systems represent a huge global market opportunity and recent Government initiatives make the UK an attractive centre for developing products. For example, the British government recently announced new laws to allow autonomous cars on UK roads by January 2015. However, to make such products a reality requires a full understanding of the validation and verification mandated by the governing safety standards (such as ISO26262 for automotive).

Archived Recording

The following recordings are from the first three meetings and include the slides sets, the accompanying audio plus the audio capture of the discussions.

Date Session Title & Video
3rd September, 2014

Introduction to V&V of Autonomous Systems

ICT Autumn Webinar Series 2014: Introduction and Verification and Validation Overview from Knowledge Transfer Network on Vimeo.

17th September, 2014

Safety Aspects in V&V of Autonomous Systems

ICT Autumn Webinar Series 2014: Verification and Validation of Autonomous Systems Software Safety from Knowledge Transfer Network on Vimeo.

1st October, 2014

Security Aspects in V&V of Autonomous Systems

ICT Autumn Webinar Series: Verification and Validation of Autonomous Systems Software Security from Knowledge Transfer Network on Vimeo.

Additional Information

For additional information on the agenda topic the following article by Dr Mike Bartley is now available: “Verification and Validation of Autonomous Systems Software”.

To discuss getting involved in the group and to participate in the discussions please Contact Us.

Future Events

Type Date & Time    
Face-to-Face TBD

About Autonomous Systemsautonomous-systems

Images courtesy of KTN

About The Knowledge Transfer Network (KTN)

The Knowledge Transfer Network spans the technologies underpinning devices, tools and technologies that are taken for granted today—and that will be taken for granted tomorrow. KTN is committed to connecting people who don’t usually meet because that’s where the magic happens. Whether this means farmers talking to sensors specialists about sustainable agriculture; or materials scientists talking to laser scientists about 3D printing—we exist to put innovation into practical use. Why not check out the KTN website here.

T&VS NEWSLETTER SIGN-UP
The T&VS newsletters inform you about industry news, events and information from T&VS. No spam, we promise and it is always easy to unsubscribe.
We never share your information. Read our Privacy Statement
Interested in Formal Verification?
Then why not attend the TVS Formal
Verification Bootcamp training?
The 2-day Formal Verification Bootcamp is for design and verification engineers looking to enhance their knowledge of formal verification and to learn how to write effective assertions to find and fix bugs. The course is a mix of presentations and hands-on development exercises.
Bootcamp Enquiry Form
If you are interested in receiving additional information on the course then simply email Mike Bartley (TVS CEO and Course Leader) by entering your details below.
Interested in SystemC?
FREE SystemC UVM Library Now Available
The TVS SystemC UVM library closely mimics UVM but gives users a license free UVM-based verification environment.
Have your product requirements been successfully tested and implemented?
Find out how asureSIGN can help you implement a successful Requirements Driven Verification and Test Strategy by visiting asureSIGN or enter your details and we will be in touch.
Course Dates and Pricing
To receive additional information, including course dates and pricing, please contact our training team who will be happy to help.
Download Request
Please complete the following form then click 'submit' to access the download.
Presentation Request
Please complete the following form then click 'submit' to gain access to the presentations.
DOWNLOAD REQUEST
Please complete the following form and then click 'submit' to gain access to the download.
FREE QA ASSESSMENTS
Did you get what you were looking?

Let the testing experts help. We will run a FREE QA assessment which will include our top 5 recommendations to help maximise your testing.