SCSC.uk 
SCSC.uk  
: Ada Conference UK 2009
 
background 

THE SAFETY-CRITICAL SYSTEMS CLUB

Ada Conference UK 2009

Tuesday 24 March, 2009 - Church House Conference Centre, Westminster, London

Event operated by CSR, in cooperation with the Safety-Critical Systems Club

Centre for Software Reliability

Event lead sponsor and advocate

AdaCore

Event sponsors

 

The event is organised to promote awareness of the Ada programming language, and to highlight the increased relevance of Ada in safety- and security-critical programming. Since its inception, Ada has been successful in systems where reliability is essential. Its application domains include aeronautics, air traffic control, aerospace, simulation, shipboard systems, railway systems, communications, banking and many others.

It is used in environments ranging from bareboard embedded devices to large-scale distributed real-time systems, and in multi-language software interfacing with languages such as C, C++, Fortran and Java. Ada is used worldwide, for both government and commercial systems, and it taught at colleges and universities where software engineering is an important focus.

The event will consist of a technical track and a parallel track giving major vendors the opportunity to present their technology. Vendors will offer demonstrations throughout the day at their stands.

To view videos of the presentations delivered at last year's event, please enter the link
here:

If you are using Ada now, or thinking of using it in the future, this is a conference you will not want to miss!

Event Programme

0800 Registration

0915 Plenary Opening
Jim Sutton, Lockheed Martin (USA)
Selecting a Programming Language, The Modern Way

Technical track
1000 Damian Curtis & David Berry, AWE (UK)
Experiences with SPARK Ada on an 8-bit Embedded Microcontroller

Vendor track
1000 Michael Friess, AdaCore
An Open Source for Innovation

1030 Derek Russell, Objektum Solutions Ltd
Migrating Legacy Ada projects to UML

1100 -- Coffee Break --

Technical track
1130 Tucker Taft, SofCheck (USA)
Using Static Analysis as part of Code Review

1200 Stefan Helfert, MPI-K, Heidelberg (Germany)
Issues from the Cassini Project (TBC)

Vendor track
1130 Niroshan Rajadurai, Vector Software
Overcoming the challenges of Testing Ada Applications in a Safety Critical Environment

1200 Rod Chapman, Praxis High Integrity Systems
SPARK Pro – Libre tools for High-Assurance Software

1230 -- Lunch --

Technical track
1400 Janet Barnes, Praxis High Integrity Systems (UK)
Tokeneer: An Open-Source Demonstration of High-Assurance Software Engineering

1430 Fraser Chadburn, IBM Rational Software
Leveraging the power of UML2 Ports - a strategy for their implementation in Ada

Vendor track
1400 Ian Gilchrist, IPL, Information Processing Ltd
Testing Private Types

1420 Jon Williams, Green Hills Software Inc.
Designing and Fielding High Reliability, High Security Systems

1440 Peter Ladkin, Causalis Limited
Incident Reporting and Causal Analysis with the SERAS Toolset

1500 -- Coffee Break --

Technical track
1530 Franco Gasperoni, AdaCore (France)
Project Coverage and the Open-DO Initiative

Vendor track
1530 Artisan Software Tools
To be confirmed

1550 Andrew Coombes, Rapita Systems Ltd
Optimising execution time of Ada Applications with RapiTime

1615 Plenary Closing
Judith Klein, Lockheed Martin (USA)

Ada Programming Language Use in Lockheed Martin - An Update

Registration

To download a copy of the programme and registration form click here.

To download a copy of the registration form click here.


Venue Details

The conference will take place at:

The Church House Conference Centre Tel: + 44 207 390 1590
Dean’s Yard, Westminster, London, SW1P 3NZ Fax: + 44 207 390 1591


The Church House Conference Centre is steeped in tradition. The venue’s position in the shadows of Westminster Abbey within the tranquil setting of Dean's Yard creates a very special meeting space.

Nearest tube stations: St James Park and Westminster (District, Circle and Jubilee lines)

Event operated by CSR, in cooperation with the: Safety-Critical Systems Club.

Event lead sponsor and advocate: Adacore.

Interested in registering or exhibiting?

To enquire about registering or exhibiting at this event please contact Joan Atkinson.

Phone: +44 191 221 2222
Fax: +44 191 222 7995
E-mail: Joan.Atkinson@ncl.ac.uk

SCSC.UK uses anonymous session cookies please see Privacy policy

SCSC 06-03-2018 [V4e]