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
Dr. Dino Distefano is Software Engineer at Facebook and Professor of Software Verification at Queen Mary, University of London. In 2009 he co-founded Monoidics Ltd, a London-based high-tech start-up providing automatic software verification to safety critical industries. Monoidics was acquired by Facebook in 2013 where Dino is now a member of the Infer team who have introduced static verification into the Facebook development process. Dino's talk, Reasoning with Big Code, will provide a fascinating insight into the use of static verification at Facebook.
Read More »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
Duncan Brown, Rolls-Royce Engineering Fellow – Safety Critical Software, is a Fellow of the BCS, a Chartered Engineer, a Chartered IT Professional and a Senior Member of the Association for Computer Machinery. Duncan has over 25 years’ experience in safety critical software development and served as the European Formal Methods chair on EUROCAE WG-71/SC-205 producing ED-12C/DO-178C and its associated documents. DO-178C and its predecessors have formed one of the pillars of high integrity software for the aviation and defence industries. Duncan is a member of the FAA-sponsored workshops on streamlining assurance processes and the European Research project for Re-Engineering and Streamlining the Standards for Avionics Certification (RESSAC), which are currently considering innovative approaches to aviation software standards and which Duncan will present in his talk An Alternative Approach to DO-178.
Read More »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.
Sponsored by
Official Media Partners
Supported by
