SIGAda 2010 Schedule - Tuesday, October 26

SIGAda 2010 logo
SIGAda 2010 Schedule - Tuesday, October 26


SIGAda 2010 Home


Register Online Now

Hotel Rates, Reservations, Travel

Reception Dinner & Cultural Program

Exhibiting and Sponsorship Opportunities


Conference at a Glance
Final Program:
    (PDF/US)

Tutorials

Workshops and BoFs

Media Information

Conference Officers

Program Committee

Grants to Educators


Previous Conferences


Important Visa Information for
NON-US ATTENDEES

TECHNICAL PROGRAM
9:00 - 10:30am

Greetings from SIGAda and Conference Officers

Keynote Address:
Systems Software Integrity Assurance to FAA’s Next Generation (NextGen) Constituents
Chris Lane (Lockheed Martin Corporation)

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

A Deterministic Run-Time Environment for Ada 2005 on the ATmega16 Microcontroller
Jim Ras (University of Houston) and Albert M. K. Cheng (University of Houston)

A Methodology for Avoiding Known Compiler Problems Using Static Analysis
Jean-Pierre Rosen (Adalog)

AdaCore Sponsor Presentation: Ada – A Language for Safety and Security
Greg Gicca (AdaCore)

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

Panel: Wouldn't It Be Nice to Have Software Labels?
Paul E. Black (National Institute of Standards and Technology) and Elizabeth Fong (National Institute of Standards and Technology)

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

Experience Report: Ada & Java Integration in the FAA’s ERAM SWIM Program
Richard Schmidt (Lockheed Martin)

Real-Time System Development in Ada Using LEGO®) NXT
Peter Bradley (Universidad Politécnica de Madrid), Juan A. de la Puente (Universidad Politécnica de Madrid), and Juan Zamorano (Universidad Politécnica de Madrid)

Unmanned Systems and Ada
Richard Weatherly et al (The MITRE Corporation)

5:30 - 7:00pm Break
7:00 - 10:00pm

Evening Reception
Asian Indian Cultural Dance




last updated 23 October 2010 - cgr