The 16th edition of the International Conference on Reliable Software Technologies
– Ada-Europe 2011—took place in the John McIntyre Conference Centre,
Edinburgh (UK). Previous editions of the conference were held in Switzerland
(Montreux 1996 and Geneva 2007), United Kingdom (London 1997 and York
2005), Sweden (Uppsala 1998), Spain (Santander 1999, Palma de Mallorca 2004
and Valencia 2010), Germany (Potsdam 2000), Belgium (Leuven 2001), Austria
(Vienna 2002), France (Toulouse 2003 and Brest 2009), Portugal (Porto 2006),
and Italy (Venice 2008).
This year Ada-Europe was combined with the Ada Conference UK 2011 in one
event, the Ada Connection, a union of 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. The Ada Conference UK has been
running in its current form since 2006 as a series of biennial one-day events, to
highlight the increased relevance of Ada in safety- and security-critical systems.
By combining these events, the Ada Connection provides a unique opportunity
for interaction and collaboration between academics and industrial practitioners.
The Ada-Europe conference represents the main annual event promoted by
Ada-Europe, in cooperation with ACM SIGAda. This third visit to the UK
acknowledges the fact that the Ada community in this country is a major contributor
to Ada-Europe’s activities. This year the conference was organized by
members of the Centre for Software Reliability (CSR) and School of Computing
Science, Newcastle University (Newcastle upon Tyne, UK).
The scientific program of the conference, which feeds these proceedings, also
included sessions devoted to multicore, verification, architecture and modelling,
education and mixed criticality, all combined under a more general heading of
reliable software technologies. This program is the result of a thorough selection
process of 12 papers out of 30 submissions received from authors representing
14 countries.