• Testing or Formal Verification: DO-178C Alternatives and Industrial Experience »
  SPARK Pro | Certification | Embedded Development | Formal Methods | Safety-Critical Development | Testing
• Ada 2012 Rationale »
  Ada 2012
• DO-330/ED-215 Benefits of the New Tool Qualification Document »
  Certification | Modeling | Safety-Critical Development
• DO-178C/ED-12C vs DO-178B/ED-12B: Changes and Improvements »
  Certification | Embedded Development | Formal Methods | Safety-Critical Development
• Thoughts on Ada »
  Ada | Ada 2012 | Modeling | Multi-Core | Safety-Critical Development
• High-Integrity Object-Oriented Programming in Ada »
  GNAT Pro | Runtime Profiles | GNATcheck | SPARK Pro | GNATstack | Ada | Certification | Safety-Critical Development
• Compilation of Heterogeneous Models: Motivations and Challenges »
  Modeling
• Integrating Formal Program Verification with Testing »
  Safety-Critical Development | Testing
• Formalization and Comparison of MCDC and Object Branch Coverage Criteria »
  GNATcoverage | Safety-Critical Development
• The use of value numbers in static analysis. »
  CodePeer
• Towards Certification of Object-Oriented Code with the GNAT Compiler »
  GNAT Pro | Ada Compiler | Runtime Profiles | Ada 2005 / 95 / 83 | Certification | Safety-Critical Development
• Couverture paper presented at ERTS² 2010 »
  GNATcoverage | GNATemulator | Ada 2005 / 95 / 83 | Certification | Embedded Development | Open Source | Safety-Critical Development
• A principled approach to software engineering »
  Ada 2005 / 95 / 83 | Mixed Language
• Coverage and Free Software »
  GNAT Pro | GNATcoverage | GNATemulator | Certification | Open Source | Safety-Critical Development
• Abstract Interface Types in GNAT: Conversions, Discriminants, and C++ »
  GNAT Pro | Ada Compiler | Ada 2005 / 95 / 83 | Mixed Language
• Multi-Language Programming: The Challenge and Promise of Class-Level Interfacing »
  GNAT Pro | Ada Compiler | Ada 2005 / 95 / 83 | Mixed Language | Open Source
• Exposing Uninitialized Variables: Strengthening and Extending Run-Time Checks in Ada »
  GNAT Pro | Ada Compiler | Ada 2005 / 95 / 83 | Certification | Safety-Critical Development
• The Implementation of Ada 2005 Interface Types in the GNAT Compiler »
  GNAT Pro | Ada Compiler | Ada 2005 / 95 / 83 | Mixed Language
• Safety, Security, and Object-Oriented Programming »
  Ada 2005 / 95 / 83 | Certification | High Security Development | Safety-Critical Development
• Certification & Object Orientation: The New Ada Answer »
  Ada 2005 / 95 / 83 | Certification | Safety-Critical Development
• Safe and Secure Software - An invitation to Ada 2005 »
  SPARK Pro | Ada 2005 / 95 / 83 | High Security Development | Safety-Critical Development
• Ada 2005 Rationale - Epilogue »
  Ada 2005 / 95 / 83
• Ada 2005 for Mission-Critical Systems »
  Ada 2005 / 95 / 83 | High Security Development | Safety-Critical Development
• Ada 2005 Rationale »
  Ada 2005 / 95 / 83
• Ada 2005 Rationale - Object oriented model (pt 2 of 8) »
  Ada 2005 / 95 / 83
• Ada 2005 Rationale - Access types (pt 3 of 8) »
  Ada 2005 / 95 / 83
• Ada 2005 Rationale - Structure and visibility (pt 4 of 8) »
  Ada 2005 / 95 / 83
• Ada 2005 Rationale - Tasking and real-time (pt 5 of 8) »
  Ada 2005 / 95 / 83 | Safety-Critical Development
• Ada 2005 Rationale - Exceptions, generics   (pt 6 of 8) »
  Ada 2005 / 95 / 83
• Ada 2005 Rationale - Predefined library (pt 7 of 8) »
  Ada 2005 / 95 / 83
• Ada 2005 Rationale - Containers (pt 8 of 8) »
  Ada 2005 / 95 / 83
