SIGAda 2004 Final Program
SIGAda 2004
Summary Conference Schedule
Sunday, November 14
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 SPARK, an Intensive Overview
Roderick Chapman (Praxis High Integrity Systems, Ltd.)
SF3 Real-Time Java for Ada Programmers
Ben Brosgol (AdaCore)
SF4 Introduction to UML 2
Ed Colbert (Absolute Software Co., Inc.)

Monday, November 15
Full-Day Tutorials (8:30am - 5:00pm)
MF1 Developing a Web Server in Ada with AWS
Jean-Pierre Rosen (Adalog)
MF2 The Architecture Analysis and Design Language (AADL)
Joyce Tokar (Pyrrhus Software, Inc.)
Bruce Lewis (US Army Aviation and Missile Command)
Morning Tutorials (8:30am - 12:00 Noon)
MA1 Real-time and Parallel Processing in Ada 95
Eugene W.P. Bingue (Independent Consultant)
David A. Cook (AEgis Technologies Group, Inc.)
MA2 Microsoft Solutions Framework and the Microsoft Operations Framework
Rick Conn (Microsoft)
Afternoon Tutorials (1:30pm - 5:00pm)
MP1 High-integrity Ravenscar Using SPARK
Brian Dobbing (Praxis High Integrity Systems, Ltd.)
MP2 A#: Programming PDAs and .NET devices with Ada
Martin Carlisle (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, November 16
9:00 - 10:30am

Greetings from SIGAda and Conference Officers


Keynote Address:
Can Ada Stand Up to the Challenges of C/C++ and Java?
Pam M. Thompson (Lockheed Martin Aeronautics)

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

Enforcing Security and Safety Models with an Information Flow Analysis Tool
Roderick Chapman (Praxis High Integrity Systems) and Adrian Hilton (Praxis High Integrity Systems)

A Refactoring Tool for Ada 95
Paul Anderson (GrammaTech)

Re-engineering Global Variables in Ada
Lt Col Ricky E. Sward (USAF Academy) and A. Tim Chamillard (University of Colorado, Colorado Springs)

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

Cheddar: a Flexible Real Time Scheduling Framework
F. Singhoff (University of Brest, France), J. Legrand (University of Brest, France), L. Nana (University of Brest, France), and L. Marcé (University of Brest, France)

Comparative Analysis of Genetic Algorithm Implementations
Robert Soricone (Northern Arizona University) and Melvin Neville (Northern Arizona University)

Microsoft Vendor Presentation: Microsoft with Ada in the Embedded World
Rick Conn (Microsoft)

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

Keynote Address:
Security Changes Everything
Watts Humphrey (Software Engineering Institute)

AdaCore Vendor Presentation: Ada, GNATurally!
Ben Brosgol (AdaCore)

Green Hills Software Vendor Presentation: A Safe Tasking Approach to Ada95
Jim Gleason (Green Hills Software)

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

Conference Reception

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


SIGAda Awards

Keynote Address:
Why can't engineering good software be like building a house?
Stephen E. Cross (Georgia Tech Research Institute)

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

Measuring the Effectiveness of ACATS
Geoff T. Smith (IBM Rational Software)

Model Driven Development with Ada
Andy Lapping (I-Logix)

Aonix Vendor Presentation: Safety Critical Solutions for DO-178B
Joe Colloca (Aonix)

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

Information Systems Security Engineering: A Critical Component of the Systems Engineering Lifecycle
James F. Davis (University of Maryland)

Teaching Graphics Using Ada
C. Wayne Brown (USAF Academy)

Invited Address
GNAT: On the Road to Ada 2005
Javier Miranda (University of Las Palmas de Gran Canaria) and Edmond Schonberg (New York University)

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

TNI-Europe Vendor Presentation: "State of the Art" Software Modeling
Tony Elliston (TNI-Europe)

I-Logix Vendor Presentation: Leveraging Model Driven Development and UML for Ada applications
Ed Mayer (I-Logix)

ARTiSAN Software Tools Vendor Presentation: A Pragmatic Approach using Ada and UML
  (ARTiSAN Software Tools)

6:00 - 8:00pm Evening Break
8:00 - 11:00pm

SPARK Birds of a Feather
Rod Chapman (SPARK BoF Session Chair)

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

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

AdaCore's GNAT Academic Package
Ed Schonberg (AdaCore)

Ada Semantic Interface Specification (ASIS) Workshop
Currie Colket (ASISWG Chair)

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

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

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

10:30 - 11:00am Morning Break
11:00am - 12:45pm

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

Best Student Paper Award

12:45pm Closing Comments & Conference Adjournment

Ada 2005 Panel

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

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 evolving needs of the user community. In 2000, the WG9 ARG started looking into possible changes for the next revision of the standard. An Amendment to the Ada 95 Standard (ISO/IEC 8652:1995) incorporating these changes is expected to be approved by ISO in late 2005. This revision is a great opportunity to further enhance Ada by providing new capabilities for embedded and high-reliability applications (e.g., the Ravenscar Profile, new scheduling algorithms, new predefined package Ada.Execution_Time); by integrating new programming practices (e.g., Safety in the Object Oriented Programming (OOP) area, Access Type improvements); by including new Interfaces (e.g., container library, incorporation of advanced arithmetic facilities, adopting a practical international character set, Unchecked C Unions), and by addressing other issues encountered by Ada 95 users. This will be a substantive and important revision to the Ada Programming Language.

The technical work for the Ada 2005 Amendment is carried out by the Ada Rapporteur Group (ARG) under the auspices of WG9. Key ARG members will participate in a 3-hour panel on the significant improvements that WG9 has approved for inclusion in the Ada 2005 Amendment. The Panel will be chaired by IBM's Pascal Leroy, Chair of the WG9 ARG. The panel will consist of a number of mini-briefings presented by members of the ARG. Some of the mini-briefings currently planned are:

  • Real-time
  • Numerics Packages
  • Interfaces
  • Mutually Dependent Types
  • Exceptions
  • Character Sets
  • Miscellaneous Enhancements

Additional mini-briefings may be added. The ARG members who will be participating in the panel include: John Barnes, Alan Burns, Pascal Leroy, and Tucker Taft. Other presenters will be added.

Back to Main Page Back to Main Page
last updated 10 November 2004 - cgr