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
|
|
| 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
|
|
| 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
|
| 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, |
|
| 15.30 | Coffee break |
| 16.00 | Ending remarks and presentation of the award-winners |