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)
