2019 Programme
The 2019 programme was put together by our programme committee of representatives from industry and academia: Jamie Ayre, AdaCore, Mike Bennett, Rolls-Royce, Tim Kelly, University of York, Stuart Matthews, Altran UK and Paul Parkinson, Wind River.
0800
Registration
0900
DO-178C and the Overarching Properties Initiative
George Romanski
Chief Scientific and Technical Advisor, Computer Aircraft Software at the Federal Aviation Administration
Aviation regulations require a high degree of confidence that systems controlling or assisting the pilot to control aircraft do not compromise safety. Many of these controls are provided through Software or Airborne Electronic Hardware. The current prescriptive approach to the certification of these systems have been used successfully for many years, but with the increase in the size and complexity the verification costs are becoming disproportionate with the development costs.
Read More »
Future Aerospace Systems
Future Automotive Systems
0950
1020
Coffee & Exhibition
1100
1130
1200
Lunch & Exhibition
1325
Lessons Will Be Avoided: A Critical Perspective on Software Development Not Having Learnt from Mistakes
Les Hatton
Emeritus Professor of Forensic Software Engineering at Kingston University UK
A recurrent theme in software engineering is that it isn't soft and there is no engineering in it. This may be a little cruel, but it makes a perfect T-shirt. In truth, one of the principle defining characteristics of successful 'engineering' is that by analysing why it screws up, it learns from its mistakes.
Read More »
Critical Systems: Security & Safety
Languages and Technologies
1415
1445
1515
1545
Tea & Exhibition
1615
Panel Session: Innovation vs. Regulation
- Cyrille Comar, AdaCore
- Mark Hadley, DSTL
- George Romanski, Federal Aviation Administration
- Neil White, Altran UK
1700
Networking / Cocktail Hour
Programme subject to change.