SIGAda 2009 Schedule - Wednesday, November 4

SIGAda 2009 logo
SIGAda 2009 Schedule - Wednesday, November 4

SIGAda 2009 Home

Conference Registration Information

Hotel Rates and Reservations

Exhibiting and Sponsorship Opportunities

Conference at a Glance
Advance Program:
    (PDF/US) or (PDF/A4)


Workshops and BoFs

Media Information

Conference Officers

Program Committee

Important Dates

Grants to Educators

9:00 - 10:30am


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

last updated 30 November 2009 - cgr