Final Technical Programme

Ada Europe Conference 2005.

Monday 20th June

Tutorials

9:00–12:30 T1: Developing Web-aware Applications in Ada with AWS
Jean-Pierre Rosen
9:00–12:30 T2: Correctness by Construction—A Manifesto for High Integrity Engineering
Peter Amey and Neil White (Praxis HIS)
9:00–17:30 T3: Real-Time Java for Ada Programmers
Ben Brosgol
14:00–17:30 T4: SAE Architecture Analysis and Design Language
Joyce Tokar, Bruce Lewis
14:00–17:30 T5: High-Integrity Ravenscar Using SPARK
Brian Dobbing

Tuesday 21st June

Invited Talk

9:00–10:00 Model-based development of safety-critical software: opportunities and challenges
John McDermid.

Break

10:00–11:00 Exhibition & Coffee

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

Lunch

12:30–14:00 Lunch

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

Break

15:30–16:30 Exhibition & Coffee

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

18:30 Ada Europe General Assembly

Wine and Buffet Reception

7:45 Welcome reception at Bedern Hall

Wednesday 22nd June

Invited Talk

9:00–10:00 Extreme Hubris
Martyn Thomas

Break

10:00–11:00 Exhibition & Coffee

Session: Industrial Presentations 1

Session Chair: Ben Brosgol

11:00–12:30

Design and Maintenance of the MULTOS KMA—A High-Security Ada Application
A. Calvert (Mondex / Mastercard Int'l)
MDA for Ada Software Engineers
J. Rowlands (BAE Systems, UK)
On the benefits for industrials of sponsoring free software development
J.-P. Rosen (Adalog, France)
Binding the PowerPC AltiVec Extensions in Ada—Motivation, Development and Industrial Feedback
O. Hainque (AdaCore, France), R. White (MBDA Missile Systems, UK)

Lunch

12:30–14:00 Lunch

Session: Industrial Presentations 2

Session Chair: Dirk Craeynest

14:00–15:30

Living in Towers
R.Stråhle, P. Sandberg (SAAB Systems, Sweden)
Ada development for a basic train control system for regional branchlines
B. Stadlmann (University of Applied Sciences, Wels, Austria)
The Ada Embedded Systems Market Today and Tomorrow
A. Brandon (ARA)

Break

15:30–16:30 Exhibition & Coffee

Session: Industrial Presentations 3

Session Chair: Jean-Pierre Rosen

16:30–18:00

Industrial Experiences of Compliance Analysis of Control System Software
M. Adams (QinetiQ, UK)
Safety Critical Software with UML, Artisan and SPARK
N. Davidson (BAE Systems, UK)
Ada Bug Finder
A. Marriott (White Elephant GmbH, Switzerland)

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

9:00–10:00 Assessing the dependability of software-based systems: a question of confidence
Bev Littlewood. City University, UK.

Break

10:00–10:00 Exhibition & Coffee

Session: Distributed Systems

Session Chair: Luis Miguel Pinho

11:30–11:30 Observing the development of a reliable embedded system
D. Ayavoo, M. J. Pont, S. Parker
11:30–12:00 RT-EP: A Fixed-Priority Real Time Communication Protocol over Standard Ethernet
J. M. Martínez, M. González-Harbour
12:00–12:30 Distributing Criticality Across Ada Partitions
M. Masmano, J. Real, A. Crespo, I. Ripoll

Lunch

12:30–14:00 Lunch

Session: Language Issues

Session Chair: John Barnes

14:00–14:30 The Implementation of Ada 2005 Interface Types in the GNAT Compiler
J. Miranda, E. Schonberg, G. Dismukes,
14:30–15:00 Integrating Application-Defined Scheduling with the New Dispatching Policies for Ada Tasks
M. Aldea-Rivas, J. Miranda, M. González-Harbour
15:00–15:30 The Application of Compile-Time Reflection to Software Fault Tolerance using Ada 95
P. Rogers, A. J. Wellings