Proceedings
ACM SIGAda Annual International Conference
(SIGAda'99)

October 17-21, 1999

Crowne Plaza
Redondo Beach & Marina Hotel
Redondo Beach, CA
USA

Sponsored by the ACM Special Interest Group on Ada
(SIGAda)

In cooperation with
Ada Europe
ACM SIGAPP, ACM SIGBIO, ACM SIGCAS
ACM SIGCSE, ACM SIGPLAN, ACM SIGSOFT


The Association for Computing Machinery, Inc.
1515 Broadway
New York, New York 10036

Copyrightã 1999 by the Association for Computing Machinery, Inc. (ACM). Permission to make digital or hard copies of portions 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. +1-508-750-8500, +1-508-750-4470 (fax).

Printed copies of the Proceedings (ACM ISBN 1-58113-127-5) 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: 825990


Table of Contents

These Proceedings are organized by track. The schedule of presentations for each track was taken from the Advanced Program. Please refer to the Final Program to verify times and dates of tracks; some scheduling changes may have occurred after these Proceedings were published.

Tuesday, October 19, 1999


Plenary Session

Keynote Address: Architectural Patterns for Complex Real-Time Systems
Bran Selic (ObjecTime)
1

Distributed Systems Issues - 1

Redistribution in Distributed Ada Scott James (Management Communications & Control Inc.) 3
Interfacing Ada95 to Microsoft COM and DCOM Technologies David Botton (Interactive Intelligence, Inc.) 9

Software Engineering - 1

A Formal Model of the Ada Ravenscar Tasking Profile: Delay Until Kristina Lundqvist & Lars Asplund (Uppsala University) 15
Verification of Requirements For Safety-Critical Software Paul B. Carpenter (Aonix) 23

Distributed Systems Issues - 2

CORBA and CORBA Services for DSA Laurent Pautet, Thomas Quinot, Samuel Tardieu, Fabien Azavant, Jean-Marie Cottin, Laurent Kubler, Vincent Niebel, Sébastien Ponce (École Nationale Supérieure des Télécommunations) 31
CORBA vs. Ada 95 DSA : A Programmer's View Yvon Kermarrec (ENST Bretagne) 39

Software Engineering - 2

A Truly Implementation Independent GUI Development Tool Martin C. Carlisle (United States Air Force Academy) 47
Transitioning an Asis Application: Version 1 to Ada95 2.0 Joseph Wisniewski (Commercial Software Solutions, Ltd.) 53
Code Analysis of Safety-Critical and Real-Time Software Using ASIS Currie Colket (The Mitre Corp.) 67

Distributed Systems Issues - 3

What Future for the Distributed Systems Annex? Laurent Pautet, Samuel Tardieu (École Nationale Supérieure des Télécommunations) 77
Applying Ada, Java, and CORBA for Making a Command and Control Information System Platform Independent Gerhard Bühler , Heinz Faßbender (Research Establishment for Applied Sciences; Research Institute for Communication, Information Processing, and Ergonomics) 83

Software Engineering - 3

Ada Conformity Assessments: A Model for Other Programming Languages? Michael Tonndorf (IABG) 89
Reducing Maintenance Costs Through the Application of Modern Software Architecture Principles Christine Hulse, Scott Edgerton (United Defense, LP), Michael Ubnoske (Architecture Technology), Louis Vazquez (Department of the Army) 101

Wednesday, October 20, 1999


Plenary Session

Keynote Address: Ada, Model Railroading, & Real-Time Software Engineering Education
John McCormick (University of Northern Iowa)
111

Real Time/Embedded Systems Issues - 1

Building Tcl-Tk GUIs for HRT-HOOD Systems Juan Carlos Díaz Martín, Isidro Irala Veloso, José Manuel Rodríguez García (Departamento de Informática, Universidad de Extremadura) 113
Extending Ada to Assist Multiprocessor Embedded Development Tony Lowe 125
Interfacing Low-level C Device Drivers with Ada 95 Steven Doran (Litton Guidance & Control Systems) 133

Education

Experiences Using Ada in a Real-time and Distributed Laboratory Patricia Balbastre, Silvia Terrasa, Joan Vila, Alfons Crespo (Universidad Politécnica de Valencia) 145
Ada+SQL - An Overview Arthur Vargas Lopes (Universidade Luterana do Brasil) 157
Integrating a Software Engineering Approach into an Ada Closed Laboratory Ming Wang (Embry-Riddle Aeronautical University) 163

Real Time/Embedded Systems Issues - 2

Optimizing Ada On The Fly Sheri J. Bernstein, Robert A. Duff (AverStar) 169
The Role of Distributed, Real-Time Ada & C++ on the Airborne Surveillance Testbed (AST) Program Henry A. Lortz, Timothy A. Tibbetts (Boeing Space & Communications Group) 181
Pinching Pennies While Losing Dollars - Efficiency Tradeoffs in Ada Tony Lowe 183

Graphical & Theoretical Approaches to Real-Time & Distribution

Scheduling Problems for Parallel and Distributed Systems Olga Rusanova, Alexandr Korochkin (National Technical University of Ukraine -Kiev Polytechnical) 195
Towards a Distributed Object-Oriented Propagation Model Using Ada95 Donald M. Needham, Steven A. Demurjian, Sr., Thomas J. Peters (United States Naval Academy) 203
Formal Modeling of Synchronization Methods for Concurrent Objects in Ada 95 Ravi K. Gedela, Sol M. Shatz, Haiping Xu (Univ. of Illinois at Chicago) 211

Plenary Session

Attitudes to Ada in the UK High-Reliability Software Sector
Ian Gilchrist (IPL Information Processing Ltd)
221
Invited Presentation: The Current State of CORBA
Brad Balfour (Objective Interfaces Systems)
223

Thursday, October 21, 1999


Plenary Session

Panel: What Happened to Integrated Environments?
225
Moderator: Hal Hart (TRW)
Panelists: Barry Boehm, (USC); S. Tucker Taft, (Averstar); Tony Wasserman, (Software Methods and Tools)

Plenary Session

Keynote Address: Predicting the Future of Computer Systems and Software Engineering
Barry Boehm, (University of Southern California)
227

Appendix


Invited Paper

Attitudes to Ada in the UK High-Reliability Software Sector
Ian Gilchrist (IPL Information Processing Ltd)
229

Welcome from the SIGAda, Conference, and Program Committee Chairs

Welcome to ACM SIGAda's 1999 Annual International Conference -- the yearly "meeting place" of the Ada community! We offer you a conference featuring a top-quality technical program focused on important strengths of Ada: distributed, real-time, and embedded systems. The visions of these systems reflected in Ada's original requirements in the 1970's have expanded in almost unimagineable ways with continuing breakthroughs in the hardware arena, coupled with steady advances in network, communications and other technologies. As software challenges remain dominant in these domains with rapid hardware advances, Ada's track record of reliability, efficiency, robustness and all-around success is unparalleled at solving these real-time and/or distributed system challenges. High-speed ground transportation systems all over the world, most modern jetliner avionics, satellite systems, and battle automation use Ada and power important parts of the world's economies and defenses. Two days of technical papers, keynotes, and invited presentations will report how these successes are achieved and where remaining issues are leading.

To complement technical papers and keynote talks focused on these themes, parallel-track sessions on other important Ada software engineering and education topics are also offered at SIGAda'99. Yet, with few exceptions, these topics directly or indirectly interact with theme topics. Thus, we hope you will find the entire technical program enticing whether or not you are currently working in distributed and/or real-time embedded domains.

Beyond the formal conference of selected papers and presentations, SIGAda'99 offers workshops and tutorials with the same duality of on-theme and complementary topics. SIGAda's workshops provide full- or half-days for those working the same issues to share with each other and leverage everyone's accomplishments; workshop products are "delivered" to the community. The broad offerings of career-enhancing tutorials include basic Ada 95 introductions for software engineers new to Ada, intermediate and advanced Ada topics for practitioners striving to expand their Ada expertise, and several language-independent technology topics which are nevertheless often coupled with Ada technology because they mutually support the disciplined development and evolution of serious, high quality software systems.

Finally, we hope SIGAda'99 provides you an outstanding opportunity for rewarding affiliation with colleagues in industry, academia, and government -- discussions "in the hall," informal meal-time meetings, and even during the more relaxed moments we make for socializing and at the nearby Redondo Beach and Pier attractions. If you don't realize it already, you will learn that these associations can be as valuable as the technical program at professional conferences, and often extend the experience after you return home.

We take this opportunity to thank our early Corporate Sponsors, TRW, Green Hills Software, Ada Core Technologies, and Aonix, for their generous support for SIGAda'99.

SIGAda Chair
Ben Brosgol
Aonix
(brosgol@aonix.com)

General Chair
Hal Hart
TRW
(Hal.Hart@ACM.Org)

Program Co-Chair
Tucker Taft
AverStar
(stt@averstar.com)

Program Co-Chair
Franco Gasperoni
Ada Core Technologies & ACT-Europe
(gasperon@gnat.com)


Conference Officers

Hal Hart, General Chair,
TRW (Hal.Hart@acm.org) +1-310-764-6880

Tucker Taft, Program Committee Co-Chair,
AverStar (stt@inmet.com)

Franco Gasperoni, Program Committee Co-Chair,
Ada Core Technologies & ACT-Europe (gasperon@gnat.com)

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

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

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

David Harrison, Publicity Chair,
NCI Information Systems (dharrison@acm.org)

William Thomas, Publicity Co-Chair,
MITRE (bthomas@mitre.org)

Ed Colbert, Conference Treasurer,
Absolute Software (colbert@abssw.com)

Clyde Roby, Proceedings Editor,
Institute for Defense Analyses (roby@IDA.org)

Judy Kerner, Workshops Co-Chair,
The Aerospace Corporation (Judy.Kerner@aero.org),

Frank Belz, Workshops Co-Chair,
TRW (Frank.Belz@TRW.com),

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

A. Winsor Brown, Local Arrangements Chair,
USC (AW.Brown@sunset.usc.edu)

Ed "Madman" Manderfield, Local Arrangements Co-Chair,
Los Angeles SIGAda Chair (Ed.Manderfield@ACM.ORG)


Program Committee


Elizabeth Adams, Richard Stockton College
Victor Albertini, L3 CSW, Salt Lake City
John Apa, L3 CSW, Salt Lake City
Ted Baker, Florida State University
Brad Balfour, Objective Interface Systems
Stephane Barbey, Paranor AG, Switzerland
Shan Barkataki, California State University, Northridge
Andy Burns, Univ. of York
David Cook, C.S. Draper Laboratory
James Cross, Auburn University
Jerry van Dijk, Ordina Finance BV
Gary Dismukes, ACT
Anthony Gargaro, CSC
Maretta Holden, Boeing
Bjorn Kaellberg, CelsiusTech Systems
Mike Kamrad, Top Layer
Judy Kerner, Aerospace Corporation
Robert Leif, AdaMed
John McCormick, University of Northern Iowa
Scott Moody, Intermind
Allen Parrish, University of Alabama
Laurent Pautet, ENST
Jean-Pierre Rosen, Adalog
Edmond Schonberg, Ada Core Technologies and New York University
Jag Sodhi, US Army
William Thomas, MITRE
Debora Weber-Wulff, Technische Fachhochschule Berlin
John Woodruff, Lawrence Livermore
Anna Yu, North Carolina A&T University