• Safety-Critical Design Techniques for Secure and Reliable Systems »
  SPARK Pro | Ada 2005 / 95 / 83 | Certification | High Security Development | Safety-Critical Development | Static Analysis
• Ada 2005 – Ready to Roll »
  Ada 2005 / 95 / 83 | Certification | Safety-Critical Development
• GNAT and Ada 2005 »
  GNAT Pro | Ada 2005 / 95 / 83
• Ada 2005 for High-Integrity Systems »
  GNAT Pro | Runtime Profiles | Ada 2005 / 95 / 83 | Certification | Embedded Development | Safety-Critical Development
• The Implementation of Ada 2005 Synchronized Interfaces in the GNAT Compiler »
  GNAT Pro | Ada Compiler | Ada 2005 / 95 / 83
• Mission-Critical On-Board Software Using the Ada 95 Ravenscar Profile »
  GNAT Pro | Ada Compiler | Runtime Profiles | Ada 2005 / 95 / 83 | Embedded Development | Safety-Critical Development
• The ESA Ravenscar Benchmark »
  GNAT Pro | Ada Compiler | Runtime Profiles | Ada 2005 / 95 / 83 | Embedded Development | Safety-Critical Development
• Compile-time stack requirements analysis with GCC »
  GNATstack | Ada 2005 / 95 / 83 | Static Analysis
• Abstract Interface Types in GNAT: Conversions, Discriminants, and C++ »
  GNAT Pro | Ada Compiler | Ada 2005 / 95 / 83 | Mixed Language
• GNAT Pro for On-Board Mission-Critical Space Applications »
  GNAT Pro | Ada Compiler | Runtime Profiles | Ada 2005 / 95 / 83 | Safety-Critical Development | Static Analysis
• Dynamic Plug-in Loading with Ada »
  GNAT Pro | Ada Compiler | Utilities | Runtime Profiles | Ada 2005 / 95 / 83 | Certification | Mixed Language | Safety-Critical Development
• The Application of Compile-Time Reflection to Software Fault Tolerance using Ada 95 »
  Ada 2005 / 95 / 83
• Ada 2005 Abstract Interfaces in GNAT »
  GNAT Pro | Ada Compiler | Ada 2005 / 95 / 83
• A Comparison of the Mutual Exclusion Features in Ada and the Real-Time Specification for Java »
  Ada 2005 / 95 / 83 | Mixed Language
• Vector Processing in Ada »
  Ada 2005 / 95 / 83 | Mixed Language
• Multilanguage Programming on the JVM: The Ada 95 Benefits »
  Ada 2005 / 95 / 83 | Mixed Language
• Exposing Memory Corruption and Finding Leaks: Advanced Mechanisms in Ada »
  GNAT Pro | Ada Compiler | Libraries and Bindings | Ada 2005 / 95 / 83
• A Comparison of the Asynchronous Transfer of Control Features in Ada and the Real-Time Specification »
  Ada 2005 / 95 / 83 | Mixed Language | Safety-Critical Development
• Real-Time Convergence of Ada and Java »
  Ada 2005 / 95 / 83 | Mixed Language
• High-Integrity Systems Development for Integrated Modular Avionics using VxWorks and GNAT »
  GNAT Pro | Ada Compiler | Runtime Profiles | Ada 2005 / 95 / 83 | Certification | Embedded Development | Safety-Critical Development
• Quality Control in a Multi-Platform Multi-Product Software Company »
  GNAT Pro | Ada 2005 / 95 / 83 | Embedded Development | Open Source
• The GNAT Implementation of Controlled Types »
  GNAT Pro | Ada Compiler | Ada 2005 / 95 / 83
• GtkAda: Design and Implementation of a High Level Binding in Ada »
  GNAT Pro | Libraries and Bindings | GtkAda | Ada 2005 / 95 / 83 | GUI Development | Libraries and Bindings
• A Comparison of the Concurrency and Real-Time Features of Ada 95 and Java »
  Ada 2005 / 95 / 83 | Mixed Language
• A Comparison of the Object-Oriented Features of Ada 95 and Java »
  Ada 2005 / 95 / 83 | Mixed Language