National Microelectronics Institute


Mission-Critical Software & Skills


University of Cambridge Computer Lab, CB3 0FD

Thu 31 May 2012
900 - 1700

No charge to attend

Booking Details:

Register here

Embedded software is a vital and critical component in almost all walks of life.

This event will explore the techniques, tools and methodologies that enable such software to support a variety of “Missions” – ranging from safety/life-critical to consumer applications where unreliable software can be just as damaging to a product and company’s reputation as faulty hardware. Along the way we will also be considering the human element – what makes a good software engineer and how can we encourage more people to enter this vital profession.



Outline Agenda (download PDF of the Detailed Agenda & the Presentation Abstracts)

9:00 Registration Opens - Refreshments, Networking and Tabletop Exhibitions

9:30 Welcome and Introduction

David Greaves, University of Cambridge
Robin Kennedy, NMI

Coveritas, Giles Hall
Bug hunting - the most challenging sport in software development!

Rolls Royce, Stuart Jobbins
Perspectives on Software at Rolls-Royce

CSR / Perforce, Guillaume Barthelemy / Mark Warren
It’s a Mission-Critical System .... but how is it built?

Jaguar Land Rover, Alex Mouzakitis
Engineering the Complexity in a Luxury Vehicle

Lauterbach, Barry Lock
Plan to succeed or plan to fail? - common mistakes in software projects

REC, Tony Rozwadowki & Roman Sorokiewicz
Agile Testing of Embedded Systems with distributed teams – the Challenges of Quality

Wind River, Alex Wilson
Challenges of using multicore processors in Avionics and how virtualization can help

PhaedruS Systems, Chris Hills

Requirements are Required

Altran-Praxis, Rod Chapman
Formality and Verification for Mission-Critical Software

NMI, Alastair McGibbon
R&D for embedded systems – the NMI support service

Computing and Software Skills

ARM, Daniel Dearing
The Launch of the ARM Accredited Engineer Program

Computing At School, Jon Crowcroft
An Overview of the Computing at School Activity 

Raspberry Pi Foundation, Robert Mullins
Raspberry Pi: Feeding the Computer Scientist in Everyone

16:30 Event Close 




NOTE : As there is NO on-site parking, delegates are strongly encouraged to use public transport if possible.

For those who are driving, the Maddingley Road Park and Ride is recommended (half mile / 10 mins walk away or the UNI4 bus goes directly to the Computer Labe every 20 minutes from the Park & Ride - cost ~£1.10)

Map showing the location of the Park & Ride and the Computer Lab is here


If you are interested in sponsoring the event, please contact Robin Kennedy (tel 0789 4899544)

Headline Sponsors



TableTop Exhibitors

Lauterbach   Perforce    Wind River  

Green Hills Software    PhaedruS Systems    Resource Engineering Projects


Event Supporters

This event is supported by the ESP-KTN and the University of Cambridge Computer Lab