Improving the Dependability of Distributed Systems through AIR Software Upgrades