TRI-Ada '95 Conference Program

The TRI-Ada '95 conference technical program focuses on critical systems solutions and emerging technologies from around the world. You will hear Ada case studies, a featured paper on building a "line of business" based on Ada as well as sessions on architecture, real-time systems and distributed systems. Critical supporting technologies are described in sessions on Ada bindings, software engineering standards, reuse technology and object-oriented technologies. You will find additional sessions on subjects such as, Ada 95 as a second language, novel applications of Ada, software engineering as a profession, and certification of computer science curricula.

Related program sessions are generally packaged for easy single day attendance

Ada 95: The Ada 95 language and its implementation as well as experiences in transition.

TH3 Ada 95 Transition

Th 11:00-12:30 - Marina 1

Transition Analysis of an Operational System.
An analysis of the transition from Ada 83 to Ada 95 of performance monitoring software of a demultiplexing system. K. Warner and A. Slaughter, The MITRE Corporation
Early Experiences Adopting Ada 95.
Ada 95 early adoption projects are described. I. L. Patton and W. Pritchett IV, CACI, Inc.

TH7 Implementation I-Compilation Systems

Th 2:00-3:30 - Marina 1

An ANDF-based Ada 95 Compiler System.
An Ada 95 compilation system that uses the Architecture Neutral Distribution Format for porting. J. Bundgaard, DDC-I
GW-Ada/Ed: Free Ada 83 Development Environments for IBM PC-Compatible and Apple Macintosh Computers.
A historical and technical description of GW-Ada/Ed for DOS and the Mac. M. Feldman, C. Kann, A. Lopes, and M. Perez, The George Washington University
Ada and C Interface Issues in the Development of a Peripheral Support Library.
Development steps and issues encountered during the development of Ada interfaces to C peripheral device support libraries. S. Kapur, Intel Corporation

TH11 Implementation II - Implementing Ada 95

Th 4:30-6:00 - Marina 1

Implementing Recovery Blocks in GNAT: A Powerful Fault Tolerance Mechanism and Transaction Support.
Implementing recovery blocks in GNAT as a mechanism for fault tolerance in transaction processing. Y. Kermarrec, ENST de Bretagne, L. Nana, ENST de Bretagne, L. Pautet, Telecom Paris
GNAT Implementation of Controlled Types.
A review of the semantics of controlled types and their implementation in GNAT. C. Comar, New York University, G. Dismukes, Ada Core Technologies, F. Gasperoni, Telecom Paris-ENST
Termination of Ada Tasks in Hardware.
A highly parallel method for termination of Ada tasks is intended for hardware implementation. L. Bjornfot, Uppsala University

TH12 Ada 95 as a Second Language

Th 4:30-6:00 - Avalon

Using Ada 95 in Embedded Real-time Applications.
How the new real-time features of Ada 95 might be used in a typical embedded application. D. Mundie,Tartan, Inc.
Composition of Abstractions: Evolution of Software Component Design in Ada 95.
Describes issues in design for reuse and demonstrates how a sample family of components can be developed in Ada 95. M. Kempe, Swiss Federal Institute of Technology
Introduction To Child Program Units.
An introduction to the use of hierarchical libraries in Ada 95. N. Cohen, IBM

Architecture: Building systems based upon principles in addition to functionality.

WE4 Distributed Systems

We 2:00-3:30 - Marina 1

Performance of a High-Level Parallel Programming Layer Defined on Top of the Ada Tasking Model.
A demonstration that high-level parallel programming constructs can be implemented on top of an existing Ada compiler. J. Thornley, California Institute of Technology
GARLIC: Generic Ada Reusable Library for Interpartition Communication.
A software component implementing interpartition communication for distributed Ada 95 programs. L. Pautet, Telecom Paris, Y. Kermarrec, Telecom Bretagne, S. Tardieu, Telecom Paris
First Embedded Distributed Ada 95 Application.
The Ada Embedded Computer Software Support (AECSS) system supports developers in creating distributed applications. The system has been used to develop a distributed fighter aircraft simulation. P. Rogers, SBS Engineering, M. Pitarys, United States Air Force

WE8 Architecture I - Real-time Systems

We 4:30-6:00 - Marina 3

