Welcome

Introduction of Conference Officers and SIGAda Officers

Keynote Address:
The Soul of a New Machine
Joyce Tokar (Pyrrhus Software)

Multilanguage Programming with Ada in the .NET Environment
Jeffrey W. Humphries (USAF Academy), Martin C. Carlisle (USAF Academy), and Terry A. Wilson (USAF Academy)

Static Verification and Extreme Programming
Peter Amey (Praxis Critical Systems) and Roderick Chapman (Praxis Critical Systems)

Correct-by-Construction
  (Esterel Technologies)

AdaSlicer: An Ada Program Slicer
Ricky E. Sward (USAF Academy) and A.T. Chamillard (University of Colorado, Colorado Springs)

Verifying Linear Time Temporal Logic Properties of Concurrent Ada Programs with Quasar
Sami Evangelista (Cedric-Cnam Paris), C. Kaiser (Cedric-Cnam Paris), J.F. Pradat-Peyre (Cedric-Cnam Paris), and Pierre Rousseau (Cedric-Cnam Paris)

Rapid Ada application development with the Unified Modeling Language (UML)
  (I-Logix)

OO Tool Support for AADL
  (TNI Europe)

Keynote Address:
Ada and Real-Time Java: Cooperation, Competition, or Cohabitation?
Ben Brosgol (Ada Core Technologies)

A DSA Model for Data Access in Self-Organizing Systems
Dhavy Gantsou (Univ of Valenciennes)

Automated Global Data Checking for Ada
Ian Gilchrist (Quality Checked Software)

Safety Critical Development Solutions
  (Aonix)

Conference Reception / Screening
Enjoy the screening of "To Dream Tomorrow",
a documentary on the life of Ada,
produced by Flare Productions, Inc.

Ada's Birthday and other Announcements

SIGAda Awards

Keynote Address:
Security, Open Source, and Ada
David A. Wheeler (Institute for Defense Analyses)

European Air Traffic Flow Management: Porting a Large Application to GNU/Linux
Gaetan Allaert (Thales IS), Dirk Craeynest (Aubay Belgium), and Philippe Waroquiers (Eurocontrol)

Experiences in Developing a Typical Web Database Application
Jean-Pierre Rosen (Adalog)

A Framework for Designing and Implementing the Ada Standard Container Library
Jordi Marco (Univ Politecnica de Catalunya) and Xavier Franch (Univ Politecnica de Catalunya)

WG9 Programme: Plans for Amending the Ada Language
Jim Moore (MITRE Corporation; Convenor of WG9)

Ravenscar Profile: An Important Addition to Ada 2005
Tullio Vardanega (Università di Padova and a member of the WG9 HRG)

WG9 Forum
Pascal Leroy (IBM; Chair of the WG9 Ada Rapporteur Group)

APIWG plenary, Birds of a Feather
Clyde Roby (APIWG Acting Chair)

APIWG XML subgroup, Birds of a Feather
Robert Leif (APIWG XML Subgroup Chair)

ASISWG, Birds of a Feather
Currie Colket (ASISWG Chair)

Birds-of-a-Feather (BoF) sessions
(contact Workshops Chair to propose a BoF)

A Comparison of Java to Ada in Implementing a Real-Time Embedded System
Eric Potratz (Univ of Northern Iowa)

Ada Core Technologies - Product Update
  (Ada Core Technologies)

The Adventures of Porting IBM Rational Apex Ada to Linux
  (IBM/Rational)

Automatic Detection of Runtime Errors at Compile Time
  (PolySpace Technologies)

Measuring Cohesion of Packages in Ada 95
Baowen Xu (Southeast Univ, China), Zhenqiang Chen (Jiangsu Inst of Software Quality), and Jianjun Zhao (De Monfor Univ, England)

Best Student Paper Award

The Case for Ada at the USAF Academy
Ricky E. Sward (USAF Academy), Martin C. Carlisle (USAF Academy), Barry Fagin (USAF Academy), and David S. Gibson (USAF Academy)

Keynote Address:
TBD
Steve Grimaldi (Object Interface Systems, Inc.)

WG9 Forum

Wednesday, December 10, 2:00-3:45pm
WG9 Work Programme & Ravenscar Guide

WG9 Programme: The ISO technical group responsible for the Ada standards is the ISO/IEC JTC1/SC22 WG9. WG9 is currently working to amend the Ada language to support the needs of the user community. Mr. Jim Moore, of The MITRE Corporation and the Convenor of WG9, will provide a briefing on the plans for amending the Ada language for application in the 2005 timeframe. This presentation will outline the standardization process and schedule and prepare the conference attendees for the next session when WG9 presents the possible revisions to the Ada language. The WG9 Work Programme includes a number of other valuable artifacts, such as the one discussed next.

Ravenscar Profile: Tullio Vardanega, of the Università di Padova and a member of the WG9 HRG (Annex H Rapporteur Group), will be speaking on the WG9 new work item for an ISO Technical Report titled: "Guide for the use of the Ada Ravenscar Profile in High Integrity Systems." The Ravenscar Profile will be an important addition to Ada 2005, supporting the use of concurrent processes in mission-critical, high integrity applications. The Ravenscar Profile is becoming of great importance as it appears to be acceptable for certification in these high integrity systems.

Wednesday, December 10, 4:30-6:00pm
WG9 Forum

WG9 Forum: Pascal Leroy, of IBM, and Chair of the WG9 Ada Rapporteur Group (ARG) will give a technical presentation of a number of key improvements that are currently under consideration for inclusion in Ada 2005. In 2000, the WG9 ARG started looking into possible changes for the next revision of the standard. These are expected to be approved in late 2005 as an amendment to ISO/IEC 8652:1995, the Ada 95 Standard. Based on the input from the Ada community, it was felt that the revision was a great opportunity for further enhancing Ada by providing new capabilities for embedded and high-reliability applications; by integrating new programming practices (e.g., in the Object Oriented Programming (OOP) area); and by remedying annoyances encountered during many years of usage of Ada 95. This led to the decision to make a substantive revision rather than a minor one.

The 5 major areas where enhancements to the Ada Language are projected include:

1. Real-Time, Safety and Criticality (e.g., Ravenscar, Execution Time Clocks);
2. OO Programming (e.g., Abstract Interface to Provide Multiple Inheritance);
3. General Purpose Capability (e.g., Handling Mutually Dependent Types across Packages);
4. Programming By Contract (e.g., Pragma Assert, Pre-Conditions and Post Conditions);
5. Interfacing with Other Languages of Computing Environments (e.g., Directory Operations).

A similar discussion at SIGAda 2002 was influential in providing WG9 with guidance. Although many of the key improvements to the Ada language are becoming rather solid, WG9 views our input as valuable in addressing the needs of the Ada community. There may be some areas where SIGAda 2003 attendees will have the opportunity to discuss alternatives with the WG9 leaders and provide feed back for the evolution of Ada.

The activities of this week will be the last time proposals can be made on what will go into the Ada 05 amendment. The current revision schedule is as follows:

December 2003 -- Receipt of the final proposals from WG9 or delegated bodies
June 2004 -- Approval of the scope of the Amendment
Late 2004 -- Informal circulation of the draft Amendment document
Spring 2005 -- Completion of the proposed text of the Amendment
Mid 2005 -- WG9 email ballot
3Q 2005 -- SC22 ballot
Late 2005 -- JTC1 Ballot, final approval

Please note that December 2003 is the drop dead month for final proposals to be considered for Ada 05 from WG9 or delegated bodies.