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
Related program sessions are generally packaged for easy single
- Ada 95
- Object-Oriented Ada
- Real-time Systems
- Case Studies
- Software Engineering
- Use of Ada
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.
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
- Development steps and issues encountered during the development
of Ada interfaces to C peripheral device support libraries. S.
Kapur, Intel Corporation
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
Th 4:30-6:00 - Avalon
- Using Ada 95 in Embedded Real-time
- 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.
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
- 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
- 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
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
- The use of the Distributed Virtual Machine (DVM) framework
for building large distributed Ada applications. V. Celier,
Hughes Canada, C. Thompson, GM Hughes Electronics
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
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
We 11:00-12:30 - Marina 3
- Panel: Experiences in Object-Oriented
- 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
- Brad Balfour, CACI, Inc.-FEDERAL
- Bill Beckwith, Objective Interface Systems
- Dave Weller, Hughes Training, Inc.
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
- 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
We 4:30-6:00 - Marina 2
- Panel: Effects of O-O on Reuse and
- 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
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
- 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
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
- A Comparison of Ada 83 and Ada 95 Runtime
- Initial results of testing and analyzing the performance of
old and new real-time features of Ada 95. T. Quiggle, Silicon
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
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,
- 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
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,
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
Neal Coulter, Ira Monarch, Suresh Konda and Marvin Carri, Software
- C versus Ada
- The overall track record of both Ada and C language development during the
life of the Verdix Corporation
Steve Zeigler; Rational
Th 11:00-12:30 - Marina 4
- Panel: Computer Science Accreditation and Ada: Good for Each
- The panel will describe how Computer Science programs are
accredited and solicit input from industry regarding criteria.
M. Feldman, The George Washington University
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
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:
- Identifying the body of knowledge and recommended practices,
- Addressing educational issues, and
- 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:
- In what sense is software engineering an engineering discipline?
- What are the inhibitors?
- How does it impact US competitiveness?
- In what way is this affected by government regulations?
- How can the need for preparing graduates for professional
practice in software engineering be taken seriously?
- Should software engineering degrees be developed?
- Where Should they be housed, in the engineering school, the
business school, the sciences?
- Should traditional computing education be reformed to accommodate
for software engineering? Are these changes necessary anyway?
- What does all this mean to the practicing software developer?
- What mechanisms should the relevant engineering professional
society put into place to recognize and certify software engineers?
- Are there any lessons learned from other engineering disciplines?
- How can the gap between industrial state-of the-practice and
the state-of-the-art be narrowed? (How mature is the profession?)
- Are there clear definitions and criteria against which to
measure or evaluate their capabilities?
- Carl Clavadetscher, Information Resources Management College,
National Defense University
- Neal Coulter, Department of Computer Science and Engineering,
Florida Atlantic University
- Larry Druffel, Director, Software Engineering Institute
- Iraj Hirmanpour, Chairman, Aviation Computer Science Department,
Embry-Riddle Aeronautical University
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.
- 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.
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
- 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,
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
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
- Phil Brashear, CTA Incorporated
- O. Cole, OC Systems
- R. Dewar, NYU
- N. Weiderman, SEI
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
- W. Loftus, WPL Laboratories
- M. Schumate, NCTAMS-LANT
- C. D. Colonel, INEL
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
- M. Feldman, The George Washington University
- F. Van Scoy, West Virginia University
- J. Beider, University of Scranton
- B. Malloy, Clemson University
Use of Ada: Other topics appealing to a wide range of interests
regarding the use of 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
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 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
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
- M. S. Johnson, Sun Microsystems
- F. Belz, TRW
- D. Redmiles, University of California at Irvine
- S. Wong, Independent Consultant
EARLY CONFERENCE REGISTRATION - OCTOBER 10, 1995
EARLY HOTEL REGISTRATION ENDS October 10, 1995
Go back to the top of this page.
. . . Home
Please email comments
about this site.