SIGAda 2005 Final Program
SIGAda 2005
Summary Conference Schedule
Sunday, November 13
Full-Day Tutorials (9:00am - 5:30pm)
SF1 An Introduction to Ada 95 for programmers
David A. Cook (AEgis Technologies Group, Inc.)
Eugene W.P. Bingue (Independent Consultant)
SF2 The SAE Architecture Analysis and Design Language
Joyce Tokar (Pyrrhus Software, Inc.)

Monday, November 14
Full-Day Tutorials (8:30am - 5:00pm)
MF1 Real-Time Java for Ada Programmers
Ben Brosgol (AdaCore)
Morning Tutorials (8:30am - 12:00 noon)
MA1 Systems Engineering and the Impact of Computer Language Selection on it
Richard Conn (Independent Consultant/IEEE-CS CSDP)
MA2 Real-time and Parallel Processing in Ada 95
Eugene W.P. Bingue (Independent Consultant)
David A. Cook (AEgis Technologies Group, Inc.)
Afternoon Tutorials (1:30 - 5:00pm)
MP1 A#: Programming PDAs and .NET devices with Ada
Martin C. Carlisle (United States Air Force Academy)
MP2 PolyORB: A Schizophrenic Middleware
Thomas Quinot (AdaCore)
Evening Activities (7:00pm - 11:00pm)
7:00 - 11:00pm SIGAda Extended Executive Committee (EEC) Meeting
(Open to all)

Tuesday, November 15
9:00 - 10:30am

Greetings from SIGAda and Conference Officers


Keynote Address:
Ada in the Avionics Industry
George Romanski (Verocel)

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

Scheduling and Memory Requirements Analysis with AADL
Frank Singhoff (University of Brest, France), J. Legrand (University of Brest, France), L. Nana (University of Brest, France), and L. Marcé (University of Brest, France)

Modeling SPARK Systems with UML
Xavier Sautejeau (Sodius)

Optimizing the SPARK Program Slicer
Ricky E. Sward (US Air Force Academy, HQ USAFA/DFCS) and Leemon C. Baird III (US Air Force Academy, HQ USAFA/DFCS)

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

Using ASIS to Generate C++ Bindings
Howard Ausden (Lockheed Martin) and Karl Nyberg (Grebyn Corporation)

AdaCore Vendor Presentation
Edmond Schonberg (AdaCore)

Experimental Performance Analysis of Ada Programs in Cluster System
Alexandr Korochkin (National Technical University, Ukraine), Imad Salah (University of Jordan, Jordan), and Dmitry Korochkin (National Technical University, Ukraine)

3:30 - 4:00pm Afternoon Break & Exhibits
4:00 - 6:00pm

Experiences Using SPARK in an Undergraduate CS Course
Anthony S. Ruocco (Roger Williams University)

The Implementation of Ada 2005: Synchronized Interfaces in the GNAT Compiler
Javier Miranda (University of Las Palmas de Gran Canaria, Spain), Edmond Schonberg (New York University), and Hristian Kirtchev (AdaCore)

Temporal Skeltons for Verifying Time
Gustaf Naeser (Mälardalen University, Sweden), Kristina Lundqvist (Massachusetts Institute of Technolgy), and Lars Asplund (Mälardalen University, Sweden)

I-Logix Vendor Presentation: Model Driven Development for Ada Applications with Rhapsody
Marty Bakal (I-Logix)

6:00pm Adjourn
7:00 - 9:00pm

Conference Reception

Wednesday, November 16
8:30 - 9:00am


SIGAda Awards

9:00 - 10:30am

The Affordable Application of Formal Methods to Software Engineering
James F. Davis (University of Maryland)

SafetyChip: A Time Monitoring and Police Device
Gustaf Naeser (Mälardalen University, Sweden), Lars Asplund (Mälardalen University, Sweden), and J. Furunäs (Mälardalen University, Sweden)

Microsoft Vendor Presentation
Bindia Hallauer (Microsoft)

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

Orchestrating Shots for the National Ignition Facility (NIF)
David Mathisen (Lawrence Livermore National Lab) and Robert Carey (Lawrence Livermore National Lab)

AspectAda — Aspect Oriented Programming for Ada95
Knut Pedersen (Concordia University) and Constantinos Constantinides (Concordia University)

Verocel Vendor Presentation: Safety Critical Ada in an ARINC 653 Environment
George Romanski (Verocel)

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

Data Sharing Between Ada and C/C++
Matt Mark (Lockheed Martin)

A Comparison of CORBA and Ada's Distributed Systems Annex
Andrew Berns (University of Northern Iowa)

TNI Europe Vendor Presentation: STOOD - AADL 1 and UML 2
Tony Elliston (TNI Europe)

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

APIWG plenary, Birds of a Feather
Geoff T. Smith  (IBM Linux Technology Center)

AdaCore's GNAT Academic Package
Edmond Schonberg (AdaCore)

6:00 - 7:30pm Evening Break
7:30 - 11:00pm

Visual Studio 2005
Bindia Hallauer (Microsoft)

Agile and CMMI methodologies revolving around Microsoft Solutions Framework Version 4
Bindia Hallauer (Microsoft)

Commercializing Ada
Robert C. Leif (Newport Instruments)

Birds-of-a-Feather (BoF) sessions

Thursday, November 17
8:30 - 9:15am

Keynote Address:
Faster Than a Speeding Bullet
James Leonard (Boeing)

9:15 - 9:30am Morning Break
9:30 - 11:00am

Ada 2005 Session
Pascal Leroy (IBM Rational (France); Chair of the WG9 Ada Rapporteur Group)

11:00 - 11:30am Morning Break
11:30am - 1:00pm

Ada 2005 Session (continued)
Pascal Leroy (IBM Rational (France); Chair of the WG9 Ada Rapporteur Group)

1:00pm Closing Comments & Conference Adjournment

Ada 2005 Session

Thursday, November 17, 9:00-10:30am

The Ada language standard is being revised, under the auspices of the International Organization for Standardization (ISO), in order to support the evolving needs of the Ada community and to incorporate relevant advances in programming language technology since the introduction of Ada 95 over ten years ago. Known as Ada 2005, the revised language is expected to be approved by ISO some time next year, and many of its features are already implemented, or may soon be available, from Ada vendors.

Ada 2005 offers improvements in many areas:

  • Comprehensive support for real-time and high-reliability applications (such as the Ravenscar Profile, new task dispatching policies, and execution-time clocks)
  • Enhanced Object-Oriented Programming features (such as Java-like interfaces and traditional object.operation notation) and an abstraction mechanism that combines OOP and concurrency (synchronized interfaces)
  • Generalized program structure and visibility control (such as "mutually dependent" package specifications and more usable limited types)
  • Better access type facilities (such as access-to-constant parameters and allowance of nested subprograms as run-time parameters)
  • Standardization of some vendor-supplied pragmas that came into common use for Ada 95 (such as Unchecked_Union and Assert)
  • Extensions to the predefined environment (such as the container library, time/date manipulation, and directory operations)
  • Other enhancements (such as 32-bit characters)

This session will provide a technical overview of the new Ada 2005 facilities. Participants will include principal contributors to the Ada revision: Tucker Taft (SofCheck), Pascal Leroy (IBM Rational Software), John Barnes (independent consultant) and other members of WG9, the ISO Working Group responsible for Ada language maintenance.