Reliable Software Technologies - Ada-Europe 2009

The 14th International Conference on Reliable Software Technologies - Ada- Europe 2009 - was part of a series of annual international conferences devoted tothepromotionandadvancementofallaspectsofreliablesoftwaretechnologies. The objective of this series of conferences, which is run and sponsored by Ada- Europe,the Europeanfederation of national Ada societies, is to providea forum to promote the development of reliable software both as an industrial technique and an academic discipline. This edition marked a return to France by selecting the splendid venue of Brittany, a region marked by its history with a strong Celtic tradition and a remotesituationatthewesterntipofthecontinentthatwastheinitiatorofmany explorers of new worlds... and information and communication technologies. Previouseditions ofthe Reliable SoftwareTechnologiesconferenceswereheld in: Venice (Italy) in 2008, Geneva (Switzerland) in 2007, Porto (Portugal) in 2006,York (UK) in 2005,Palma de Mallorca (Spain) in 2004,Toulouse (France) in 2003, Vienna (Austria) in 2002, Leuven (Belgium) in 2001, Potsdam (G- many) in 2000, Santander (Spain) in 1999, Uppsala (Sweden) in 1998, London (United Kingdom) in 1997 and Montreux (Switzerland) in 1996. The conference series chooses its yearly venue following two driving criteria: to celebrate the activity of one of its national member societies in a particular country and/or to facilitate the formation, or the growth, of a national com- nity around all aspects of reliable software technologies.