Dr. Dino Distefano
Software Engineer at Facebook and Professor of Software Verification at Queen Mary, University of London
Coffee & Exhibition
Lunch & Exhibition
Rolls-Royce Engineering Fellow – Safety Critical Software
Techniques & Tools
Multi-Core (MC) Processor Qualification for Safety Critical Systems
Dr Mark Hadley
Senior Scientist - Software Systems, DSTL
Senior Engineer - Systems, DSTL
Bounded Model Checking for C programs in an enterprise environment
Research Scientist at Amazon Web Services and Lecturer in Theoretical Computer Science at Queen Mary, University of London
An overview of the FACE standard, and what that implies outside the USA
Director of Business Development, Aerospace and Defence at Wind River
Virtual Verification and Validation Process of Embedded In-Vehicle Software
Group Leader for Software Verification and Validation, Jaguar Land Rover
Tea & Exhibition
PANEL SESSION: Streamlining software assurance
In a world where innovation is moving forward so quickly, how will we continue to meet the challenge of assuring trustworthy systems in a cost- and time-effective manner? Can we both guarantee intent and create a more lightweight V&V process for critical applications? Our keynote speakers have touched on this subject from different perspectives: integrating verification into a high-velocity process and goal-based assurance against a small set of overarching principles. The panel will consider whether initiatives such as those at Facebook and EUROCAE hold lessons for the wider software industry – and whether there are other ways to achieve a more streamlined process; automation offers tempting efficiency improvements but introduces tensions by removing elements of human oversight from the loop. Comments, challenges and responses will be taken from the audience.
Panel Chair: Prof. Tim Kelly, University of York
Networking / Cocktail Hour & Exhibition
The day will conclude with a drinks reception, providing an opportunity to network with colleagues and a further opportunity to visit the exhibition stands.
Programme subject to change.