Ada Europe
Conference Home Page
University of York

Final Technical Programme

Ada Europe Conference 2005.

Monday 20th June


Tuesday 21st June

Invited Talk


Parallel Session: Applications

Session Chair: Joyce Tokar

  • 11:00–11:30 ILTIS—The Legacy of a Successful Product
    N. Rowden
  • 11:30–12:00 A Reference Control Architecture for Service Robots Implemented on a Climbing Vehicle
    F. Ortiz, D. Alonso, B. Alvárez, J. A. Pastor
  • 12:00–12:30 An Ada Framework for QoS-Aware Applications
    L. M. Pinho, L. Nogueira, R. Barbosa

Parallel Session: Design and Scheduling Issues

Session Chair: Michael González-Harbour

  • 11:00–11:30 Efficient alternatives for implementing fixed-priority schedulers
    S. Sáez, V. Lorente, S. Terrasa, A. Crespo
  • 11:30–12:00 A new strategy for the HRT-HOOD to Ada mapping
    M. Bordin, T. Vardanega
  • 12:00–12:30 Using the AADL to describe distributed applications for middleware to software components
    T. Vergnaud, L. Pautet, F. Kordon


Parallel Session: Formal Methods

Session Chair: Stephen Michell

  • 14:00–14:30 Extending Ravenscar with CSP Channels
    D. Atiya, S. King
  • 14:30–15:30 Dynamic tasks verification with Quasar
    S. Evangelista, C. Kaiser, C. Pajault, J. F. Pradat-Peyre, P. Rousseau
  • 15:00–15:30 Proving Functional Equivalence for Program Slicing in SPARK™
    R. E. Sward, L. C. Baird

Parallel Session: Vendors Session 1

Session Chair: Neil Audsley

  • 14:00–14:20 AdaCore: Ada 2005 and GNAT Pro
    Franco Gasperoni
  • 14:20–14:40 I-Logix: Leveraging Model-Driven Development and the UML for Ada Applications
    Andy Lapping
  • 14:40–15:00 Green Hills Software: A Safe Tasking Approach to Ada95
    Jon Williams
  • 15:00–15:20 TNI Europe: STOOD-HRT-HOOD, UML 2.0, and now AADL
    Tony Elliston


Parallel Session: Ada and Education

Session Chair: Ed Schonberg

  • 16:30–17:00 Teaching Software Engineering with Ada95
    D. Simon, G. Vogel, E. Plödereder
  • 17:00–17:30 A Comparison of the Mutual Exclusion Features in Ada and the Real-Time Specification for Java™
    B. M. Brosgol

Parallel Session: Certification and Verification

Session Chair: Steve King

  • 17:30–18:00 Smart Certification of Mixed Criticality Systems
    P. Amey, R. Chapman, N. White
  • 18:00–18:30 Non-Intrusive System-Level Fault Tolerance
    K. Lundqvist, J. Srinivasan, S. Gorelov

Parallel Session: Vendors Session 2

Session Chair: Phil Thornley

  • 16:30–16:50 Praxis High Integrity Systems: Recent results with SPARK
    Peter Amey
  • 16:50–17:10 Esterel: Safety Critical Software Application Design using SCADE Suite
    Ian Hodgson
  • 17:10–17:30 Polyspace: When Failure is not an option—Eliminating Run Time Errors in Software whilst decreasing development costs
    Yves Genevaux
  • 17:30–17:50 Aonix: An Eclipse based Ada Development Environment
    Adrian Larkham
  • 17:50–18:10 ARTiSAN Software: Maintaining Ada with UML
    Francis Thom
  • 18:10–18:30 Silver Software
    Steve Billet

General Assembly

Wine and Buffet Reception

Wednesday 22nd June

Invited Talk


Session: Industrial Presentations 1

Session Chair: Ben Brosgol



Session: Industrial Presentations 2

Session Chair: Dirk Craeynest



Session: Industrial Presentations 3

Session Chair: Jean-Pierre Rosen


Conference Banquet

The Conference dinner will take place at the National Railway Museum. This York-based Museum is the largest railway museum in the world, responsible for the conservation and interpretation of the British national collection of historically significant railway vehicles and other artifacts. The Museum contains an unrivaled collection of locomotives, rolling stock, railway equipment, documents and records.

Dinner is served amongst the exhibits and there will be time to look over the whole Museum.

Additional tickets for the banquet can be purchased at registration.

See Socal Programme Page

Thursday 23rd June

Invited Talk


Session: Distributed Systems

Session Chair: Luis Miguel Pinho


Session: Language Issues

Session Chair: John Barnes


Session: Ravenscar Technology

Session Chair: Brian Dobbing


Friday 24th June


The organizers thank the supporters of the conference

Praxis High Integrity Systems
Silver Software

Ada Conference Home Page

Last Changed: Fri Jun 17 16:45:26 2005
Contents of this page : Ian Broster