These Proceedings are organized by the schedule of presentations from
the Final Program. Most of the presentations are included here as
Adobe's PDF files; exceptions are noted when they occur.
File sizes are present if they exceed 1 MBytes.
Speakers are indicated in bold.
All of the original Conference Papers are in Adobe's Portable Document
Format (PDF) file format. They are as close as possible to the papers
that appear in the hardcopy SIGAda 2005 Conference
Proceedings; they even contain the same page numbers where they appear
in the Proceedings document.
Note that there was a
cancellation; the paper is
still included here, however, and names and authors are indicated by
red text.
|
Scheduling and Memory Requirements Analysis with AADL
(Paper) (PowerPoint Presentation)
|
Frank Singhoff (University of Brest, France), J. Legrand (University of Brest, France), L. Nana (University of Brest, France), and
L. Marcé (University of Brest, France)
|
|
Modeling SPARK Systems with UML
(Paper) (PowerPoint Presentation)
|
Xavier Sautejeau (Sodius)
|
|
Optimizing the SPARK Program Slicer
(Paper) (PowerPoint Presentation)
|
Ricky E. Sward (US Air Force Academy, HQ USAFA/DFCS) and
Leemon C. Baird III (US Air Force Academy, HQ USAFA/DFCS)
|
|
Using ASIS to Generate C++ Bindings
(Paper) (PowerPoint Presentation)
|
Howard Ausden (Lockheed Martin) and
Karl Nyberg (Grebyn Corporation)
|
|
AdaCore Vendor Presentation (Presentation)
|
Edmond Schonberg (AdaCore)
|
|
Experimental Performance Analysis of Ada Programs in Cluster System
(Paper)
|
Alexandr Korochkin (National Technical University, Ukraine), Imad Salah (University of Jordan, Jordan), and
Dmitry Korochkin (National Technical University, Ukraine)
|
|
Avoiding Vulnerabilities in Programming Languages (PowerPoint Presentation, 7.8 MBytes)
|
Jim Moore (MITRE Corporation)
|
|
Experiences Using SPARK in an Undergraduate CS Course
(Paper) (PowerPoint Presentation)
|
Anthony S. Ruocco (Roger Williams University)
|
|
The Implementation of Ada 2005: Synchronized Interfaces in the GNAT Compiler
(Paper) (PowerPoint Presentation, 1.5 MBytes)
|
Javier Miranda (University of Las Palmas de Gran Canaria, Spain), Edmond Schonberg (New York University), and
Hristian Kirtchev (AdaCore)
|
|
Temporal Skeletons for Verifying Time
(Paper) (Presentation, 1.1 MBytes)
|
Gustaf Naeser (Mälardalen University, Sweden), Kristina Lundqvist (Massachusetts Institute of Technolgy), and
Lars Asplund (Mälardalen University, Sweden)
|
|
I-Logix Vendor Presentation: Model Driven Development for Ada Applications with Rhapsody (Presentation)
|
Marty Bakal (I-Logix)
|
|
The Affordable Application of Formal Methods to Software Engineering
(Paper) (PowerPoint Presentation, 1.1 MBytes)
|
James F. Davis (University of Maryland)
|
|
SafetyChip: A Time Monitoring and Police Device
(Paper) (Presentation)
|
Gustaf Naeser (Mälardalen University, Sweden), Lars Asplund (Mälardalen University, Sweden), and
J. Furunäs (Mälardalen University, Sweden)
|
|
Microsoft Vendor Presentation (PowerPoint Presentation, 9.2 MBytes)
|
Bindia Hallauer (Microsoft)
|
|
Orchestrating Shots for the National Ignition Facility (NIF)
(Paper) (PowerPoint Presentation, 18.4 MBytes)
|
David Mathisen (Lawrence Livermore National Lab), Greg Bowers, Robert Carey (Lawrence Livermore National Lab), Jerome Krammen, Randy Sanchez, and
Eric Stout
|
|
AspectAda — Aspect Oriented Programming for Ada95
(Paper) (PowerPoint Presentation, 1.7 MBytes)
|
Knut Pedersen (Concordia University) and
Constantinos Constantinides (Concordia University)
|
|
Verocel Vendor Presentation: Safety Critical Ada in an ARINC 653 Environment (PowerPoint Presentation)
|
George Romanski (Verocel)
|