Cost-Effective Satellite Development with Use of an Ada Microprocessor.
A real-time embedded onboard satellite attitude control system. A. Carlsson, Saab Ericsson Space AB Transitioning a Model-Based Software Engineering Architecture to Ada 95. A model based architecture is transitioned from Ada 83 to Ada 95 providing the opportunity to correct deficiencies in the initial mapping. A. Gargaro and A. S. Peterson, Software Engineering Institute
DVM: Object-Oriented Framework for Large Distributed Ada Systems.
The use of the Distributed Virtual Machine (DVM) framework for building large distributed Ada applications. V. Celier, Hughes Canada, C. Thompson, GM Hughes Electronics

TH5 Architecture II - Large Systems

Th 2:00-3:30 - Coronado

Ada 95 as a Base to Architect in O4S.
The use of Ada 95 O4S (Objects for Systems) and MIL-STD-498 to architect systems. I. Ogren, Romet AB
Implementing a Software Architecture.
Management and technical issues involved in defining a software architecture. C. Snyder, Rational Software Corporation
Ada Reuse In Application Architectures: BLSM and ITV-Mod.
The architectural definition of Base-Level Systems Modernization (BLSM) provides lessons for architecting the In-Transit Visibility Modernization (ITV-Mod) system. B. Senters, Harris Data Services Corporation

TH9 Software Line of Business

Th 4:30-6:00 - Coronado

Ada: The Cheapest Way to Build a Line of Business.
The "Line of Business" development paradigm adapts the software life cycle to match the business need for families of products. J. Sutton and B. Carre, Lockheed Aeronautical Systems Company

Object-Oriented Ada: The use of Ada in object-oriented programming, with particular focus on the new object-oriented features of Ada 95.

WE2 O-O Experience

We 11:00-12:30 - Marina 3

Panel: Experiences in Object-Oriented Programming.
This panel addresses experiences of users with the object-oriented features of Ada 95. This discussion covers expressivity, programming practices, the match with design methods, integration, and any issues related to Ada in object-oriented software development. S. Barbey, Swiss Federal Institute of Technology

WE5 Object-Oriented Programming

We 2:00-3:30 - Marina 3

Implementing the Model-View-Controller Paradigm in Ada 95.
The Model-View-Controller paradigm is common in SmallTalk programs. This paper considers its implementation in Ada 95. J. Sasine, TRW, R. Toal, Loyola Marymount University
Ada 95 as Implementation Language for Object-Oriented Designs.
Uses Fusion as an example of how Ada 95 can be used as an implementation language for object-oriented designs. S. Barbey, Swiss Federal Institute of Technology
A Survey of Object-Oriented Methodologies.
Available methodologies for object-oriented analysis, design and programming. J. Hamilton, United States Military Academy, U. Pooch, Texas A&M University

WE9 Impact of O-O

We 4:30-6:00 - Marina 2

Panel: Effects of O-O on Reuse and Maintenance.
Discussion of how the application of object-oriented programming techniques may affect the maintain-ability and reusability of the software components. J. Baldo,The MITRE Corporation

Real-time: Experience in the application of the real-time features of Ada to systems with demanding responsiveness.

WE1 Real-time I - Ada 83 Experience

We 11:00-12:30 - Marina 2

Experience Report: Real-time Avionics in Ada 83.
Design and implementation of a real-time avionics project implemented in Ada 83 and based upon a rate monotonic analysis. D. Salvasi-Patchin, Lockheed Fort Worth Company
Data Flow Coverage in the Boeing 777 Primary Flight Control Software.
A method of instrumenting Ada code to accurately capture data flow information during test runs of a flight control system. V. Santhanam et al, Boeing Product Support Division

WE6 Real-time II - Ada 95 Issues

We 2:00-3:30 - Marina 2

Implementing Ada Protected Objects - Interface Issues and Optimization.
Ada 95 protected objects provide a low-level inexpensive synchronization mechanism, but interaction with other features introduces complexity. Designs and optimizations are considered. E. Giering and T. Baker, Florida State University
A Software Design Method for Ada 95 based Concurrent and Real-Time Systems.
A method for specifying a concurrent real-time architecture in a manner that maps to Ada. R. Pettit and H. Gomaa, George Mason University
A Comparison of Ada 83 and Ada 95 Runtime Performance.
Initial results of testing and analyzing the performance of old and new real-time features of Ada 95. T. Quiggle, Silicon Graphics, Inc.

Reuse: Reusable software and how it relates to Ada.

