Proceedings
ACM SIGAda Annual International Conference
(SIGAda 2001)

September 30 - October 4, 2001

Twin Cities
Best Western The Thunderbird Hotel & Convention Center
Bloomington, MN
USA

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

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

Hosted by Twin Cities SIGAda Chapter


Tuesday Technical Sessions | Wednesday Technical Sessions | Thursday Technical Sessions

Table of Contents

These Proceedings are organized by track. The schedule of presentations for each track was taken from the Final Program. Most of the presentations are included here as Microsoft's PowerPoint Show (.pps) files; exceptions are noted when they occur.

All of the Conference Papers are in Adobe's Portable Document Format (PDF) file format. They are as close as possible to the papers that appear in the hardcopy SIGAda 2001 Conference Proceedings; they even contain the same page numbers where they appear in the Proceedings document. There were a couple of cancellations due to the September 11 event; the papers are still included here, however, and names and authors are indicated by red text.


Tuesday, October 2, 2001

Opening Plenary Session

Welcome
Paul Stachour, General Chair
Introduction of Conference Officers and SIGAda Officers
Currie Colket, SIGAda Chair
(PowerPoint Show)

Keynote Address

Experience Report: Architecture-based Software Development on the Crusader Program
(Experience Report) (PowerPoint Show, 9.6 MBytes)
Scott Edgerton (United Defense, L.P.)

Plenary Track

A Language for Systems not Just Software
(Paper) (PowerPoint Show)
Peter Amey (Praxis Critical Systems)

Logic vs. Magic
(Paper available via link on www.sparkada.com) (PowerPoint File, 2.2 MBytes)
Peter Amey (Praxis Critical Systems)

  Real-Time Convergence of Ada and Java
(Paper)
Ben Brosgol (Ada Core Technologies) & Brian Dobbing (Praxis Critical Systems)

Parallel Tracks - Track 1

Ada 95 Bindings for the NCSA Hierarchical Data Format (Paper) (PowerPoint Show) Bruce Barkstrom (NASA Langley Research Center)
Automating Software Module Testing for FAA Certification (Paper) (PowerPoint Show) Usha Santhanam (Boeing)

Parallel Tracks - Track 2

  Implementing a Product-Line Based Architecture in Ada (Paper) (PowerPoint Show) Joel Sherrill, Jennifer Averett, & Glenn Humphrey (On-Line Applications Research Corporation)
  Ship System 2000, a Stable Architecture under Continuous Evolution (Paper) (PowerPoint Show, 4.2 MBytes) Björn Källberg & Rei Stråhle (SaabTech Systems)
(also copyright Springer-Verlag, publisher of Reliable Software Technologies -- Ada Europe 2001, Edited by D. Craeynest and A. Strohmeier, "Ship System 2000, a Stable Architecture under Continuous Evolution", LNCS 2043, p.371 ff.)

Plenary Track

Reengineering an Ada95-programmed Command and Control Information System by Using UML
(Paper) (PowerPoint Show)
Heinz Faßbender (Research Institute for Communication, Information Processing, and Ergonomics)

  Electronic Maneuvering Board and Dead Reckoning Tracer Decision Aid for the Officer of the Deck
(Paper) (PowerPoint Show)
Kenneth L. Ehresman & Joey L. Frantzen (U.S. Navy)

Wednesday, October 3, 2001

Plenary Session

SIGAda Awards - Hal Hart

Keynote Address

Confessions of an Academic Ada Zealot
(Keynote Address Introduction) (PowerPoint Show)
Martin Carlisle (United States Air Force Academy)

Parallel Tracks - Track 1

  Teaching Computer Science with Robotics Using Ada/Mindstorms 2.0 (Paper) (PowerPoint Show, presented by Martin Carlisle) Barry S. Fagin, Laurence D. Merkle, & Thomas W. Eggers (U.S. Air Force Academy)
Using Ada 95 in a Compiler Course (Paper) (PowerPoint Show) S. Tucker Taft (AverCom Corporation, a Titan company)

