This programme is archived from our 2014 event.

0900

The Elusive Dream of Software 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.

Martyn Thomas CBE

Vice President (External Affairs) Royal Academy of Engineering

Martyn Thomas is an independent consultant systems engineer. He specialises in strategy, innovation and the procurement, acquisition and assessment of safety-critical or…

0945

Mind your language(s), A Discussion about Languages and Security

Olivier Levillain

ANSSI

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)

1125

We all know better, so why don't we all do better?

Andy Jackson

Visiting Research Fellow at Imperial College

1200

Lunch & Exhibition

1330

Why does so much IT fail? — and what to do about it

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.

Harold Thimbleby

Swansea University

Prof Harold Thimbleby FIET CEng FRCPE FLSW HonFRSA HonFRCP is Professor of Computer Science at Swansea University, Wales. His passion is designing dependable computer systems to…

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

1450

Practical Application of Agile Techniques in Developing Safety Related Systems

David Nicoll

Managing Director, Project Realization

1525

Tea & Exhibition

1550

A Computer Vision Application for In Vitro Diagnostics Devices

Andrea Carignano

bioMérieux

Giacomo Donzelli

Altran Italy

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

Networking / Cocktail hour

Sponsored by

AdaCore
Capgemini
Developair Technologies
Ferrous Systems
MathWorks
Rapita Systems Ltd
RTI
TASKING
Vector
Wind River

Official Media Partners

Aerospace Innovations

Sponsored and Organised by

AdaCore Capgemini Rapita Systems