Programme
March 24, 2009
|
08:00 to 9:15 - Registration
|
|
09:15 to 10:00 - Plenary opening
|
|
Jim Sutton,
Lockheed Martin (USA)
Selecting a Programming Language, The
Modern Way
|
|
10:00 to 11:00
|
|
Damian Curtis & David Berry,
AWE (UK)
Experiences with SPARK Ada on an 8-bit
Embedded Microcontroller
|
Michael Friess, AdaCore
An Open Source for Innovation
Derek Russell, Objektum Solutions
Ltd
Migrating Legacy Ada projects to UML
Ian Wilkie, Kennedy Carter
Executable UML and SPARK Ada: A Hybrid
Approach
|
|
11:00 to 11:30 - Coffee break
|
|
11:30 to 12:30
|
|
Tucker Taft, SofCheck (USA)
Using Static Analysis as part of Code
Review
Stefan Helfert, MPI-K Heidelberg (Germany)
Issues from the Cassini Project (TBC)
|
Niroshan Rajadurai, Vector
Software
Overcoming the challenges of Testing Ada
Applications in a Safety Critical Environment
Rod Chapman, Praxis High Integrity
Systems
SPARK Pro – Libre tools for
High-Assurance Software
|
|
12:30 to 14:00 - Lunch
|
|
A buffet lunch will be served in the Exhibition Area, giving
delegates a further opportunity to meet with technical providers.
|
|
14:00 to 15:00
|
|
Janet Barnes Praxis, High
Integrity Systems (UK)
Tokeneer: An Open-Source Demonstration
of High-Assurance Software Engineering
Fraser Chadburn, IBM Rational
Software
Leveraging the power of UML2 Ports - a
strategy for their implementation in Ada
|
Ian Gilchrist
IPL, Information Processing Ltd
Testing Private Types
Jon Williams, Green Hills Software
Inc.
Designing and Fielding High Reliability,
High Security Systems
Peter Ladkin, Causalis Limited
Incident Reporting and Causal Analysis
with the SERAS Toolset
|
|
15:00 to 15:30 - Coffee break
|
|
15:30 to 16:15
|
|
Franco Gasperoni, AdaCore (France)
Project Coverage and the Open-DO
Initiative
|
Adrian Larkham, Aonix
A Ravenscar Implementation for an ARINC
653 Partition
Andrew Coombes, Rapita Systems Ltd
Optimising execution time of Ada
Applications with RapiTime
|
|
16:15 to 17:00 - Plenary closing
|
|
Judith Klein, Lockheed Martin (USA)
Ada Programming
Language Use in Lockheed Martin - An Update
|
|