Parallel Tracks - Track 2

  Beyond ASIS: Program Data Bases and Tool-Oriented Queries (Paper) (Presentation [.wpd file] [.doc file]) Janusz Laski (SofTools, Inc.), William Stanley (Oakland University), & Pawel Podgorski (WorldClass Technology)
Targeting Ada95/DSA for Distributed Simulation of Multi-protocol Communication Networks (Paper) (PowerPoint Show) Dhavy Gantsou (University of Valenciennes)

Keynote Address

Fixing Software Before It Breaks
(Keynote Address Introduction) (PowerPoint Show)
S. Tucker Taft (AverCom Corporation, a Titan company)

Parallel Tracks - Track 1

  Dynamic Analysis for Locating Product Features in Ada Code (Paper) (PowerPoint Show) Laura J. White & Norman Wilde (University of West Florida)
  Detecting Concurrently Executed Pairs of Statements using an Adapted MHP Algorithm (Paper) Zhenqiang Chen (Southeast University), Baowen Xu (Southeast University), & Huiming Yu (North Carolina A&T State University

Parallel Tracks - Track 2

  Vetronics Technology Testbed: Experience Report (Experience Report) William W. Pritchett & Brian Wood (DCS Corporation)
An Object-Oriented Metrics Suite for Ada 95 (Paper) William W. Pritchett (DCS Corporation)

Thursday, November 16, 2000

  Panel: Ada Experiences

(Panel Description) (PowerPoint Show)
Chair: Panelists:
John McCormick, University of Northern Iowa Robert Lockwood, Alliant TechSystems
Bill Rusinak, Lockheed-Martin
David Glessner, Rockwell-Collins (avionics projects)
Elizabeth Theesfeld, Honeywell

  Panel: The Making of ISO/IEC 8652: Ada 2005

(Panel Description) (PowerPoint Show)
Chair: Panelists:
Erhard Ploedereder, University of Stuttgart (President of Ada-Europe and Past Chair of WG9 ARG) Randy Brukardt, RR Software (WG9 ARG Editor) (PowerPoint Show)
Alan Burns, University of York (Chair of WG9 HRG) (PowerPoint Show)
Pascal Leroy, Rational Software Corporation (Chair of WG9 ARG)
James Moore, The MITRE Corporation (Chair of WG9) (PowerPoint Show)
S. Tucker Taft, AverCom Corporation - a Titan company (Chief Designer of Ada95) (PowerPoint Show)

Welcome to SIGAda 2001 from the
SIGAda, Conference, and Program Committee Chairs

Welcome to ACM SIGAda’s 2001 Annual International Conference - the yearly “meeting place” of the Ada community! We welcome you back to Minnesota, where much of the original Ada work took place. The GREEN language which became Ada was a product of Honeywell. One of the first Ada compilers was built by an group in Control Data (now part of General Dynamics) and important language design work was done by Sperry-Univac (now part of Lockheed-Martin). The current Crusadar (UDLP) and RAAF (Lockheed-Martin) projects continue to show how Ada can be used effectively and efficiently to build high-quality systems.

As we move into the 21st century, Ada continues unparalleled in the areas of distributed, real-time, and embedded systems. Where correctness, reliability, and robustness are a concern, Ada’s track record of an all-around success is unparalleled. At a time when authorities such as Capers Jones indicate that the biggest gain in effectiveness and efficiency comes from the reuse of high-quality deliverables (and biggest loss from the reuse of low-quality deliverables), Ada’s concepts of interface and implementation separation, generics, and packaging take increased interest from the software development community. For example, the Java generics proposal echos that of Ada83; we know that Ada has almost a 20-year lead in these areas only now being recognized as issues by other languages. And the Ada95 fully implemented distributed-concurrency on top of concurrent objects clearly tops other solutions, as shown by Per Brinch Hansen’s 1999 SIGPlan arcticle on Java’s insecure parallelism.

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 1970s have expanded in almost unimagineable ways with Ada95 implementations, and continue to be objects of envy by those in the programming language community who understand what the strengths of a language brings to implementors in terms of efficiency, reliability, and effectiveness. Software challenges remain dominant in these domains with rapid hardware advances. Most other languages fail to meet the needs identified as far back as the 1976 Steelman, being able at best to do only ¾ of the needed function while Ada performs over 95%. Ada’s track record of reliability, efficiency, robustness and all-around success is unparalleled at solving 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 2001. 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 2001 offers workshops and tutorials with the same duality of on-theme and complementary topics. SIGAda’s tutorials and 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 such as proving programs correct. These topies are often coupled with Ada technology because only Ada’s full and complete definition allows one to indicate what is expected, and to show that it can be achieved. Join us in understanding how these topics mutually support the disciplined development and evolution of serious, high quality software systems.

Finally, we hope SIGAda 2001 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 Mall of America 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, Ada Core Technologies, and TopGraphX, for their generous support for SIGAda 2001.

SIGAda Chair
Currie Colket
The MITRE Corporation
(Colket@ACM.Org)

General Chair
Paul Stachour
Stachour Software
(Paul.Stachour@Stachour.Com)

Program Chair
John McCormick
University of Northern Iowa
(McCormick@CS.UNI.Edu)


Conference Committee

Paul Stachour, General Chair
Stachour Software (Paul.Stachour@Stachour.Com) +1 952-884-5977

Jan McArthur, Deputy Chair
Parallel Technologies, Inc. (JMcArthur@PTNet.Com)

John McCormick, Program Chair
University of Northern Iowa (McCormick@CS.UNI.Edu)

Thomas A. Panfil, Registration Chair
US Department of Defense (Thomas_A_Panfil@ACM.Org | TAPanfil@IEEE.Org)

Ron Price, Local Arrangements Co-Chair (Registration)
United Defense (Rprice9979@AOL.Com)

Hal Hart, Exhibits Co-Chair
TRW (Hal.Hart@ACM.Org)

Wayne Kopesky, Exhibits Co-Chair (Local)
Sysdyne (WKopesky@HotMail.Com)

Wayne Donaho, Conference Treasurer
Donaho & Donaho Web Designers (Wayne@Donaho.Com)

David Harrison, Webmaster
Logicon Technology Solutions (Dharrison@Logicon.Com)

Mark Glewwe, Publicity Chair
B.F. Goodrich Aerospace (M.Glewwe@ACM.Org)

David Cook, Tutorials Chair
C.S. Draper Laboratory (David.Cook@Hill.AF.Mil)

James E. Hassett, Workshops Chair
Lockheed-Martin (Hassett@ACM.Org)

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

Peter Hilpisch, Local Arrangements Co-Chair (Hotel Arrangements)
Honeywell, Inc. (Peter.Hilpisch@Honeywell.Com)

Bruce White, Local Publicity Chair
University of St. Thomas (broncowhite@worldnet.att.net)

Ben Brosgol, Past SIGAda Chair
Ada Core Technologies (Brosgol@GNAT.Com)

Mike Feldman, Education Working Group Chair
George Washington University (MFeldman@Seas.GWU.Edu)

David Harrison, SIGAda Vice Chair for Meetings and Conferences
Logicon Technology Solutions (Dharrison@Logicon.Com)

Currie Colket, SIGAda Chair
The MITRE Corporation (Colket@ACM.Org)

Irene Frawley, ACM Program Coordinator for SIGAda
ACM (Frawley@ACM.Org)


Program Committee

Lars Asplund, Uppsala University
Dirk Craeynest, Offis nv/sa & K.U. Leuven
Rod Chapman, Praxis Critical Systems Limited
Brian Dobbing, Praxis Critical Systems Limited
Franco Gasperoni, ACT Europe
Kiyoshi Ishihata, Meiji University
Stephen Michell, Maurya Software
James W. Moore, The MITRE Corporation
Erhard Ploedereder, University of Stuttgart
Juan A. de la Puente, Universidad Politécnica de Madrid
Sergey Rybin, Moscow State University and ACT Europe
Alok Srivastava, TRW/FAA
F. Britt Snodgrass, Rockwell Collins Inc.
Alfred Strohmeier, Swiss Federal Institute of Technology Lausanne
Bill Thomas, The MITRE Corporation