This programme is archived from our 2016 event.
Registration
Keynote Address: Reasoning with Big Code
Dr. Dino Distefano
Software Engineer at Facebook and Professor of Software Verification at Queen Mary, University of London
Security
Autonomy
Ada 202x: A broad overview of relevant news
Florian Schanda
SPARK Technical Authority, Altran UK
Coffee & Exhibition
Lunch & Exhibition
Keynote Address: An Alternative Approach to DO-178
Duncan Brown
Rolls-Royce Engineering Fellow – Safety Critical Software
Standards
Techniques & Tools
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.