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 |
Paul Stachour, General Chair |
Currie Colket, SIGAda Chair (PowerPoint Show) |
Keynote Address |
(Experience Report) (PowerPoint Show, 9.6 MBytes) Scott Edgerton (United Defense, L.P.) |
Plenary Track |
(Paper) (PowerPoint Show) Peter Amey (Praxis Critical Systems) |
(Paper available via link on www.sparkada.com) (PowerPoint File, 2.2 MBytes) Peter Amey (Praxis Critical Systems) |
(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 |
(Paper) (PowerPoint Show) Heinz Faßbender (Research Institute for Communication, Information Processing, and Ergonomics) |
(Paper) (PowerPoint Show) Kenneth L. Ehresman & Joey L. Frantzen (U.S. Navy) |
Wednesday, October 3, 2001 |
Plenary Session |
|
Keynote Address |
(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 |
(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 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)
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)