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 ([log in to unmask]).
******************************************************************
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 ([log in to unmask]).
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: [log in to unmask]), 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)
[log in to unmask]
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
[log in to unmask]
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)
[log in to unmask], and [log in to unmask]
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)
[log in to unmask], and [log in to unmask]
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)
[log in to unmask], and [log in to unmask]
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
[log in to unmask]
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
[log in to unmask]
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)
[log in to unmask], and [log in to unmask]
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)
[log in to unmask], [log in to unmask], and [log in to unmask]
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
[log in to unmask]
Juan A. de la Puente
Dpto. Ing de Sistemas Telematicos
ETSI Telecomunicacion
Ciudad Universitaria
E-28040 Madrid, Spain
[log in to unmask]
Tutorial Chair
--------------
Angel Alvarez
Dpto. Ing de Sistemas Telematicos
ETSI Telecomunicacion
Ciudad Universitaria
E-28040 Madrid, Spain
[log in to unmask]
Exhibition Chair
----------------
Alejandro Alonso
Dpto. Ing de Sistemas Telematicos
ETSI Telecomunicacian
Ciudad Universitaria
E-28040 Madrid, Spain
[log in to unmask]
Publicity Chair
---------------
J. Javier Gutierrez Garcia
[log in to unmask]
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
|