SIGAda 2005 Final Program

SIGAda 2005 Final Program SIGAda 2005
Summary Conference Schedule

Sunday, November 13
TUTORIAL PROGRAM
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
TUTORIAL PROGRAM
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
CONFERENCE PROGRAM
9:00 - 10:30am	Greetings from SIGAda and Conference Officers Welcome 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
CONFERENCE PROGRAM
8:30 - 9:00am	Announcements 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
CONFERENCE PROGRAM
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.