Keynote Address: Reasoning with Big Code

Dr. Dino Distefano

Software Engineer at Facebook and Professor of Software Verification at Queen Mary, University of London

Keynote Address: An Alternative Approach to DO-178

Duncan Brown

Rolls-Royce Engineering Fellow – Safety Critical Software

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.