SIGAda 2004 Final Program

SIGAda 2004 Final Program SIGAda 2004
Summary Conference Schedule

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

last updated 10 November 2004 - cgr