At the AESIN 2015 Conference (Automotive Electronic Systems Innovation Network)  Dr. Mike Bartley, Founder and CEO of TVS, will discuss how well proven hardware verification methodologies such as “Constrained Random Verification” and “Assertion-based Verification” can be applied to the task of ensuring the integrity of complex automotive systems software.

Mike will also highlight how the application of a Requirements-Driven Verification strategy and the use of the latest supporting tools such as asureSIGN can help ensure that the results of applying the methodologies outlined can be used for ISO26262 compliance.

Mike’s presentation takes place as part of the ADAS “Innovation Snapshot” track on day two of the conference from 2:00pm, Thursday 29 October.

If you are at AESIN 2015 Conference on the 29th October, feel free to interact with Mike to discuss the Hardware Verification Methodologies.

Conference Summary:
The AESIN annual conference provides insights into the latest thinking from industry leaders and champions and provides companies the opportunity to engage with UK programs that are driving the automotive revolution enabled by electronic systems.

If you are working on Verification Methodologies or wish to get yourself acquainted with the Requirements-Driven Verification strategy , this session is a must attend. Reserve your slots at National Motorcycle Museum now!