TH2 Reuse I - Domain Engineering

Th 11:00-12:30 - Avalon

An Automated Mechanism for Effectively Applying Domain Engineering in Reuse Activities.
An automated approach for facilitating domain engineering activities by providing a domain knowledge database. M. Stropky, CACI, Inc., D. Laforme, Army Reuse Center
Product Line Reuse for Ada Systems.
How product line reuse for Ada systems can be achieved through integration of object-oriented and rule-based technologies. J. Hamilton, H. Hawley, C. Lalum, Boeing Defense & Space Group
Process Analysis: A Technique to Improve Ada-Based Development.
Examines the use of process knowledge acquisition to capture valuable domain knowledge. W. Ett, Loral Federal Systems, J. Johnson, TRW, D. Bristow, Software Engineering Institute, B. Bulat, Loral Federal Systems

TH6 Reuse II - Implementing Reuse

Th 2:00-3:30 - Avalon

Experience with Ada Reuse on Embedded Military Programs.
Results of a reuse-intensive program provide insight into areas ripe for reuse and the limitations of Ada reuse. J. Dickinson, Lockheed Martin
Software Quality Prediction for Reuse Certification.
Automated techniques including predictive quality measurements supporting efficient certification for reuse. D. Cerino, Rome Labs, W. Thomas, The MITRE Corporation
How to Win with Ada and Reuse
How reuse is applied to two Ada systems that won top honors at the Object World Conference for object-oriented resue. T.C. Pratt and L. Russell, Naval Computer and Telecomunications Station

Case Studies: Invited case studies examining four demanding Ada applications.

TU4 Case Studies I

Tu 2:00 - 3:30 - Marina 3

How JPL applied Ada in the Command and Data Engineering Subsystem on the Cassini project. A. Elson, Jet Propulsion Laboratory
Swiss Post Office Electronic Funds Transfer.
The Swiss Post Office KUKOBEZA system provides for the electronic transfer of funds. The system is implemented in Ada. A. Paterson, Paranor AG

TU5 Case Studies II

Tu 4:30 - 6:00 - Marina 3

Ada and the Evolution of Software Engineering
An emperical study of the software engineering leterature to characterize themes and trends in software engineering, notably how Ada interacts with other topics. Neal Coulter, Ira Monarch, Suresh Konda and Marvin Carri, Software Engineering Institute.
C versus Ada
The overall track record of both Ada and C language development during the life of the Verdix Corporation Steve Zeigler; Rational

Software Engineering: Information relevant to disciplined software engineering regardless of the implementation language being applied.

TH4 Industrial Needs in Computer Science Curricula

Th 11:00-12:30 - Marina 4

Panel: Computer Science Accreditation and Ada: Good for Each Other?
The panel will describe how Computer Science programs are accredited and solicit input from industry regarding criteria. M. Feldman, The George Washington University

TH8 Software Engineering Profession

Th 2:00-3:30 - Marina 4

Panel: Software Engineering as a Profession.
Trends and developments that are turning software engineering into a true profession. J. Diaz-Herrera, Software Engineering Institute
In this panel we discuss national initiatives that have direct incidence on the professionalization of the software engineer.
The Association for Computing Machinery (ACM) and the IEEE Computer Society (CS) have established a joint steering committee (ACM-CS) for the establishment of software engineering as a profession (the 37th engineering profession). Three task forces were defined to accomplish this mission:
  1. Identifying the body of knowledge and recommended practices,
  2. Addressing educational issues, and
  3. Defining standards of ethical and professional practices.
The Software Engineering Institute (SEI) mission is to provide leadership in advancing the state of the practice of software engineering. The strategy is to improve the skills of practitioners by maturing (and transitioning) software process and technology. A matured profession substantially improves professional practice and leads to higher quality products.
The intent of this panel is to bring together these three groups to present the status of their current work and to address the following questions and issues:
  1. In what sense is software engineering an engineering discipline?
  2. How can the need for preparing graduates for professional practice in software engineering be taken seriously?
  3. What does all this mean to the practicing software developer?

TH10 Software Development Standards

Th 4:30-6:00 - Marina 4

Panel: Solving Problems on Military and Commercial Projects with MIL-STD-498 and EIA IS 640/IEEE Std. 1498.
Discussion of the consequences of adopting MIL-STD-498 or its commercial counterpart for use in two-party software development contracts. L. Gray, Ada PROS, Inc.

