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
-
Debugging Mechatronic Applications Written in Ada
-
A Real-Time Framework for Multiprocessor Platforms Using Ada 2012
-
Real-Time Management & Production Systems for Manufacturing and Energy Facilities
-
Design and Implementation of a Ravenscar Extension for Multiprocessors
-
Implementing a Software Product Line for a complex Avionics System
-
An Overview of DO-178C/ED-12C
-
Ada based Automatic Code Generation Tools in DO178B context
-
Detecting High-Level Synchronization Errors in Parallel Programs
-
Real Time Longevity