SIGAda '98 Conference Papers and Presentations

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