Skip to main content

VF2017-Europe

Frame 35

Now in its 7th successful year, VF2017 Europe is a unique one day conference, exhibition and industry networking event organised by T&VS in partnership with NMI to discuss the challenges faced in hardware and software verification with a focus on safety and security. The event gives the opportunity for end users to define their current and future verification challenges and collaborate with the vendors to create solutions. It’s also an excellent opportunity to network and catch up with other verification engineers across Europe.

When: Thursday, 6 April 2017
Where: Reading, UK – Holiday Inn, Wharfedale Road, Winnersh Triangle, Reading, RG41 5TS (M4 J10)

Download Slides

To access the slides please click on each speakers title and scroll to the bottom of the abstract where you will find a link to the presentation slides.  We expect the Audio recordings to be available from April 17.

Agenda

08:30 Registration, Coffee and Networking
09:25 Welcome: Mike Bartley, Test and Verification Solutions Ltd.
09:30

Keynote Presentation:

SECT-AIR – A UK Initiative to Reduce Aerospace Software Cost

Rolls-Royce Control Systems, Mike Bennett
User Top Verification Challenges
10:00 Challenge 1: Qualcomm, Anantha Ramanand
10:10 Challenge 2: GE Aviation, Adam Skinner
10:20 Challenge 3: Thales UK, Simon Thomas
10:30 Automotive Safety and Security in a Verification Continuum Context


Synopsys, Jean-Marc Forey
11:00 Funding Opportunities on Software & System V&V Innovate UK, Nikos Pronios
11:05 Refreshments, Networking & Meet the Sponsors
11:30 Verification Solutions: Testbench Automation Mentor Graphics, Adam Rose
Hardware Verification – Track 1 Software Testing – Track 2
11:00

Main Morning Synopsys – Platinum Sponsor

Speaker

Doulos Training (topic TBD)

Mixed Signal Platinum Design? Sponsor speaker?

UK ESF Stream for invited students

AI/ML in Design Flows Platinum Design Sponsor speaker

FPGA Test Benches Platinum Design Sponsor speaker

12:15 Efficient Verification Sequans Communications, Christopher Malkin Agile Software Testing T&VS, Michael Benjamin
12:35 RISC-V Processor Variants: Challenges and Strategies for Functional Verification Codasip, Marcela Zachariasova Intelligent Testing: Introducing Agency Into the Test Environment University of Bristol, Kerstin Eder
12:55 Compiler Regression Testing as Pre-Silicon Hardware Validation Embecosm, Jeremy Bennett
13:00 Lunch and Networking
13:55 Exploring How the Internet of Things is Changing the Verification Challenge Cadence Design Systems, Nick Heaton
Safety – Track 3 Security – Track 4
14:30 Managing Functional Safety from the Top – The OEM’s Perspective Jaguar Land Rover, Edith Holland Security – The Enemy of Verification Thales Security, Peter Davies
14:50 Knowing When Enough is Enough in the Verification of Safety Critical Systems GE Aviation, Will Davidson IoT Systems and Security Chipless, Roger Shepherd
15:10 Automated Certification – from Soup to Nuts D-RisQ Ltd., Nick Tudor Finding Security Vulnerabilities by Fuzzing and Dynamic Code Analysis MathEmbedded, Richard Storer
15:30 The Challenge of Verifying Highly Automated Automotive Systems Horiba Mira Ltd., Helen Monkhouse Cyber Security in the Internet of Things and Complex Cyber Physical Systems University of Warwick, Hugh Boyes
15:50 Refreshments, Networking & Meet the Sponsors
16:10 RedisCovering Coverage: Indeed the Grass is Greener on the Other Side OneSpin Solutions, Dr. Ashish Darbari
16:30

Keynote Presentation:

Safety and Security Considerations for Software and Digital Hardware Verification University of Southampton, John Colley
17:00 Event Closes
Close Menu