Technical sessions

Technical sessions of  the International Conference on Reliable Software Technologies, June 8 - 12

Monday and Friday consist of tutorials.

Tuesday, Wednesday and Thursday sessions:

Tuesday

9.00 -10.30

Keynote Presentation
Franco Gasperoni
Telecom Paris (ENST) & ACT Europe

10.30 -11.00

Coffee break

 

11.00 -12.00

Ada 95 and Java

Porting the GNAT Tasking Runtime System to the Java Virtual Machine,
L Millet, T Baker
Automating the Ada Binding Process for Java - How Far Can We Go?,
D E Emery, R F Mathis, K A Nyberg
12.30 - 12.30 Vendor session
12.30 -14.00

Lunch

 

14.00 -15.00

Ada 95 Language and Tools

Distributed Systems

Synchronizing Multiple Clients and Servers,
M Ben-Ari
Inside the distributed systems annex,
L Pautet, S Tardieu
How to Avoid the Inheritance Anomaly in Ada,
G Schumacher, W Nebel
Integrating Groups and Transactions: A Fault-Tolerant Extension of Ada,
M Patiño-Martínez, R Jiménez-Peris, S Arévalo
15.00

Coffee break

 

15.30 -17.00

Panels

The Future of Programming Languages - A Major Shift from the 1st Half Century to the 2nd? CORBA or the Ada Distributed Systems Annex: What To Use When?
17.15

Birds of a feather: ASIS and other subjects

Ada-Europe General Assembly

 

 

Wednesday

9.00 -10.30

Keynote Presentation
Pierre Chapront
GEC Alstohm Transport

10.30 -11.00

Coffee break

 

11.00 -12.30

Real-Time Systems

Case Studies and Experiments

Implementing and Using Execution Time Clocks in Ada Hard Real-Time Applications,
M González Harbour, M Aldea Rivas, JJ Gutiérrez García, JC Palencia Gutiérrez
(Astro)physical Supercomputing: Ada95 as a safe, object oriented alternative,
M J Stift
Programming Hard Real-Time Systems with Optional Components in Ada,
A Espinosa, V Julián, C Carrascosa, A Terrasa, A García-Fornes
Ada 95 for a Distributed Simulation System,
H Hagenauer, W Pohlman
Object Oriented Abstractions for Real-Time Distributed Systems,
S A Moody
PINROB: A Portable API for Industrial Robots,
M González Harbour, R Gómez Somarriba, A Strohmeier, J Jacot
12.30 -14.00

Lunch

 

14.00 -15.00

Software Quality

Software Development Methods and Techniques

Quality-for-ASIS : A Portable Testing Facility for ASIS,
A Strohmeier, V Fofanov, S Rybin, S Barbey
A Two-Level Matching Mechanism for Object-Oriented Class Libraries,
S Araban, A S M Sajeev
Ten Years of Tool Based Ada Compiler Validations. An Experience Report,
M Tonndorf
Modern Avionics Requirements for the Distributed Systems Annex,
B Lewis, S Vestal, D McConnell
15.00

Coffee break

 

15.30 -17.00

Software Architectures

A Case Study in Quantitative Evaluation of Real-Time Software Architectures, J L Fernández, B Álvarez, F García, Á Pérez, J A de la Puente
Building Modular Communication Systems in Ada: the Simple_Com Approach, J M González-Barahona, P de-las-Heras-Quirós, J Centeno-González, F Ballesteros

 

Thursday

9.00 -11.00

Keynote Presentation
Martyn Thomas
Chairman Emeritus, Praxis Critical Systems Ltd

10.30 -11.00

Coffee break

 

11.00 -12.30

High Integrity Systems

Symbolic Reaching Definitions Analysis of Ada Programs,
J Blieberger, B Burgstaller
Looking at Code With Your Safety Goggles On,
K Wong
12.30 -14.00

Lunch

 

14.00 -15.30

 

 

High Integrity Systems

The Ravenscar Tasking Profile for High Integrity Real-Time Programs,
A Burns, B Dobbing, G Romanski
Guidance on the Use of Ada95 in High Integrity Systems,
S Michell, M Saaltink

Ada in the JAS 39 Gripen Flight Control System,
B Frisberg

15.30

Coffee break

16.00 Ending remarks and presentation of the award-winners