A series of talks from the Ada Connection 2011 conference that took place in Edinburgh, Scotland. The Ada Connection combined the 16th International Conference on Reliable Software Technologies — Ada-Europe 2011 — with Ada Conference UK 2011, two Ada events that have both been very successful in their own right. The Ada-Europe series of conferences has become established as an international forum for providers, practitioners and researchers in all aspects of reliable software technologies.

  • Assuring Software Reliability While Using Web Services and Commercial Products
    Jeff O'Leary, Federal Aviation Administration
  • Debugging Mechatronic Applications Written in Ada
    Wiljan Derks, NXP
  • A Real-Time Framework for Multiprocessor Platforms Using Ada 2012
    Sergio Saez, Universidad Politecnica de Valencia
  • Real-Time Management & Production Systems for Manufacturing and Energy Facilities
    Jozef Cvirik, Ipesoft
  • Design and Implementation of a Ravenscar Extension for Multiprocessors
    Jose Ruiz, Ph.D, AdaCore
  • Implementing a Software Product Line for a complex Avionics System
    Frank Dordowsky, ESG & Richard Bridges, Eurocopter
  • An Overview of DO-178C/ED-12C
    Dewi Daniels, Verocel
  • Ada based Automatic Code Generation Tools in DO178B context
    Jean-Charles Dalbin, Airbus
  • Detecting High-Level Synchronization Errors in Parallel Programs
    Erhard Plodereder, University of Stuttgart
  • Real Time Longevity
    Frederic Pinot, Ansaldo STS