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
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 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)
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)