|
CONFERENCE PROGRAM
|
| 9:00 - 10:30am |
Announcements
SIGAda Awards
Ricky E. Sward
Keynote Address:
Echo: A New Approach to Formal Verification Based on Ada
The Technology & Experience in Security and Medical Devices
John Knight (University of Virginia
Computer Science Department)
|
| 10:30 - 11:00am |
Morning Break and Exhibits
|
| 11:00am - 12:30pm |
Use of SPARK in a Resource Constrained Embedded System
Chad Loseby (Vermont Technical College), Peter C. Chapin (Vermont Technical College), and
Carl Brandon (Vermont Technical College)
A Robotics API Dialect for Type-Safe Robots: Translating Myro to Ada
Alexander S. Mentis (US Military Academy at West Point)
BoF Preview and SIGAda Chapter Report
Bill Thomas (Workshops Chair)
|
| 12:30 - 2:00pm |
Mid-day Break and Exhibits
|
| 2:00 - 3:30pm |
Invited Presentation:
The Evolution of the Aviation Software Assurance Standard, DO-178B/ED-12B Working towards DO-178C/ED-12C
(Abstract)
James Chelini (Verocel) and
George Romanski (Verocel)
Sponsor Presentation: Ellidiss Software
Tony Elliston (Ellidiss (TNI Europe))
|
| 3:30 - 4:00pm |
Afternoon Break
|
| 4:00 - 5:30pm |
Complementing Ada with Other Programming Languages
Samuel Tardieu (Institut Télécom/Télécom Paris Tech)) and
Alexis Polti (Institut Télécom/Télécom Paris Tech))
Distributed Container: A Design Pattern for Fault Tolerance and High Speed Data Exchange
Tong Dinh (Northrop Grumman Corp.) and
Shan Barkataki (California State University, Northridge)
|
| 5:30 - 7:00pm |
Evening Break
|
| 7:00 - 11:00pm |
GNAT BoF: GNAT Pro status and future directions
Greg Gicca (AdaCore)
Birds-of-a-Feather (BoF) Sessions
|