Bindings: Direct Ada 95 access to important standard interfaces.

TU2 Bindings I

Tu 2:00 - 3:30 - Marina 2

Ada Binding for ODMG-93.
An Ada binding to the proposed object database standard ODMG-93. S. Lindsay, Phillips Laboratory, M. Roth, United States Strategic Command
Interfacing Ada to C - Solutions to Four Problems.
Dealing with four hard problems in interfacing Ada to C in a Windows binding. M. Gart, Intermetrics
Adabindgen: A Tool to Support the Generation of Ada Bindings to C and C++.
A tool automates the cumbersome aspects of generating Ada interfaces to C and C++ programs. T. Quiggle, Silicon Graphics, Inc.

TU6 Bindings II

Tu 4:30-6:00 - Marina 2

Ada 95 Bindings to OSF's Distributed Computing Environment (DCE).
A set of Ada 95 bindings to DCE permitting distributed Ada 95 programs to run on any DCE/POSIX thread-based runtime. R. Kram, Unixpros, Inc., E. Gallagher, U.S. Army CECOM
An Implementation of the DIS Standard in Ada.
An Ada implementation of the Distributed Interactive Simulation (DIS) layer permitting distributed simulations on networked computers. P. Obermayer, G. Schuer, R. Landwehr, Competence Center Informatik GmbH

Government: Initiatives in the U.S. Department of Defense to increase the usage of Ada, both inside and outside the government sector.

WE3 Dual-Use and Environment Initiatives

We 11:00-12:30 - Marina 4

Status Report on AJPO Dual-Use Initiative.
Reports on the plans and the progress of the Ada Dual-Use Initiative of the AJPO. C. Engle, Center for Software, DISA
Panel: AJPO Environment Initiatives.
A panel discussion on the availability of Ada 95 compilers, the validation suite and the evaluation suite. L. Safford, Center for Software, DISA

WE7 Partnership Initiatives

We 2:00-3:30 - Marina 4

AJPO Bindings and Tools Strategy.
A report on AJPO's plans for Ada 95 tools and bindings. G. Shupe, Ada Joint Program Office
Panel: AJPO Technology Insertion Status.
A panel provides short presentations regarding the Ada Technology Insertion Program. G. Shupe, Ada Joint Program Office

WE10 AJPO Education and Training Initiatives

We 4:30-6:00 - Marina 4

AJPO Education and Training Initiative Overview.
A report on the Ada's advancement in High Schools, Universities, Service Schools and Profession Commercial Training. J. McGarity, Ada Joint Program Office
Panel: Development and Distribution of Ada Courseware.
Panel members will discuss the various Ada courseware products being developed by more than 40 colleges under ARPA contracts. C. Lillie, SAIC/ASSET

Use of Ada: Other topics appealing to a wide range of interests regarding the use of Ada.

TU3 New Markets for Ada

Tu 2:00 - 3:30 - Marina 4

Panel: Ada in the Pacific Rim.
Discussion of emerging markets for Ada software systems in Asia and other Pacific Rim nations. R. Riehle, AdaWorks Software Engineering

TU7 Novel Uses of Ada

Tu 4:30-6:00 - Marina 4

Is Ada the language of choice for neural networks, discrete simulation, or the refinement of formal specifications?
A Reinforcement Strategy for Least Slack Scheduling using BPHT. A general approach to delayed reinforcement learning by the use of supervised training algorithms is used for task scheduling. The simulations and the neural network software are written in Ada 95. L. Asplund, Uppsala University
Refinement of Z Specifications using Reusable Components.
A method of refining formal specifications in Z into Ada using reusable software components. J. Hayward, University of Glamorgan
Distributed Simulation in Ada 95.
Ada 95 is an important enabling technology supporting object-oriented programming and distributed computing in performing discrete event simulation. J. Hamilton, Texas A&M University, D. Cook, Air Force Institute of Technology, U. Pooch, Texas A&M University

TH1 Language Choices

Th 11:00-12:30 - Coronado

Panel: Why We Don't Use Ada.
A non-dogmatic non-adversarial exploration of why and how organizations that develop software in non-Ada languages select those languages. H. Hart, TRW


Go back to the top of this page.

TRI-Ada logo. . . Home

Please email comments about this site.