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 -
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 -
Implementing a Software Product Line for a complex Avionics System
Frank Dordowsky, ESG & Richard Bridges, Eurocopter -
Detecting High-Level Synchronization Errors in Parallel Programs
Erhard Plodereder, University of Stuttgart