Conference announcements

[Ada-Europe'99 logo]

Final Programme -
International Conference on Reliable Software Technologies - Ada-Europe'99


The Final Programme (PDF-version) is available on the main web page of the Conference:

http://www.ada-europe.org/conference99.htm

Registration -
International Conference on Reliable Software Technologies - Ada-Europe'99


Date: Wed, 21 Apr 1999 08:08:39 +0200
From: Michael Gonzalez <mgh@ccaix3.unican.es>
Organization: Universidad de Cantabria
Subject: Intl. Conference on Reliable Software Technologies: Registration

-------------------------------------------------------------------
       International Conference on Reliable Software Technologies

                            Ada-Europe

                    June 7-11, 1999, Hotel Santemar
                          Santander, Spain

--------------------------------------------------------------------
               Early registration deadline May 7th, 1999
--------------------------------------------------------------------

The on-line conference registration and hotel reservation forms
are available from the conference main page at:

               http://www.ada-europe.org/conference99.htm

You may also download equivalent forms from that page, which you
can then print and fax or mail.

Please note that the deadline for early registration at a discount
rate is May 7th. You may also get additional discount if you are
a member of Ada-Europe or ACM SigAda.

For additional information please contact the Publicity Chair, Jose
Javier Gutierrez Garcia:

                    mailto:gutierjj@ctr.unican.es


Registration & Discounts -
International Conference on Reliable Software Technologies - Ada-Europe'99


For conference registration and hotel reservations, please see the corresponding pages, accessible from the main web page of the Conference:

http://www.ada-europe.org/conference99.htm
Bookings before May 7th get a substantial discount. Ada-Europe members get an additional substantial discount.


Preliminary programme -
International Conference on Reliable Software Technologies - Ada-Europe'99


Date: Fri, 05 Mar 1999 13:13:57 +0100
From: Michael Gonzalez <mgh@ccaix3.unican.es>
Organization: Universidad de Cantabria
To: Jose Javier Gutierrez-3 <gutierjj@ccaix3.unican.es>
Subject: Preliminary Program: Intl. Conference on Reliable SW Technologies

We apologize if you receive this message more than once

If you do not wish to receive more messages related to the Ada-Europe
conference, please send an e-mail to:
Jose Javier Gutierrez (gutierjj@ctr.unican.es).

******************************************************************
                     PRELIMINARY PROGRAMME
******************************************************************
                  International Conference on
                 Reliable Software Technologies

                         Ada-Europe'99

                      June 7-11, 1999

                       Hotel Santemar
                      Santander, Spain
******************************************************************
           http://www.ada-europe.org/conference99.htm
******************************************************************

1.- General Information
=======================

The international conference of Ada-Europe, the European federation
of national Ada societies, will take place this year in Santander,
Spain, from June 7 to 11, 1999. The full conference will comprise a
three-day technical programme and exhibition from Tuesday to
Thursday, and parallel tutorials on Monday and Friday.

This year, the number of papers submitted to the conference has
almost doubled the number of submissions of past years, so it is
expected that the number of conference attendees will also increase.
37 high-quality papers were selected by the Program Committee for
presentation at the conference, in addition to the invited talks.

If you want to receive a printed copy of the conference programme
please send e-mail to J. Javier Gutierrez (gutierjj@ctr.unican.es).

For conference registration and hotel reservations, please see the
corresponding pages, accessible from the main web page of the
Conference (after March 18th):

       http://www.ada-europe.org/conference99.htm

1.1.- Organisation
------------------

Sponsored by Ada-Europe in cooperation with Ada-Spain and ACM SIGAda.
AFORO is the local conference secretariat.

AFORO address:
		Magallanes 36
		39007 Santander
		Spain
Phone: 		International: +34-942-230627		Local: 942-230627
Fax: 		International: +34-942-231058		Local: 942-231058

1.2.- Proceedings
-----------------

The proceedings will be printed in the famous Lecture Notes in
Computer Science (LNCS) of Springer Verlag, and will be available at
the start of the conference.

1.3.- Awards
------------

There will be two awards, sponsored by Ada-Europe:

   - Best paper award: 500.- Euros

   - Best presentation award: 500.- Euros

1.4.- Exhibitions
-----------------

The conference will be accompanied by a three-day commercial
exhibition on June 8, 9, and 10. Vendors of software products and
services should contact the Exhibition Chair, Alejandro Alonso
(mailto: aalonso@dit.upm.es), at the earliest convenience for
further information and to ensure their inclusion. For additional
information see (after March 18th):

        http://www.ada-europe.org/Santander/exhibit.html

2.- Travel Information
======================

Santander is a beautiful city located in the North Coast of Spain,
in the region of Cantabria. It enjoys an extraordinary landscape
mainly due to its coastal location, forming a peninsula surrounded
by a bay, and its cliff coastline open to the Bay of Biscay. But
perhaps the beaches are its best known and appreciated natural
spaces. Its sinuous outline offers both small and large sandy
beaches: some sheltered from the wind and with calm waters; others,
open to the Bay of Biscay, with more surf. Next to these and between
them, green spaces of great beauty look to the coast. For additional
information on tourism and hotels see:

          http://turismo.cantabria.org/siting
          http://www.cibermedios.com/guia_cantabria

2.1.- Weather Information
-------------------------

Temperatures in Santander are usually mild. The average maximum in
June is 19.8 degrees Celsius (67.6 Fahrenheit) and the average
minimum is 14.2 degrees Celsius (57.6 Fahrenheit). Although June is
one of the driest months, rain is a possibility. For additional
information on the weather in Spain, you may check:

          http://www.inm.es (in Spanish)
          http://www.yahoo.com/r/wt (in English)

2.2.- How to Get to Santander
-----------------------------

Santander can be easily reached by aeroplane from all over the world,
via Madrid or Barcelona. It is well communicated by motorway with
Bilbao (1 hour driving distance), which has an international airport
with direct flights to and from many european cities. Transportation
between Bilbao and Santander is available by bus, as well as taxi or
rental car. A comfortable night train is available to/from Madrid.
A ferry boat communicates Santander with Plymouth (England) twice a
week, and it represents a convenient possibility for bringing your
own car from the UK.

By car:
------

For people arriving by car, one of the following routes must be taken
to reach the conference venue:

- From Bilbao: Follow directions to Santander, by motorway. Driving
  time is about one hour. Once you get close to Santander, take
  exit number 1 to motorway 'A-67 Burgos Torrelavega' (please note
  that there is another exit to Torrelavega, but with another exit
  number). Once in motorway A-67 continue to 'Torrelavega Palencia
  Oviedo' until reaching exit number 4 to 'S-20 El Sardinero'. Take
  this exit and then follow the directions below.

- From Santander airport: After leaving the airport turn right at
  the first round-about, following directions to 'Santander'. No
  more than 1 Km from there, take exit number 1 to motorway 'A-67
  Burgos Torrelavega'. Once in motorway A-67 continue to
  'Torrelavega Palencia Oviedo' until reaching exit number 4 to
  'S-20 El Sardinero'. Take this exit and then follow the directions
  below.

- From Madrid via Burgos-El Escudo: leaving 'Muriedas' (a village
  near to Santander) there is an indication reading 'Santander 6';
  300 m. after that, enter the motorway following directions to
  'A-67 Torrelavega'. Then take the first exit, number 4, to 'S-20 El
  Sardinero' and follow the directions below.

- From Madrid via Burgos-Aguilar de Campoo: in Torrelavega take
  motorway A-67 to Santander. About 9 Km before reaching Santander,
  the motorway has a bifurcation close to exit number 5. Take the
  left lane, following signs to 'S-20 El Sardinero'.

Motorway S-20 finishes in a round-about, right after a tunnel.
Continue straight ahead following directions to 'Sardinero' in that
round-about and in the next two (these three round-abouts are
separated no more than 400 m. from each other). In the next round-
about (approximately 2 km ahead) bear right taking the exit to
'Sardinero Centro ciudad', and 200 m. ahead, in the next round-about
bear left, following signs to 'El Sardinero Campo de fubol'.
Directions to 'H. Santemar' are sign-posted together with directions
to other hotels. Follow straight ahead for about 500 m. Hotel
Santemar is located on the first street at the right, after reaching
the unmistakable building of the Casino (on your right hand side).

By plane:
---------

For people arriving to the airport of Bilbao, there will be a person
of the conference organization who can be contacted for any help that
you may need. The schedule will be Sunday 6th and Monday 7th between
10:00 and 20:00. In particular, this person could organize the
sharing of taxis for going to Santander. A taxi from Bilbao to
Santander is approximately 13000 pts.

If you prefer to take the bus to Santander, you may take a taxi from
the airport to the bus station (approximately 2000 pts. for the taxi
and 925 pts. for the bus). There is one bus per hour since 7:00 until
21:30. Bus station address in Bilbao: Gurtubay, 1 (close to the
football stadium). Telephone number for taxis in Bilbao: 94-4448888.
Once in Santander, the taxi from the bus station (or the train
station) to the Hotel Santemar is about 700 pts.

People arriving to the airport of Santander can take a taxi to the
Hotel Santemar for about 2300 pts. There is no bus service. Telephone
number for taxis in Santander: 942-333333.


3.- About the Conference Venue
==============================

The conference will be held in the Hotel Santemar. Situated in
Santander's main resort area of El Sardinero, the Hotel is just 200
meters from the beach. The Hotel Santemar gathers excellent
conditions for an enjoyable and relaxing stay, and is surrounded by
an exceptional natural environment.

The Hotel Santemar address:
		Joaquín Costa 28
		39005 Santander
		Spain
Phone: 		International: +34-942-272900   Local: 942-272900
Fax: 		International: +34-942-278604   Local: 942-278604

For more information on the Hotel Santemar please see:

               http://www.cybermundi.es/h_santos/sante_en.htm

For prices and reservations, please see the hotel reservations page,
accessible from the main web page of the Conference (after March 18th):

               http://www.ada-europe.org/conference99.htm


4.- Conference Schedule
=======================

Note: The schedule of the technical sessions may vary depending on
the final papers submitted to the Conference.


Monday
======

Tutorial 1: Java for Ada Programmers, by Benjamin M. Brosgol (full
day)

Tutorial 2: Windows Development with Ada, by Orjan Leringe (full day)

Tutorial 3: Software Interoperability: Principles and Practice, by
Jack C. Wileden and Alan Kaplan (morning)

Tutorial 4: Building Ada Development Tools: ASIS and other GNAT
Technologies, by Cyrille Comar and Sergey I. Rybin (afternoon)

Tutorial 5: MetaH - An Architecture Description Language For Building
Avionics Systems With Ada, by Bruce Lewis and Dennis Cornhill
(afternoon)


Tuesday
=======

Morning
-------

Invited talk: Architecture Issues in Large Real-Time Ada Systems, by
Doug Locke

Technical sessions: Ravenscar, Software Architectures and Design

Afternoon
---------

Technical sessions: Testing, Formal Methods, Education, Distributed
Systems

Extra activities: City tour and Reception


Wednesday
=========

Morning
-------

Invited talk: The Evolving Architecture of GNAT, by Edmond Schonberg

Technical sessions: High Integrity Systems, Real-Time Scheduling and
Kernels

Afternoon
---------

Technical sessions: Tools, HW/SW Codesign, Formal Methods

Extra activities: Ada-Europe General Assembly and Banquet


Thursday
========

Morning
-------

Invited talk: Safety-Critical Systems, to be confirmed

Technical sessions: Distributed Systems, Fault Tolerance

Afternoon
---------

Technical sessions: Distributed Systems, Case Studies

Extra activities: Awards and concluding remarks


Friday
======

Tutorial 6: High Integrity Ada - The SPARK Approach, by John Barnes
(full day)

Tutorial 7: FUSION: An Object-Oriented Development Method, with
Mapping to Ada, by Alfred Strohmeier (full day)

Tutorial 8: Ada & Java: A Manager's and Developer's Road Map, by
Franco Gasperoni and Gary Dismukes (morning)

Tutorial 9: Using GNAT for the Java Platform, by Emmanuel Briot, Gary
Dismukes and Franco Gasperoni (afternoon)


5.- Tutorials
=============

Tutorial 1 (Monday): Java for Ada Programmers
=============================================

Benjamin M. Brosgol (Aonix)
brosgol@aonix.com

Audience Background
-------------------

This introductory/intermediate level tutorial presents the main
features of the Java language, with a strong focus on the Object-
Oriented Programming Features. Since semantic points are often
demonstrated by comparison with Ada, some previous experience with
either Ada 83 or Ada 95 would be helpful. No previous knowledge of
Java is required.

Abstract
--------

Some of the questions that will be addressed are the following:

- What features does Java lack, and what is the effect of their
  absence?

- What is the nature of Java's run-time model, and what are the
  implications of dynamic loading?

- How do the Java package and class constructs relate to Ada
  packages and tagged types?

- How does Java support inheritance, polymorphism, and dynamic
  binding?

- How are constructors used?

- What is the significance of Java's interface feature?

- How do exceptions work in Java?

- How does Java's thread mechanism address concurrent programming
  requirements?

- Can Java be used for real-time programming?

Time permitting, the tutorial will also describe Java's approach to
GUIs (the Abstract Windowing Toolkit) and applets. The handout
material provides complete examples of these subjects, if time
constraints prevent detailed coverage during the lecture.

Biography
---------

Dr. Brosgol has been involved with Ada since its inception. He led
the 'Red' language team during the original design competition,
served as a Distinguished Reviewer of Ada 83, and participated in
the Ada 95 revision. He is a senior member of the Aonix Professional
Services group and is also the current chair of ACM SIGAda. He has
presented papers and tutorials at many Ada Europe and SIGAda
conferences in the past, and delivered an invited keynote address at
the 1998 AdaUK conference. Dr. Brosgol's continued participation and
broad experience in almost all facets of Ada activity - as a
designer, implementor, user, and educator - have gained him
international recognition and acclaim in the Ada community.


Tutorial 2 (Monday): Windows Development with Ada
=================================================

Orjan Leringe
ol@mariadata.se

Audience Background
-------------------

Knowledge of Ada 95 is required. It is assumed also that the audience
knows Microsoft Windows as a user. Knowledge of the inner working of
Windows is not necessary. Acquaintance with C++ will be helpful in
connection to the presentation of MFC and Ada (two hours).

Abstract
--------

This tutorial presents how Windows applications can be developed
using Ada 95. The working principles of Windows are presented. This
is done by showing how Windows programs traditionally are built using
C and how these programs just as well, or better, can be written in
Ada using the Win32Ada binding.

The traditional development model for Windows programs, with a
message loop managed directly by the programmer, results in poorly
structured programs. OO frame-works like the Microsoft Foundation
Classes (MFC) provides access to Windows on a much higher abstraction
level. The tutorial will present the principals behind MFC and an
Ada binding which gives access to all the features of MFC.

The tutorial will also consist of an overview of other existing tools
and bindings making Windows development with Ada easier. Among these
are Claw from R & R Software, essentially a class library written
almost altogether i Ada. GUIBuilder from Aonix is an Ada code
generating tool. We will examine the inner working, pros and cons,
of these tools and give some live demonstrations.

Biography
---------

Orjan Leringe is the manager of Mariadata, a company specialised in
education in system development. The last few years he has given a
number of week-long courses on the subject of Ada and Windows
development at Swedish companies. He has been working as a lecturer
in Computer Science at the University of Lund and the Technical
University of Stockholm. He has been working in the industry for many
years as a consultant and manager. Most of the work has been
technically oriented like being the project manager for the VAX 11
Simula Compiler. Orjan is the chairman of Ada in Sweden.


Tutorial 3 (Monday morning): Software Interoperability: Principles
and Practice
===================================================================

Jack C. Wileden (University of Massachusetts), and Alan Kaplan
(Clemson University)
jack@cs.umass.edu, and kaplan@cs.clemson.edu

Audience Background
-------------------

This tutorial is aimed at an introductory to intermediate level
audience, primarily of software practitioners, but possibly of
researchers as well. Teachers and students of object-oriented
technology will also find this tutorial extremely useful. Some
general appreciation of interoperability issues and some familiarity
with software development, preferably using object-oriented
technology and programming languages, will be helpful. Participants
will benefit most if they are acquainted with one or more
interoperability approaches already, but no detailed knowledge of
any approach will be presumed.

Abstract
--------

Software interoperability is fundamental to a number of contemporary
software engineering topics, such as component-based software
development, software reuse and distributed or network-based
software. A variety of (often partial) approaches to
interoperability exist, but what they do, how they compare, and
exactly what problems they are solving is sometimes unclear. This
tutorial is intended to provide a solid understanding of software
interoperability problems and various proposed approaches to solving
those problems. Participants should expect to gain a generally
applicable foundation for assessing both problems and approaches, a
detailed understanding of several specific approaches, and an
ability to understand and critically evaluate new and different
interoperability problems and approaches in the future.

Biography
---------

Jack C. Wileden received the A.B. degree in mathematics and theM.S.
and Ph.D. degrees in computer and communications sciences from the
University of Michigan, Ann Arbor. He is a Professor in the
Department of Computer Science at the University of Massachusetts at
Amherst and Director of the Convergent Computing Systems Laboratory
there. His current research interests centre on tools and techniques
supporting seamless integration of advanced capabilities into
computing systems. Recent projects in his laboratory have focused on
object management topics, including persistent object systems and
name management, and on interoperability support for multilingual
programming. He has served as an ACM National Lecturer and an IEEE
Distinguished Visitor and has presented tutorials on various
software engineering topics in North and South America, Europe,
Australia and Japan.

Alan Kaplan received the B.S. degree in computer science from Duke
University, Durham, NC, and the M.S. and Ph.D. degrees in computer
science from the University of Massachusetts at Amherst. He is
currently on the faculty of the Department of Computer Science at
Clemson University in Clemson, South Carolina. Prior to his current
appointment, he spent a year on the faculty of the Department of
Computer Science at Flinders University in Adelaide, South
Australia. His research interests include tools and techniques
supporting software development, object-oriented databases, and
interoperability. Professor Kaplan is a member of the IEEE Computer
Society and the Association for Computing Machinery.


Tutorial 4 (Monday afternoon): Building Ada Development Tools: ASIS
and other GNAT Technologies
===================================================================

Cyrille Comar (ACT Europe), and Sergey I. Rybin (ACT Europe & Moscow
State University)
comar@act-europe.fr, and rybin@gnat.com

Audience Background
-------------------

The tutorial is of introductory level. The audience should have a
good understanding of Ada semantics. Basic experience on programming
with GNAT is helpful, but not required.

Abstract
--------

The tutorial will explain how you can build your own Ada development
and program analysis tool when using GNAT. The general architecture
of the GNAT compilation system and the existing GNAT toolset will be
presented. Different technologies for building additional tools will
be discussed and compared. Using ASIS (the Ada Semantic Interface
Specification) as the effective technology for building the wide
range of useful tools will be discussed in detail. Using the ASIS
implementation for GNAT for building and running ASIS-based tools
will be explained.

Biography
---------

Cyrille Comar is Managing Director at ACT Europe. He has been
actively involved in the GNAT technology since 1993 first at New York
University then at Ada Core Technologies.

Sergey Rybin has more than 15 years of research, development and
teaching activities with Ada. He is an active member of the ASIS
Working Group and he has been participating in the development of
the ASIS definition for Ada 95. Currently, Sergey Rybin is a
principal architect of the ASIS implementation for GNAT. In the past,
he was involved in various Russian Ada-related projects and in the
development of the Russian national information technology
standards.

Tutorial 5 (Monday afternoon): MetaH-An Architecture Description
Language For Building Avionics Systems With Ada
================================================================

Bruce Lewis (US Army Aviation and Missile Command), and Dennis
Cornhill (K&C Software Company)
lewis@sed.redstone.ARMY.MIL, and dennis.cornhill@htc.honeywell.com

Audience Background
-------------------

The tutorial will cover architecture description language concepts,
MetaH impact on development and evolvability, MetaH language
constructs, and application development using MetaH and Ada. The
tutorial assumes a general understanding of embedded time-critical
systems and software development methods. Expertise in Ada is not
required. Project managers, systems engineers and software engineers
should find the tutorial valuable.

Abstract
--------

MetaH is a language and toolset for specifying, analyzing and
integrating computer control systems. It was specifically developed
to meet the requirements of aircraft and missile avionics and flight
control but may be useful in many embedded time-critical applications
where a highly integrated, rapidly evolvable approach is desired.

Developers use MetaH to specify (1) how code modules, written in Ada
or other programming languages, are combined to form an application,
(2) execution behaviour, (3) the hardware target system, and (4) how
the software is allocated to hardware. Given the specification, the
engineer can use MetaH to model the architecture, generate in Ada
the application executive and architectural glue, and integrate the
software and hardware components into an executing system on the
target hardware. The MetaH language is designed for the specification
of real-time, fault-tolerant, securely partitioned, dynamically
reconfigurable multi-processor system architectures. A draft
Avionics Architecture Language standard is being developed using
MetaH as a base under the Society of Automotive Engineers (SAE).

Biography
---------

Bruce Lewis is a computer engineer responsible for the development,
assessment and transition of new software engineering technology. He
started working with Ada in 1983 and was a software engineer on
several missile programs developed with Ada using object based
approaches. He has worked with DARPA over the last 7 years on
architecture based software development and re-engineering
technology. He is the DARPA technical Agent for the development of
the MetaH technology and is the Chairman of the SAE task group
developing a standard Avionics Architecture Description Language.

Dennis Cornhill has contributed to the development of the MetaH
translation tool, application of the technology to avionics systems,
and MetaH training. His involvement with Ada dates to the development
of the Green language in the late 1970s. Subsequently, he
investigated techniques for using Ada in distributed and hard
deadline applications.


Tutorial 6 (Friday): High Integrity Ada-The SPARK Approach
==========================================================

John Barnes
jgpb@jbinfo.demon.co.uk

Audience Background
-------------------

Attendees will be expected to be familiar with the mainstream ideas
of Ada (83 or 95). No knowledge of SPARK will be assumed. No prior
knowledge of formal methods is required. Note: This tutorial is not
for the novice but nor will it contain heavy indigestible proof stuff
so it is classed as Intermediate. The audience will be expected to
attempt some simple exercises.

Abstract
--------

SPARK was designed for applications where the risk of an incorrect
program causing damage to life or property must be minimized (the
so-called safety-critical area). However, most programs deserve to
be correct and SPARK is applicable to high integrity applications in
general. SPARK can be seen as a subset of Ada 95 with embedded
annotations (as comments) giving additional information about the
program.

The tutorial will present the key ideas behind SPARK including
abstraction, refinement and flow analysis and how a program can be
proved to be correct with respect to its specification. It will also
discuss the SPARK tools which are the Examiner for flow analysis and
the Simplifier and Proof Checker for generating proofs.

Finally, the tutorial will consider other aspects of writing reliable
Ada software such as the ISO Guide for the use of Ada in High
Integrity Systems and the Safety and Security Annex.

In summary, the main purpose is to give attendees an appreciation of
the scope of SPARK and what might be achieved by its use in practice.
An important goal is to show that the SPARK approach can bring useful
benefits without every programmer having to have a doctorate in
formal methods!

Biography
---------

John Barnes read Mathematics at Trinity College Cambridge. His early
career was with Imperial Chemical Industries where he worked on the
development of languages for process control applications. He has
been involved with Ada from the early days. He was a member of the
Ada 83 and Ada 95 design teams and was principal author of the
Rationale for Ada 95. He has written a number of books including High
Integrity Ada - The SPARK Approach (upon which this tutorial is
based) as well as Programming in Ada 95. He is currently President
of Ada-Europe.


Tutorial 7 (Friday): FUSION: An Object-Oriented Development Method,
with Mapping to Ada
===================================================================
Alfred Strohmeier
alfred.strohmeier@epfl.ch

Audience Background
-------------------

The tutorial is intended for anyone who wants to learn an object-
oriented development method. We assume some acquaintance with
object-oriented concepts, but no specific knowledge in object-
oriented development methods is required.

Abstract
--------

Fusion is an object-oriented software development method. It is a
full-coverage method, providing for all of analysis, design, and
implementation. By integrating and extending existing approaches,
Fusion provides a direct route from a requirements definition through
to an implementation. The advantage of the Fusion method is that it
offers not only notations for describing models, but a process for
development.

Biography
---------

Alfred Strohmeier is a Professor of Computer Science at the Swiss
Federal Institute of Technology in Lausanne (EPFL), Switzerland,
where he leads the Software Engineering Laboratory. He has been
teaching object-oriented technologies and Ada in academic and
industrial settings. He was a Distinguished Reviewer of Ada 95 and
participated in its definition. His current interests are software
engineering; software development methodologies, especially object-
oriented approaches; software development environments; and
technologies related to the Ada language, including software
components and bindings.


Tutorial 8 (Friday morning): Ada & Java: A Manager's and
Developer's Road Map
========================================================

Franco Gasperoni (ACT Europe), and Gary Dismukes (Ada Core
Technologies)
gasperon@act-europe.fr, and dismukes@gnat.com

Audience Background
-------------------

Any manager, project leader, software engineer or programmer that is
interested in understanding the Java technology, its opportunities
and how Ada can be used on this platform.

Abstract
--------

The objectives of this tutorial are:

- Explain the important elements of the Java technology. Aspects
  of the technology that will be covered include: The Java
  programming language, the Java virtual machine and its
  performance, the Java API, the JNI (the interface that allows
  native applications to interface with Java), as well as how to
  use Java technology in embedded applications.

- Help managers and developers understand the opportunities
  represented by this emerging technology, which spans
  applications ranging from internet applets to fully featured
  information systems running on mainframes, PCs or workstations
  as well as internet appliances and embedded systems such as
  intelligent automobiles, smart cards, telephones with built-in
  Web browsers and state-of-the-art cellular telephones.

- Provide a road map for project managers & software engineers to
  help them understand where Ada fits in the world of Java and how
  companies can take advantage of their Ada investments for the
  Java platform. More importantly, this tutorial will illustrate
  how the use of Ada can provide a competitive advantage on this
  emerging platform.

Biography
---------

Franco Gasperoni is managing director of ACT-Europe, the european
GNAT company. He has been involved in the implementation of Ada
compilers for 10 years. He has taught courses in programming
languages, compilers, operating systems, and software engineering
for 8 years. Franco is one of the main architects of the GNAT to Java
effort that is currently underway.

Gary Dismukes is a senior software engineer with Ada Core
Technologies. He was involved with the development of Ada 95 as a
Distinguished Reviewer and has worked on the development of Ada
compilers for over 15 years. His training experience includes
teaching Ada 95 courses to industry programmers. His most recent work
has been on the design and implementation of the Ada Core
Technologies project targeting the GNAT compiler to the Java Virtual
Machine.


Tutorial 9 (Friday afternoon): Using GNAT for the Java Platform
===============================================================

Emmanuel Briot (ACT-Europe), Gary Dismukes (Ada Core Technologies),
and Franco Gasperoni (ACT Europe)
briot@gnat.com, dismukes@gnat.com, and gasperon@act-europe.fr

Audience Background
-------------------

Attendees should have a reasonable understanding of Ada. Knowledge
of the object-oriented features of Ada 95 would be helpful but is
not required.

Abstract
--------

The objectives of this tutorial is to explain how to write Ada
applications for the Java platform using JGNAT, the GNAT Ada 95
toolchain for the Java Virtual Machine. This includes writing new
Ada applications as well as porting existing Ada code.

Seamless interoperability between Ada and the Java programming
language along with the use of the Java API (Application Programming
Interface) from Ada will be discussed in depth. The tutorial will
also show how native code written in Ada can use the Java API directly
without the need to port the Ada code to the Java virtual machine.

The tutorial will contain down-to-earth examples to help
participants acquire a concrete grasp of the concepts presented.

Biography
---------

Emmanuel Briot is a software engineer at ACT-Europe. He recently got
his diploma from the ENST Bretagne in Brest, France, and started
working in the Ada Wonderland at Ada Core Technologies in New York.
One of his contributions to the GNAT Technology is in the cross-
referencing tools distributed with the compiler. He is currently
working on the GNAT compiler targeted to the Java Virtual Machine.


6.- Invited Talks
=================

Invited Talk 1: Architecture Issues in Large Real-Time Ada Systems
---------------

Doug Locke, Lockheed Martin Corporation

Invited Talk 2: The Evolving Architecture of GNAT
---------------

Edmond Schonberg, New York University & ACT


Invited Talk 3: Safety-Critical Systems
---------------

To be confirmed


7.- Technical Sessions
======================

Ravenscar and High Integrity Systems
------------------------------------

A Formal Model of the Ada Ravenscar Tasking Profile; Protected
Objects
by Kristina Lundqvist, Lars Asplund, and Stephen Michell

An Ada Runtime System Implementation of the Ravenscar Profile for
High Speed Application-Layer Data Switch
by Mike Kamrad, and Barry Spinney

Re-engineering a safety-critical application using SPARK 95 and
GNORT
by Roderick Chapman, and Robert Dewar

An Ada95 Solution for Certification of Embedded Safety Critical
Applications
by Jacob Frost et al.

Software Architectures and Design
---------------------------------

Architectural Meta-Technologies: How Do We Define the Contents
of an Architecture?
by David Emery

Mapping Object-Oriented Designs to Ada
by Alfred Strohmeier

Efficient and Extensible Multithreaded Remote Servers
by Ricardo Jimenez-Peris, M. Patiño-Martinez, F. J. Ballesteros,
and S. Arevalo

Testing
-------

Report on the VERA experiment
by Bruno Hemeury, and Ceri Rees

Acceptance Testing of Object Oriented Systems
by Jose Luis Fernandez

Formal Methods
--------------

Environment for the Development and Specification of Real-Time Ada
Programs
by Apolinar Gonzalez, and Alfons Crespo

Interprocedural Symbolic Evaluation of Ada Programs with Aliases
by J. Blieberger, B. Burgstaller, and B. Scholz

Automatic Verification of Concurrent Ada Programs
by Eric Bruneton, and Jean-Francois Pradat-Peyre

Translating Time Petri Net Structures into Ada 95 Statements
by F.J. Garcia, and J.L. Villarroel

Education
---------

Railway Scale Model Simulator
by Pierre Breguet, and Luigi Zaffalon

Ada 95 as a Foundation Language in Computer Engineering Education in
Ukraine
by Alexandr V. Korochkin

Distributed Systems
-------------------

yaRTI, an Ada 95 HLA Run-Time Infrastructure
by Dominique Canazzi

An Ada95 Implementation of a Network Coordination Language with Code
Mobility
by Emilio Tuosto

CORBA & DSA: Divorce or Marriage?
by Laurent Pautet, Thomas Quinot and Samuel Tardieu

GNAT-Drago: A Smooth Integration
by J.Miranda, F.Guerra, J.Martin, and A.Gonzalez

Controlled Types for Fossil Collection in a Distributed Simulation
System
by Helge Hagenauer

An Application (Layer 7) Routing Switch with Ada95 Software
by Mike Kamrad

Ada Binding to Shared Object Middleware
by Johann Blieberger, Johann Klasek, and Eva Kühn,

Real-Time Scheduling and Kernels
--------------------------------

The Ceiling Protocol in Multi-Moded Real-Time Systems
by Jorge Real, and Andy Wellings

A 'Bare-Machine' Implementation of Ada Multi-Tasking Beneath the
Linux Kernel
by Hongfeng Shen, and T.P. Baker

Implementing a New Low level Tasking Support for the GNAT Runtime
System
by Jose Francisco Ruiz-Martinez, and Jesus M. Gonzalez-Barahona

Tools
-----

MetaScribe, an Ada-based Tool for the Construction of Transformation
Engines
by Fabrice Kordon

An Adaptation of our Ada95/O2 Binding to Provide Persistence to the
Java Language: Sharing And Handling of Data between Heterogeneous
Applications using Persistence
by Thierry Millan, Myriam Lamolle, and Frederic Mulatero

Browsing a Component Library using Non-Functional Information
by Xavier Franch, Josep Pinyol, and Joan Vancells

Special Session: Hardware & Software Codesign
---------------------------------------------

HW/SW Co-design of Embedded Systems
by William Fornaciari, and Donatella Sciuto

Hardware/Software Embedded System Specification and Design using Ada
and VHDL
by Adrian Lopez, Maite Veiga, and Eugenio Villar

System on Chip Specification and Design Languages Standardization
by J. Mermet

Fault Tolerance
---------------

An Incremental Recovery Cache Supporting Software Fault Tolerance
by Patrick Rogers, and Andy Wellings

Shared Recoverable Objects
by Jorg Kienzle, and Alfred Strohmeier

Fault Tolerance by Transparent Replication for Distributed Ada 95
by Thomas Wolf, and Alfred Strohmeier

Case Studies
------------

A Case Study on the Reuse of On-board Embedded Real-Time Software
by Tullio Vardanega, and Gert Caspersen

Development of Flight Control Software in Ada: Architecture and
Design Issues and Approaches
by Alfred Rosskopf

Core Application Software for the Columbus Orbital Facility
Development and Testing
by M.G. Conti, and Nico Maradei


8.- Organisation and Programme Committees
=========================================

Conference Chair
----------------

Michael Gonzalez Harbour


Programme Co-Chairs
-------------------

Michael Gonzalez Harbour
Dpto. de Electronica y Computadores
Universidad de Cantabria
Avda. de los Castros s/n
E-39005, Santander, Spain
mgh@ctr.unican.es

Juan A. de la Puente
Dpto. Ing de Sistemas Telematicos
ETSI Telecomunicacion
Ciudad Universitaria
E-28040 Madrid, Spain
jpuente@dit.upm.es

Tutorial Chair
--------------

Angel Alvarez
Dpto. Ing de Sistemas Telematicos
ETSI Telecomunicacion
Ciudad Universitaria
E-28040 Madrid, Spain
aalvarez@dit.upm.es

Exhibition Chair
----------------

Alejandro Alonso
Dpto. Ing de Sistemas Telematicos
ETSI Telecomunicacian
Ciudad Universitaria
E-28040 Madrid, Spain
aalonso@dit.upm.es

Publicity Chair
---------------

J. Javier Gutierrez Garcia
gutierjj@ctr.unican.es

Programme Committee
-------------------

Angel Alvarez, Technical University of Madrid
Lars Asplund, Uppsala University
Paul A. Bailes, The University of Queensland
Ted Baker, Florida State University
Brad Balfour, Objective Interface
Stephane Barbey, Swiss Federal Institute of Technology, Lausanne
John Barnes, JBI
Johann Blieberger, Technical University Vienna
Jim Briggs, University of Portsmouth, UK
Benjamin Brosgol, Aonix
Jorgen Bundgaard, DDC-I
Alan Burns, University of York
Dirk Craeynest, OFFIS nv/sa, Belgium
Alfons Crespo, Universidad Politecnica de Valencia
Peter Dencker, Chairman of Ada-Deutschland
Jesus Gonzalez-Barahona, Universidad Carlos III de Madrid
Michael Gonzalez Harbour, Universidad de Cantabria
Mike Kamrad, BlazeNet
Jan Van Katwijk, Delft University of Technology
Hubert B. Keller, Forschungszentrum Karlsruhe
Yvon Kermarrec, ENST de Bretagne
Fabrice Kordon, Universite P. & M. Curie
Albert Llamosi, Universitat de les Illes Balears
Franco Mazzanti, Istituto di Elaborazione della Informazione, CNR
John McCormick, University of Northern Iowa
Paolo Panaroni, Intecs Sistemi S.p.A.
Laurent Pautet, ENST Paris
Juan A. de la Puente, Universidad Politecnica de Madrid
Erhard Plodereder, University of Stuttgart, Germany
Jean-Pierre Rosen, ADALOG
Sergey Rybin, Moscow State University & ACT
Edmond Schonberg, New York University & ACT
Andreas Schwald
Martin J. Stift, Universitat Wien
Alfred Strohmeier, Swiss Federal Institute of Technology, Lausanne
Theodor Tempelmeier, Rosenheim
Stef Van Vlierberghe, OFFIS N.V./S.A.
Tullio Vardanega, European Space Agency
Andy Wellings, University of York

New paper and extended abstract submission form -
International Conference on Reliable Software Technologies - Ada-Europe'99


Date: Tue, 10 Nov 1998 16:09:20 +0100
From: Michael Gonzalez <mgh@ccaix3.unican.es>
Organization: Universidad de Cantabria
Subject: Intl. Conference on Reliable Software Technologies

International Conference on Reliable Software Technologies
      ==========================================================
                           Ada-Europe'99
                         Santander, Spain

          New paper and extended abstract submission form
          ===============================================

The paper and extended abstract submission deadline for the
International Conference on Reliable Software Technologies, on
November 20th 1998, is approaching fast.

To ease the process of paper submission and revision, we have set up a
Web server using the Start Conference Manager Toolset developed by
Rich Gerber and Jeff Hollingsworth.

If you intend to submit a paper or an extended abstract to the
International Conference on Reliable Software Technologies
(Ada-Europe'99), and it is in postscript, PDF or ASCII format, you may
submit it by using the Web page at:

      http://ctrpc17.ctr.unican.es/submit.html

This is the preferred submission procedure. However, if you don't have
access to the internet, or you don't have an appropriate web browser,
you may send your extended abstract or paper by e-mail to one of the
Programme Co-Chairs: Michael Gonzalez (mgh@ctr.unican.es) or Juan
A. de la Puente (jpuente@dit.upm.es). E-mail should also be used if
your paper is in HTML format. If electronic submission is not
available, please send five paper copies to one of the Program
Co-Chairs.

For more information see the conference web page at:

    http://www.ada-europe.org/conference99.htm

Thank you very much.

Sincerely,

Michael Gonzalez Harbour
Programme Co-Chair

Call for Papers -
International Conference on Reliable Software Technologies - Ada-Europe'99


From: Michael Gonzalez <mgh@ctr.unican.es>
Newsgroups: comp.lang.ada
Subject: CFP Ada-Europe'99
Date: Mon, 07 Sep 1998 17:50:55 +0200
Organization: Universidad de Cantabria

----------------------------------------------------------------------------
                            CALL FOR PAPERS

                 International Conference on Reliable
                        Software Technologies--
                            Ada-Europe'99

                   June 7-11, 1999 - Santander, Spain


                http://www.ada-europe.org/conference99.htm
                ------------------------------------------

----------------------------------------------------------------------------

Sponsored by Ada-Europe, in cooperation with Ada-Spain and
ACM SIGAda (approval pending)


General Information
===================

The international conference of Ada-Europe, the European federation of
national Ada societies, will take place next year in Santander, Spain,
from June 7 to 11, 1999. The full conference will comprise a three-day
technical programme and exhibition from Tuesday to Thursday, and
parallel workshops and tutorials on Monday and Friday.

For more information, visit the conference Web page at
http://www.ada-europe.org/conference99.htm

About Santander
===============

Santander is a beautiful city located in the North Coast of Spain, in
the region of Cantabria. It enjoys an extraordinary landscape mainly
due to its coastal location, forming a peninsula surrounded by a bay,
and its cliff coastline open to the Bay of Biscay. But perhaps the
beaches are its best known and appreciated natural spaces. Its sinuous
outline offers both small and large sandy beaches: some sheltered from
the wind and with calm waters; others, open to the Bay of Biscay, with
more surf. Next to these and between them, green spaces of great
beauty look to the coast.

Santander has beautiful surroundings with many possibilities for
cultural and outdoors activities. The region of Cantabria is located
in the central area of the coast of the Bay of Biscay and marked by
the rough relief of the Cantabrian Mountain Range. The main tourist
attractions of Cantabria are undoubtedly its landscape and privileged
natural environment, together with its great artistic monuments, such
as the many caves with prehistoric paintings, the roman village of
Juliobriga, the medieval village of Santillana del Mar, and many
more. For additional information on tourism and hotels see
http://turismo.cantabria.org/siting,
http://www.cibermedios.com/guia_cantabria, and
http://www.veu.unican.es/arte/.

Santander can be easily reached by aeroplane from all over the world,
via Madrid or Barcelona. It is well communicated by motorway with
Bilbao (1 hour driving distance), which has an international airport
with direct flights to and from many european cities. Transportation
between Bilbao and Santander is available by bus, as well as taxi or
rental car. A comfortable night train is available to/from Madrid. A
ferry boat communicates Santander with Plymouth (England) twice a
week, and it represents a convenient possibility for bringing your own
car from the UK.

Schedule
========

     20 November 1998: Submission of extended abstracts
                       and tutorial or workshop proposals
     15 January 1999 : Notification to authors
     18 March 1999   : Final papers (camera-ready) required
     7-11 June 1999  : Conference

Submissions
===========

Authors are invited to submit original contributions. Submissions
should be in English.  An extended abstract (4-6 pages) or the full
paper should be sent by e-mail to one of the Programme Co-Chairs in
HTML, PDF, Postscript or ASCII format. Submissions by other electronic
formats, such as a word processor source file, or by fax are not
accepted. If electronic submission is not available, please send five
paper copies to one of the Program Co-Chairs.

For electronic submissions, please attach your file or files to an
electronic message that includes in the message body, and in plain
text, your name, affiliation, contact address, names of co-authors,
title of the paper, short abstract, kind of submission (extended
abstract or full paper), and format used.  If you use HTML, please
include all the required files, including figures in GIF or JPEG
format.  For submissions in HTML, the use of frames, animated GIFs,
Java, Javascript and other advanced features is not accepted. If you
submit postscript, please be sure to select the option "optimize for
portability" in your printer driver, and please specify in your e-mail
message the total number of pages.

If the final paper is sent, it should be limited to a maximum length
of 12 pages, using the Lecture Notes in Computer Science format
(http://www.springer.de/comp/lncs/authors.html).

The first page of the paper should include: the title; name, current
affiliation, postal address, e-mail address, telephone and fax of each
author; the name of the designated contact person; a short abstract;
and a list of keywords ordered by relevance, including, whenever
possible, topics and subtopics taken from the list of topics of the
conference.

To enable publication of the accepted papers before the conference,
strict adherence to the dates of the schedule is essential.

Proceedings
===========

The proceedings will be printed in the famous Lecture Notes in
Computer Science (LNCS) of Springer Verlag, and will be available at
the start of the conference.

Awards
======

There will be two awards, sponsored by Ada-Europe:

     Best paper award: 500.- Euros
     Best presentation award: 500.- Euros

Topics
======

The conference will provide an international forum for researchers,
developers and users of reliable software technologies. Presentations
and discussions will cover applied and theoretical work currently
conducted to support the development and maintenance of software
systems. Participants will include practitioners and researchers from
industry, academia and government.

For papers, tutorials, and workshop proposals, the topics of interest
include, but are not limited to:

  -  Management of Software Development and Maintenance: Methods,
     Techniques and Tools.

  -  Software Quality: Quality Management and Assurance, Verification,
     Validation and Testing of Software Systems.

  -  Software Development Methods and Techniques: Requirements
     Engineering, Object-Oriented Technologies, Formal Methods, Software
     Management Issues, Re-engineering and Reverse Engineering, Reuse.

  -  Software Architectures: Patterns for Software Design and Composition,
     Frameworks, Component and Class Libraries, Component Design.

  -  Tools: CASE Tools, Software Development Environments, Compilers,
     Browsers, Debuggers.

  -  High Integrity Systems: Real-Time Systems, Distributed Systems,
     Fault-Tolerant Systems, Safety-Critical Systems. Communications,
     Manufacturing, Avionics, Space, Railway, Industry.

  -  Ada Language and Tools: Programming Techniques, Object-Oriented
     Programming, Bindings and Libraries, Evaluation and Comparison
     of Languages.

  -  Ada Experience Reports: Management Approaches, Metrics, Comparisons
     with past or parallel Experiences in non-Ada Projects.

  -  Education and Training: Ada in Secondary or College Education.

  -  Case Studies and Experiments.

Call for Tutorials
==================

A tutorial should address any of the topics of the theme of the
conference. A tutorial will last a half or full day. The proposals
should include a title, an abstract, a description of the topic, a
detailed outline of the presentation, a description of the presenter's
teaching experience in general and with the proposed topic, duration
(half day or full day), level of the tutorial (introductory,
intermediate, or advanced), expected audience experience and
background. Proposals should be submitted by e-mail to the Tutorial
Chair.

Call for Workshops
==================

Half- and full-day workshops can be held to address timely issues or
to initiate a longer term effort on a topic of interest. Proposals
should be submitted by e-mail to one of the Programme Co-Chairs.

Exhibition
==========

The conference will be accompanied by a three-day commercial
exhibition on June 8, 9, and 10. Vendors of software products and
services should contact the Exhibition Chair at the earliest
convenience for further information and to ensure their inclusion.

Organization
============

Programme Committee
-------------------

   - Angel Alvarez, Technical University of Madrid
   - Lars Asplund, Uppsala University
   - Paul A. Bailes, The University of Queensland
   - Ted Baker, Florida State University
   - Brad Balfour, Objective Interface
   - Stephane Barbey, Swiss Federal Institute of Technology, Lausanne
   - John Barnes, JBI
   - Johann Blieberger, Technical University Vienna
   - Jim Briggs, University of Portsmouth, UK
   - Benjamin Brosgol, Aonix
   - Jorgen Bundgaard, DDC-I
   - Alan Burns, University of York
   - Dirk Craeynest, OFFIS nv/sa, Belgium
   - Alfons Crespo, Universidad Politecnica de Valencia
   - Peter Dencker, Chairman of Ada-Deutschland
   - Jesus Gonzalez-Barahona, Universidad Carlos III de Madrid
   - Michael Gonzalez Harbour, Universidad de Cantabria
   - Mike Kamrad, BlazeNet
   - Jan Van Katwijk, Delft University of Technology
   - Hubert B. Keller, Forschungszentrum Karlsruhe
   - Yvon Kermarrec, ENST de Bretagne
   - Fabrice Kordon, Universite P. & M. Curie
   - Albert Llamosi, Universitat de les Illes Balears
   - Franco Mazzanti, Istituto di Elaborazione della Informazione , CNR
   - John McCormick, University of Northern Iowa
   - Paolo Panaroni, Intecs Sistemi S.p.A.
   - Laurent Pautet, ENST Paris
   - Juan A. de la Puente, Universidad Politecnica de Madrid
   - Erhard Plodereder, University of Stuttgart, Germany
   - Jean-Pierre Rosen, ADALOG
   - Sergey Rybin, Moscow State University & ACT
   - Edmond Schonberg, New York University & ACT
   - Andreas Schwald
   - Martin J. Stift, Universitat Wien
   - Alfred Strohmeier, Swiss Federal Institute of Technology, Lausanne
   - Theodor Tempelmeier, Rosenheim
   - Stef Van Vlierberghe, OFFIS N.V./S.A.
   - Tullio Vardanega, European Space Agency
   - Andy Wellings, University of York

Conference Chair
----------------

     Michael Gonzalez Harbour

Programme Co-Chairs
-------------------

     Michael Gonzalez Harbour
     Dpto. de Electronica y Computadores
     Universidad de Cantabria
     Avda. de los Castros s/n
     E-39005, Santander, Spain
     mgh@ctr.unican.es

     Juan A. de la Puente
     Dpto. Ing de Sistemas Telematicos
     ETSI Telecomunicacion
     Ciudad Universitaria
     E-28040 Madrid, Spain
     jpuente@dit.upm.es

Tutorial Chair
--------------

     Angel Alvarez
     Dpto. Ing de Sistemas Telematicos
     ETSI Telecomunicacion
     Ciudad Universitaria
     E-28040 Madrid, Spain
     aalvarez@dit.upm.es

Exhibition Chair
----------------

     Alejandro Alonso
     Dpto. Ing de Sistemas Telematicos
     ETSI Telecomunicacion
     Ciudad Universitaria
     E-28040 Madrid, Spain
     aalonso@dit.upm.es

Publicity Chair
---------------

     J. Javier Gutierrez Garcia
     gutierjj@ctr.unican.es

Call for Papers -
International Conference on Reliable Software Technologies - Ada-Europe'99


Date:         Wed, 29 Jul 1998 14:03:55 +0200
From:         Michael Gonzalez <mgh@ccaix3.unican.es>
Organization: Universidad de Cantabria
Subject:      Call for papers, Ada-Europe'99

[ 293 lines deleted; see updated version above -- dc ]

Home Page available -
International Conference on Reliable Software Technologies - Ada-Europe'99


Information on the Ada-Europe'99 Conference is now available at http://www.ada-europe.org/conference99.html.

Ada-Europe Board
Uppsala, June 9, 1998


Preliminary Announcement -
International Conference on Reliable Software Technologies - Ada-Europe'99


The Ada-Europe'99 Conference will be held in Santander, Spain, June 7 - 11, 1999.

Ada-Europe Board
Brussels, March 4, 1997


[Ada-Belgium] To the Ada-Belgium home page.

Last update: 1999/06/05.

Dirk Craeynest