SIGAda 2009 Final Program

SIGAda 2009 logo
Authors and Papers


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)

Tutorials

Workshops and BoFs

Media Information

Conference Officers

Program Committee

Important Dates

Grants to Educators


Author / Co-Author

Title of Paper

Shan Barkataki Distributed Container: A Design Pattern for Fault Tolerance and High Speed Data Exchange
Bruce R. Barkstrom On Using Ada to Solve Problems in Computational Economics and Related Disciplines with Concurrent, Multiagent Algorithms
Carl Brandon Use of SPARK in a Resource Constrained Embedded System
Peter C. Chapin Use of SPARK in a Resource Constrained Embedded System
James Chelini The Evolution of the Aviation Software Assurance Standard, DO-178B/ED-12B Working towards DO-178C/ED-12C
Julien Delange Validate, Simulate and Implement ARINC653 Systems using the AADL
Tong Dinh Distributed Container: A Design Pattern for Fault Tolerance and High Speed Data Exchange
Mark Gardinier Open Source Development of a Safety-Critical Dual Redundant (Ada95/C++) Signal Control Program Environment (SCoP)
J. Javier Gutiérrez Experience in Integrating Interchangeable Scheduling Policies into a Distribution Middleware for Ada
Mickael Kerboeuf Validate, Simulate and Implement ARINC653 Systems using the AADL
Fabrice Kirdon Validate, Simulate and Implement ARINC653 Systems using the AADL
Steven M. Lathrop Dynamic Analysis of Branch Mispredictions in Ada
Sheldon X. Liang "Automatic Prototype Generating" Restated with Re-ADA — Perspective-bridged Architecture for Document-Driven Systems Transitioning
Chad Loseby Use of SPARK in a Resource Constrained Embedded System
Alexander S. Mentis A Robotics API Dialect for Type-Safe Robots: Translating Myro to Ada
Laurent Pautet Validate, Simulate and Implement ARINC653 Systems using the AADL
Alain Plantec Validate, Simulate and Implement ARINC653 Systems using the AADL
Alexis Polti Complementing Ada with Other Programming Languages
Lyle Reibling "Automatic Prototype Generating" Restated with Re-ADA — Perspective-bridged Architecture for Document-Driven Systems Transitioning
George Romanski The Evolution of the Aviation Software Assurance Standard, DO-178B/ED-12B Working towards DO-178C/ED-12C
Jean-Pierre Rosen The New Semantic Model in ASIS for Ada 2005
Samuel Sambasivam "Automatic Prototype Generating" Restated with Re-ADA — Perspective-bridged Architecture for Document-Driven Systems Transitioning
Frank Singhoff Validate, Simulate and Implement ARINC653 Systems using the AADL
Ricky E. Sward Georegistration of Imagery from Unmanned Aircraft Systems Using Ada
Ricky E. Sward SIGAda Organization
T. Taft The New Semantic Model in ASIS for Ada 2005
Samuel Tardieu Complementing Ada with Other Programming Languages
Bill Thomas BoF Preview and SIGAda Chapter Report
Héctor Pérez Tijero Experience in Integrating Interchangeable Scheduling Policies into a Distribution Middleware for Ada

last updated 30 November 2009 - cgr