Papers and Presentations

 ACM SIGAda Annual International Conference (SIGAda '98)

(formerly TriAda)

 November 8-12, 1998

Omni Shoreham Hotel

Washington, DC

USA

Sponsored by the ACM Special Interest Group on Ada (SIGAda), in cooperation SIGAPP, SIGBIO, SIGCAS, SIGCSE, SIGPLAN, SIGSOFT, DC SIGAda, Baltimore SIGAda, and Ada-Europe

The Association for Computing Machinery, Inc.

1515 Broadway

New York, New York 10036

Copyrightã 1998 by the Association for Computing Machinery, Inc. (ACM). Permission to make digital or paper copies of part or all of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others that ACM must be honored. Abstracting with credit is permitted. To copy otherwise, to republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permission to republish from: Publication Dept., ACM, Inc. Fax +1-212-869-0481 or Email <permissions@acm.org>. For other copying of articles that carry a code at the bottom of the first or last page or screen display, copying is permitted provided that the per-copy fee indicated in the code is paid through the Copyright Clearance Center, 222 Rosewood Drive, Danvers, MA 01923.

Printed copies of the Proceedings (ISBN 1-58113-033-3) may be ordered prepaid from:

ACM Order Department
PO Box 12114
Church Street Station
New York, NY 10257

Phone: 1/800-342-6626 (USA and Canada)
1/212-626-0500 (All other Countries)
Fax: 1/212-944-1318
Email: acmpubs@acm.org

ACM European Service Centre
108 Crowley Road
Oxford OX 4 1JF
UK

Phone: +44-1-865-382338
Fax: +44-1-865-3813338
Email: acm_europe@acm.org
URL: http://www.acm.org

ACM Order Number: 825980

Table of Contents

Keynote and Invited Presentations
How Can We Trust Software-Based Safety-Critical Systems?	George Romanski, Aonix
Ada Is Alive and Well in Air Traffic Management	Judith Klein, Lockheed-Martin
Why Don't Those Dunderheads Agree with Us?	Dennis Frailey, Raytheon and Southern Methodist University
The Real Ada in Context Works	Betty Alexandra Toole, author, Ada, Enchantress of Numbers
Embedding Ada in the 21st Century	Franco Gasperoni, ENST and Ada Core Technologies
Boeing's Open System Architecture and Ada - A Program Perspective	Kevin Wooley, Boeing

Workshop Reports
Appication of Software Design Patterns and Idioms	Shan Barkataki and Pat Dousette, organizers
Ada Semantic Inteface Specification (ASIS): Where Do We Go from Here?	W. Currie Colket, organizer
How Do We Expedite the Commercial Use of Ada?	Robert Leif, organizer

Papers: High Integrity Software
The Ravenscar Tasking Profile for High Integrity Real-Time Programs	Brian Dobbing, Aonix-Europe Ltd Alan Burns, University of York
Looking into Safety with the Safety and Security Rapporteur Group	Stephen Michell, Maurya Software, Inc Mark Saaltink, ORA Canada Brian Wichmann, National Physical Laboratories
An ASIS-Based Static Analysis Tool for High Integrity Systems	William W. Pritchett IV, DCS Corporation John D. Riley, DCS Corporation
Papers: Language Issues I
Hardware/Software Co-design: VHDL and Ada 95 Code Migration and Integrated Analysis	Mike Mills, Air Force Research Lab Greg Peterson, Air Force Research Lab
Kernel Ada to Unify Hardware and Software Design	Sy Wong, Adaware Gertrude Levine, Fairleigh Dickinson University
The Rendezvous is Dead -- Long Live the Protected Object	Dragan Macos, Humboldt-Universität zu Berlin Frank Mueller, Humboldt-Universität zu Berlin
Papers: Distributed Systems
The Evolution of a Distributed Dataflow Processing Model using Ada	Scott James, Management Communications and Control, Inc
Building Fault Tolerant Distributed Systems Using IP Multicast	Samuel Tardieu, École Nationale Supérieure des Télécommunications Laurent Pautet, , École Nationale Supérieure des Télécommunications
Multi-u: an Ada 95 Based Architecture for Fault Tolerant Support of Real-Time Systems	Luís Miguel Pinho, Polytechnic Institute of Porto Francisco Vasques, University of Porto

Papers: University Education
Using Ada in Non-CS Majors	A.T. Chamillard, U.S Air Force Academy Ronald J. Lisowski, U.S. Air Force Academy Richard R. Young, U.S. Air Force Academy
An Empirical Study of Web-based Algorithm Animation Courseware in an Ada Data Structure Course	Duane J. Jarc, The George Washington University Michael B. Feldman, The George Washington University
A Comparison of Ada and Pascal in an Introductory Computer Science Course	Major Jeanne L. Murtagh, USAF, Air Force Institute of Technology Lt. Col. John A. Hamilton, Jr., US Army, United States Military Academy
Papers: Reuse
A Reusable Lightweight Executive for Command and Control Systems	Nathan Fleener, Boeing Phantom Works Laura Moody, Boeing Phantom Works Mary Stewart, Boeing Phantom Works
Reusable Ada Libraries Supporting Infinite Data Structures	Arthur G. Duncan, Rensselaer Polytechnic Institute
Papers: Ada In Scientific Applications
Implementing a Culling and Self-Intersection Algorithm for Stereolithography Files in Ada 95	John A. Reisner, University of Connecticut Zeenat Lainwala, Avid Technology, Inc. Thomas J. Peters, University of Connecticut Steven Demurjian, Sr., University of Connecticut
Ada in Embedded Boards for Scientific and Medical Instruments	Robert C. Leif, Ada_Med, a Division of Newport Instruments Suzanne B. Leif, Ada_Med, a Division of Newport Instruments
A Large Distributed Control System Using Ada in Fusion Research	John P. Woodruff, Lawrence Livermore National Laboratory Paul J. Van Arsdall, Lawrence Livermore Laboratory
Papers: Experience Reports I
Ada in an On-Board Military Communication System	Victor D. Albertini, L-3 Communications Craig J. Berrett, Iomega
Use of Ada in Digital Radar Landmass Simulation	Jim Hopper, Science Applications International Corp. Harry Heaton, Science Applications International Corp. Jennifer DeBilbiss, Science Applications International Corp. Tom Haberlandt, , Science Applications International Corp.
Usage of Ada in the Gripen Flight Control System	Bo Frisberg, Saab AB
Reengineering A Legacy System Using Design Patterns and Ada 95 Object-Oriented Features	Shan Barkataki, California State University and Litton Data Systems Stu Harte, Litton Data Systems Long Dinh, Litton Data Systems

Papers: Development Tools
Visual Support for Incremental Abstraction and Refinement in Ada 95	T. Dean Hendrix, Auburn University James H. Cross II, Auburn University Larry A. Barowski, Auburn University Karl S. Mathias, Auburn University
RAPID: A Free, Portable GUI Design Tool	Martin C. Carlisle, U.S. Air Force Academy Patrick Maes, U.S. Air Force Academy
An Application Engineering Workbench for Tailoring Ada Flight Components	Ross H. Wainwright, Air Force Research Laboratory
Papers: The Ada-Java Connection
A Comparison of the Concurrency Features of Ada 95 and Java	Benjamin M. Brosgol, Aonix
Using Java™ APIs with Native Ada Compilers	Shayne Flint, Ainslie Software Pty Limited
A Portable Implementation of the Distributed Systems Annex in Java	Yoav Tzruya, Tel-Aviv University Mirdechai Ben-Ari, Weizmann Institute of Science
Papers: Experience Reports II
Command and Control using World Wide Web Technology	Patricia J. Dousette, Litton Data Systems Ari Danesh, Litton Data Systems Matthew Jones, Litton Data Systems
Ada Experience Report for BlazeNet, Inc.	Mike Kamrad, BlazeNet
Algorithm Animation with Symbol Processing Robots	Bard S. Crawford, Stage Harbor Software
The Personal Software Process (PSP)sm with Ada	David Silberberg, US Department of Defense

Papers: Language Issues II
Extensible Protected Types in Ada-EPT	O.P. Kiddle, University of York A.J. Wellings, University of York
Transforming Ada Serving Tasks Into Protected Objects	Bangqing Li, Southeast University Baowen Xu, Southeast University Huiming Yu, North Carolina State University
Object-Oriented and Concurrent Program Design Issues in Ada 95	Stephen H. Kaisler, United States Senate Michael B. Feldman, The George Washington University
Papers: Testing and Analysis
Testing Generic Ada Packages with APE	Daniel Hoffman, University of Victoria Jayakrishnan Nair, University of Victoria Paul Strooper, University of Queensland
Dependency Analysis of Ada Programs	Janusz Laski, SofTools, Inc. William Stanely, SofTools, Inc. Jim Hurst, SofTools, Inc.
A Specific and Code Generation Tool for Message Translation and Validation	Charles Plinta, Accel Software Engineering Richard D’Ippolito, Accel Software Engineering Roger Van Scoy, TTFN Software Inc.

Message from the Conference Chairs

We welcome you to participate in ACM SIGAda's annual international conference on Ada Technology, SIGAda '98, in Washington DC, November 8-12, 1998. As the successor to the TRI-Ada conference and Exposition, SIGAda '98 will be this year's largest Ada-focused conference, and continues TRI-Ada's tradition as the meeting place for practitioners, educators and researchers interested in Ada technology.

Ada's proven track record and its full support for object-oriented design and programming makes it a viable language for a diverse number of applications. The installed base of Ada software continues to grow, and this growth is coming in a variety of domains.

It is well known that Ada is the preferred language for high-integrity software-based systems, including aerospace, commercial aviation, and military systems. Less heavily publicized is the significant degree to which Ada is being adopted in ground transportation, financial, medical and internet applications.

The theme of this year's conference, "Ada in Context," focuses on the expanding application of Ada in software development, highlighting that Ada is alive and well in all these contexts. Ada's well estabished support for sound software engineering also makes it an ideal language for introducing software engineering at undergraduate and graduate levels, and as such is of increasing interest to academia.

The conference includes tutorials, technical papers, experience reports, panels, and workshops on a wide range of topics, providing a wealth of information of interest to the Ada community. We look forward to your joining us this November in Washington DC for SIGAda '98!

General Co-Chair,
Ed Seidewitz,
DHR Technologies
(seidewitz@acm.org)

General Co-Chair,
William Thomas, Ph.D.
MITRE
(bthomas@mitre.org)

Program Chair
Michael Feldman, Ph.D.
The George Washington University
(mfeldman@seas.gwu.edu)

Conference Officers

Ed Seidewitz, General Co-Chair
DHR Technologies (seidewitz@acm.org)

Bill Thomas, General Co-Chair
MITRE (bthomas@mitre.org)

Michael Feldman, Program Chair
The George Washington University (mfeldman@seas.gwu.edu)

Ben Brosgol, Exhibits Chair\
Aonix (brosgol@aonix.com)

Currie Colket, SIGAda Vice Chair for Meetings and Conferences
(colket@acm.org)

David Cook, Tutorial Chair
C.S. Draper Laboratory (cookd@software.hill.af.mil)

David Harrison, Publicity Chair
Interim Services Inc. (dharrison@acm.org)

Alok Srivastava, Workshops Chair
TRW (alok.srivastava@trw.com)

Hal Hart, Conference Treasurer
TRW (Hal.Hart@acm.org)

Thomas A. Panfil, Registration Chair
US Department of Defense (Thomas_A_Panfil@acm.org)

Ronald Price, Local Arrangements Chair
McDonald Bradley (pricer@fairfax-emh1.army.mil)

Susan Carlson, Proceedings Chair
IIT Research Institute (scarlson@iitri.org)

Heather Levell, ACM Program Director
ACM (levell@acm.org)

Program Committee

Elizabeth Adams, Richard Stockton College
Ted Baker, Florida State University
Brad Balfour, Objective Interface Systems
Stephane Barbey, Paranor AG, Switzerland
Shan Barkataki, California State University at Northridge
John Beidler, University of Scranton
Jim Briggs, University of Portsmouth
Deborah Cerino, Rome Laboratory
Norman Cohen, IBM Thomas J. Watson Research Center
David Cook, C.S. Draper Laboratory
James Cross, Auburn University
Dennis Frailey, Raytheon and Southern Methodist University
Maretta Holden, Boeing
James Hopper, SAIC
Judy Kerner, Aerospace Corporation
Robert Leif, AdaMed
Karlotto Mangold, ATM Computer GmbH
John McCormick, University of Northern Iowa
Allen Parrish, University of Alabama
Erhard Ploedereder, University of Stuttgart
Jean-Pierre Rosen, Adalog
Edmond Schonberg, Ada Core Technologies and New York University
Jag Sodhi, US Army
Alok Srivastava, TRW
Alfred Strohmeier, University of Lausanne
S. Tucker Taft, Intermetrics
Joyce L. Tokar, DDC-I
Frances van Scoy, West Virginia University
Jerry van Dijk, Ordina Finance BV
Debora Weber-Wulff, Technische Fachhochschule Berlin
David Wood, Aonix
Anna Yu, North Carolina A&T University