LISTSERV mailing list manager LISTSERV 16.0

Help for TEAM-ADA Archives


TEAM-ADA Archives

TEAM-ADA Archives


TEAM-ADA@LISTSERV.ACM.ORG


View:

Message:

[

First

|

Previous

|

Next

|

Last

]

By Topic:

[

First

|

Previous

|

Next

|

Last

]

By Author:

[

First

|

Previous

|

Next

|

Last

]

Font:

Proportional Font

LISTSERV Archives

LISTSERV Archives

TEAM-ADA Home

TEAM-ADA Home

TEAM-ADA  March 1999

TEAM-ADA March 1999

Subject:

Preliminary Program: Intl. Conference on Reliable SW Technologies

From:

Michael Gonzalez <[log in to unmask]>

Reply-To:

[log in to unmask]

Date:

Fri, 5 Mar 1999 13:12:21 +0100

Content-Type:

text/plain

Parts/Attachments:

Parts/Attachments

text/plain (1099 lines)

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

Top of Message | Previous Page | Permalink

Advanced Options


Options

Log In

Log In

Get Password

Get Password


Search Archives

Search Archives


Subscribe or Unsubscribe

Subscribe or Unsubscribe


Archives

December 2017
November 2017
October 2017
September 2017
June 2017
May 2017
April 2017
January 2017
December 2016
November 2016
October 2016
August 2016
July 2016
June 2016
May 2016
April 2016
March 2016
February 2016
January 2016
December 2015
November 2015
October 2015
September 2015
August 2015
June 2015
May 2015
April 2015
March 2015
February 2015
January 2015
December 2014
November 2014
September 2014
August 2014
July 2014
June 2014
May 2014
April 2014
March 2014
February 2014
January 2014
December 2013
November 2013
October 2013
September 2013
June 2013
May 2013
April 2013
March 2013
February 2013
January 2013
December 2012
November 2012
October 2012
September 2012
August 2012
July 2012
June 2012
May 2012
April 2012
February 2012
January 2012
December 2011
November 2011
October 2011
September 2011
August 2011
July 2011
June 2011
May 2011
April 2011
December 2010
November 2010
October 2010
September 2010
June 2010
May 2010
April 2010
March 2010
February 2010
January 2010
December 2009
November 2009
October 2009
September 2009
August 2009
July 2009
June 2009
May 2009
April 2009
February 2009
January 2009
December 2008
November 2008
October 2008
September 2008
August 2008
June 2008
May 2008
April 2008
March 2008
February 2008
January 2008
December 2007
November 2007
October 2007
September 2007
June 2007
May 2007
March 2007
February 2007
December 2006
November 2006
October 2006
September 2006
August 2006
July 2006
June 2006
May 2006
April 2006
March 2006
February 2006
January 2006
December 2005
November 2005
October 2005
August 2005
July 2005
June 2005
May 2005
April 2005
March 2005
February 2005
January 2005
December 2004
November 2004
October 2004
September 2004
August 2004
July 2004
June 2004
May 2004
March 2004
February 2004
January 2004
December 2003
November 2003
October 2003
September 2003
August 2003
July 2003
June 2003
May 2003
April 2003
March 2003
February 2003
January 2003
December 2002
November 2002
October 2002
September 2002
August 2002
July 2002
June 2002
May 2002
April 2002
March 2002
February 2002
December 2001
November 2001
October 2001
September 2001
August 2001
July 2001
June 2001
May 2001
April 2001
March 2001
February 2001
January 2001
December 2000
November 2000
October 2000
September 2000
August 2000
July 2000
June 2000
May 2000
April 2000
March 2000
February 2000
January 2000
December 1999
November 1999
October 1999
September 1999
August 1999
July 1999
June 1999
May 1999
April 1999
March 1999
February 1999
January 1999
December 1998
November 1998
October 1998
September 1998
August 1998
July 1998
June 1998
May 1998
April 1998
March 1998
February 1998
January 1998
December 1997
November 1997
October 1997
September 1997
August 1997
July 1997
June 1997
May 1997
April 1997
March 1997
February 1997
January 1997
December 1996
November 1996
October 1996

ATOM RSS1 RSS2



LISTSERV.ACM.ORG

Secured by F-Secure Anti-Virus CataList Email List Search Powered by the LISTSERV Email List Manager