SIGAda 2003 Advance Program
SIGAda 2003
Summary Conference Schedule
Note that any tutorial and/or presentation shown below in red has been cancelled for the conference. However, any paper will be in the SIGAda 2003 Conference Proceedings.
Sunday, December 7
TUTORIAL PROGRAM
Full-Day Tutorials (9:00am - 5:30pm)
SF1 Architecture-Centered Development of Time Critical Systems with AADL, UML, and Ada
Ed Colbert (Absolute Software Co., Inc.)
Bruce Lewis (US Army Aviation and Missile Command)
SF2 Improved Software Testing With the Use of Metrics
Alfred Sorkowitz
SF3 Introduction to Ada
Joyce Tokar (Pyrrhus Software, Inc.)
SF4 SPARK, An Intensive Overview
Roderick Chapman, Ph.D (Praxis Critical Systems, Ltd.)


Monday, December 8
TUTORIAL PROGRAM
Full-Day Tutorials (8:30am - 5:00pm)
MF1 Normative Quality Specification and Standardized Acceptance Testing
Hans-Ludwig Hausen (FRAUNHOFER German National Engineering Research Society)
Morning Tutorials (8:30am - 12:00 Noon)
MA1 Links in the Chain: Why Mature Systems Engineering is Needed
Rick Conn (Microsoft)
MA2 The HOOD Design Method
Jean-Pierre Rosen (Adalog)
Afternoon Tutorials (1:30pm - 5:00pm)
MP1 High-Integrity Ravenscar using SPARK
Roderick Chapman, Ph.D (Praxis Critical Systems, Ltd.)
Brian Dobbing (Praxis Critical Systems, Ltd.)
MP2 A#
Martin Carlisle, Ph.D (United States Air Force Academy)
Evening Activities (7:00pm - 11:00pm)
7:00 - 11:00pm
SIGAda Extended Executive Committee (EEC) Meeting
(Open to all)


Tuesday, December 9
CONFERENCE PROGRAM
9:00 - 10:30am

Welcome

Introduction of Conference Officers and SIGAda Officers

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

10:30 - 11:00am Mid-morning Break - Exhibits Open
11:00am - 12:30pm

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)

12:30 - 2:00pm Mid-day Break and Exhibits
2:00 - 3:40 pm

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)

3:40 - 4:15pm Afternoon Break & Exhibits
4:15 - 6:10pm

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)

6:10pm Adjourn Day 1 of Conference
7:00 - 9:00pm

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



Wednesday, December 10
CONFERENCE PROGRAM
9:00- 10:30am

Ada's Birthday and other Announcements

SIGAda Awards

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

10:30 - 11:00am Mid-morning Break and Exhibits
11:00am - 12:30pm

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)

12:30 - 2:30pm Mid-day Break and Exhibits
2:30 - 4:00pm

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)

4:00 - 4:30pm Afternoon Break
4:30 - 6:00pm

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

6:00 - 8:00pm Adjourn Day 2 of Conference: Evening Break
8:00 - 11:00pm

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)



Thursday, December 11
CONFERENCE PROGRAM
9:00 - 10:50am

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

10:50 - 11:15am Morning Break
11:15am - 12:30pm

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

12:30pm Closing Comments & Conference Adjournment


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.


Back to Main Page Back to Main Page
last updated 2 December 2003 - cgr