Programme
Click the links to download the event brochure and the registration form.
0830: Coffee and Registration
0900: Introduction and Welcome: John Barnes, Event Chairman
0905: Ada 2012 Tutorial: Tucker Taft, AdaCore
(mid-morning break 10.15 to 10.45)
1200: Lunch
1315: Keynote Speaker: John C. Knight, University of Virginia, Charlottesville - “Ada Types - Are They Sufficient?”
1400:
| Technical Track |
Vendor Track |
Paul Caseley, dstl
Proposed Revision to Def Stan 00-56
|
To be confirmed |
Stuart Matthews, Altran
SPARK 2014
- The next generation SPARK language and toolset
|
Jeff Cousins, BAE Systems
Ada 2005 in Practice |
Quentin Ochem, AdaCore
Emancipation for Lady Ada
|
1500: Break
1530:
| Technical Track |
Vendor Track |
|
Ian Harry, LDRA
From the model to the target to certification -
trends in growing use of code from model based
developmental systems in high integrity environments |
Chris Raistrick, Abstract Solutions & Fraser Chadburn, IBM
Harvesting legacy Ada code:
IBM Rational Rhapsody Master Class
|
Stuart Gray, Wind River
Safety, Multicore and Virtualisation
|
Nick Tudor, D-RisQ Ltd
Applying D0333/DO178C - a white paper |
Niroshan Rajadurai, VectorCast
Verification and Validation of Ada and mixed language applications on ARM
|
1630: Keynote Speaker: Robert Dewar, New York University and AdaCore - “I’m as Mad as Hell, and I’m Not Going To Take This Anymore!”
1715: Close
|
