This programme is archived from our 2014 event.
0900
The Elusive Dream of Software Engineering
Martyn Thomas CBE
Vice President (External Affairs) Royal Academy of Engineering

Programming is easy, and the consequences are everywhere to be seen. During my working life (which has already lasted for most of the time that programmable computers have existed) software has transformed almost everything we do. Decade after decade, exponential improvements in hardware price/performance have driven software into anywhere that seemed likely to be profitable, interesting, mischievious or just good fun. Most of this software doesn't matter much, which is fortunate because almost none of it has been engineered.
Read More »
Software Security
Software Safety
0945
1020
Coffee & Exhibition
1050
The Muen Separation Kernel
Robert Dorn
Senior Consultant at secunet Security Networks AG
Adrian-Ken Rueegsegger
Researcher at the University of Applied Sciences Rapperswil (HSR)
Reto Buerki
Researcher at the University of Applied Sciences Rapperswil (HSR)
Mixed Criticality Systems and Many-Core Platforms
Professor Alan Burns
University of York
1125
1200
Lunch & Exhibition
1330
Why does so much IT fail? — and what to do about it
Harold Thimbleby
Swansea University

Your first reaction to this title might be that your iPhone and iPad are wonderful (and Google Glasses are even better…), so if only we brought everything up to date all would be well. Indeed, we may think IT is wonderful, but the reality includes a wide variety of failures: from the heartbleed bug, international programs to computerise healthcare, and an embarrassing array of preventable disasters.
Read More »
Applications
Languages & Technologies
1415
Software Assurance for Automotive Control Systems Using Advanced Formal Verification: An Industrial Case Study
Shin'ichi Shiraishi
Senior Research Technology R&D Division, Toyota InfoTechnology Center, USA
How should we build that? Evolving a development environment that's suitable for constructing today's systems
Neil White
Head of Engineering, Altran UK
1450
1525
Tea & Exhibition
1550
A Computer Vision Application for In Vitro Diagnostics Devices
Andrea Carignano
bioMérieux
Giacomo Donzelli
Altran Italy
Cost effective robustness verification of control software with Frama-C: lessons learnt and perspectives
Emmanuel Ledinot
Head of Scientific Studies, R&T and Business Development Directorate, Dassault Aviation
1625
Panel Session
Keynote speakers and leading industrial experts will debate a key issue in high integrity software engineering with opinions, challenges and responses from the floor.
1715